|Anonymous | Login | Signup for a new account||2019-02-22 22:10 CET|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0005800||OCaml||typing||public||2012-10-27 14:18||2015-12-11 19:08|
|Target Version||Fixed in Version||4.00.2+dev|
|Summary||0005800: missing labels in generated applications in Typecore.type_argument|
|Description||In Typecore.type_argument, Applications to "None" are generated to account for absent optional arguments, but the actual labels are not kept in this application. I believe that this just a mistake, which is fixed by the attached patch (only tested by bootstrapping successfully), but I admit that do not fully understand the code of the typechecker.|
I assume that this has no effect on the backend, since labels are discarded anyway, but it matters for typedtree transformations.
|Steps To Reproduce||unparse the typedtree and recompile...|
|Tags||No tags attached.|
|Attached Files|| typecore_missing_labels.patch [^] (1,188 bytes) 2012-10-27 14:18 [Show Content]
default_labels_comment.txt [^] (3,416 bytes) 2012-10-29 20:09 [Show Content]
I think that the arguments are applied in the reverse order: if the function argument has type ?l1:t1 -> ?l2:t2 -> ?l3:t3 -> t -> u, then your patch produces the application (foo ~l3:None ~l2:None ~l1:None) (because "args" are acumulated by a tail-rec function in reverse position). This is correct as label order is not significant, but I would still have a preference for having the label order, in this generated code, mirror the order in the type, for easier readability of the resulting code.
Finally, it's the second time I've had to read this piece of code and it still made my head hurt. In the hope of helping future reviews of the code, I have written a more verbose comment about what it's doing (patch attached). Jacques, would you agree to include it in the code? (Do you have a policy for comments in general? Adding a tad more comment is something I sometimes wish to do when reading the type-checker code.)
|I didn't pay attention to the order of arguments, I didn't change the order in which they were produced but since the labels were missing we had "args = rev args", which is no longer true. Is the tail-recursion really needed here ? Who needs so many optional arguments ?|
This was already fixed in trunk by Alain, but I cannot find it in Mantis.
Anyway, I merged Alain's fix (commits 12919 and 12920) in 4.00@13050.
|At 13050 in 4.00 and 12919-12920 in trunk.|
|2012-10-27 14:18||turpin||New Issue|
|2012-10-27 14:18||turpin||File Added: typecore_missing_labels.patch|
|2012-10-29 20:09||gasche||Note Added: 0008357|
|2012-10-29 20:09||gasche||File Added: default_labels_comment.txt|
|2012-10-29 22:23||turpin||Note Added: 0008358|
|2012-10-30 07:43||garrigue||Note Added: 0008361|
|2012-10-30 07:44||garrigue||Note Added: 0008362|
|2012-10-30 07:44||garrigue||Status||new => resolved|
|2012-10-30 07:44||garrigue||Fixed in Version||=> 4.00.2+dev|
|2012-10-30 07:44||garrigue||Resolution||open => fixed|
|2012-10-30 07:44||garrigue||Assigned To||=> garrigue|
|2015-12-11 19:08||xleroy||Status||resolved => closed|
|2017-02-23 16:45||doligez||Category||OCaml typing => typing|
|Copyright © 2000 - 2011 MantisBT Group|