Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006367OCamlOCaml typingpublic2014-04-12 08:392014-12-14 23:07
Assigned Togarrigue 
PlatformOSOS Version
Product Version4.02.0+dev 
Target Version4.03.0+devFixed in Version 
Summary0006367: [github patch] introduce Asttypes.arrow_flag to encode labelled arguments (instead of using string manipulations)
Description [^]

This commit introduce the type arrow_flag in place of string to represent labelled arguments.

Previously, labelled arguments where encoded as a string tagging the left hand-side of an arrow type:
"" is the absence of label, "?ident" for optional arguments, "ident" for labelled arguments.

The arrow_flag variant now brings more structure to function arguments.
The purpose is two fold: offers a proper encoding of labels rather than relying on string processing, and ease further extensions of arrow lhs.
Tagsgithub, patch
Attached Files

- Relationships

-  Notes
gasche (developer)
2014-12-14 23:07

Some people wondered about the status of this PR:
in, [^] Jacques suggested that he was willing to integrate the change, but probably with a re-implementation rather than a direct merge.

I think this is an important change as it makes further experiments (eg. modular-implicits and [^] ) easier.

- Issue History
Date Modified Username Field Change
2014-04-12 08:39 gasche New Issue
2014-04-12 08:40 gasche Tag Attached: github
2014-04-12 08:40 gasche Tag Attached: patch
2014-04-12 08:42 gasche Severity minor => tweak
2014-07-16 16:03 doligez Status new => confirmed
2014-07-16 16:03 doligez Target Version => 4.02.0+dev
2014-08-18 20:49 doligez Target Version 4.02.0+dev => 4.02.1+dev
2014-09-04 00:25 doligez Target Version 4.02.1+dev => undecided
2014-09-15 09:50 doligez Target Version undecided => 4.03.0+dev
2014-12-14 23:07 gasche Note Added: 0012815
2014-12-14 23:07 gasche Assigned To => garrigue
2014-12-14 23:07 gasche Status confirmed => assigned

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker