artifact_id;status_id;status_name;priority;submitter_id;submitter_name;assigned_to_id;assigned_to_name;open_date;close_date;last_modified_date;summary;details;"Hardware";"Product";"Operating System";"Component";"Version";"Severity";"Resolution";"URL"
294;1;"Open";3;241;"Vincent Aravantinos";297;"Jeremy Yallop";"2009-10-01 14:51";"";"2009-10-03 20:44";"Doesn't work well with labels";"When a polymorphic recursive function only has labelled arguments the extension won't work.

Specifically, pa_polyrec introduces an eta expansion whose parameter is a single variable (i.e. no label).
That's not a problem when a function takes at least one unlabelled argument.
But when the function only takes labelled arguments the compiler will complain.

I don't know enough of camlp4 to submit a patch but I guess that the function that should be fixed is ""eta_method"" in pa_polyrec.ml, l.78
-> the introduced parameter should be labelled accordingly to the type of the method.

V.";"All";"None";"All";"None";"None";"minor";"Accepted As Bug";""