Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006367OCamlOCaml typingpublic2014-04-12 08:392014-08-18 20:49
Reportergasche 
Assigned To 
PrioritynormalSeveritytweakReproducibilityN/A
StatusconfirmedResolutionopen 
PlatformOSOS Version
Product Version4.02.0+dev 
Target Versionafter-4.02.0Fixed in Version 
Summary0006367: [github patch] introduce Asttypes.arrow_flag to encode labelled arguments (instead of using string manipulations)
Descriptionhttps://github.com/ocaml/ocaml/pull/25 [^]

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
There are no notes attached to this issue.

- 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 => after-4.02.0


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker