Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006066OCamlOCaml typingpublic2013-07-07 21:282014-08-21 11:46
Reportermeyer 
Assigned To 
PrioritylowSeverityfeatureReproducibilityhave not tried
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0006066: extensible records
DescriptionIt would be good to support extensible records in the same way as inheritance hierarchy with objects, with the difference that no dynamic dispatch would be involved, thus making them more efficient.

The syntax would be:

record foo = { x : int; y : int }
(* will type to: <@ x : int; y : int ... > *)
record bar = { foo with z : int  }
(* will type to: <@ x : int; y : int; z : int; ... > *)


TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2013-07-07 21:28 meyer New Issue
2013-07-07 21:28 meyer Status new => assigned
2013-07-07 21:28 meyer Assigned To => meyer
2013-07-07 21:29 meyer Description Updated View Revisions
2013-07-07 21:31 meyer Description Updated View Revisions
2013-07-12 18:15 doligez Target Version 4.02.0+dev => 4.01.1+dev
2014-01-21 11:53 doligez Assigned To meyer =>
2014-05-25 20:24 doligez Target Version 4.01.1+dev => 4.02.0+dev
2014-08-21 11:46 doligez Status assigned => acknowledged
2014-08-21 11:46 doligez Target Version 4.02.0+dev =>


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker