Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006312OCaml~DO NOT USE (was: OCaml general)public2014-01-31 08:392016-12-07 16:43
Reportergasche 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityN/A
StatusclosedResolutionduplicate 
PlatformOSOS Version
Product Version4.02.0+dev 
Target VersionFixed in Version 
Summary0006312: [github patch] extend record punning to allow destructuring: desugar pattern {{x;y} as p} into {p = {x;y} as p}
DescriptionReported by Jeremy Yallop:
  https://github.com/ocaml/ocaml/pull/3 [^]
A diff is available at:
  https://github.com/ocaml/ocaml/pull/3.diff [^]

This patch extends the record punning syntax (b01621e) to allow simultaneous label punning and destructuring. Variables bound using as at the top level of a field pattern are treated as labels. For example, it allows you to write

   fun { { x ; y } as p; q } -> e

which is equivalent to

   fun { p = { x ; y } as p; q } -> e

Tagspatch
Attached Files

- Relationships

-  Notes
(0016728)
shinwell (developer)
2016-12-07 16:42

Superceded by Github PR

- Issue History
Date Modified Username Field Change
2014-01-31 08:39 gasche New Issue
2014-02-19 20:13 doligez Tag Attached: patch
2014-07-16 15:08 doligez Status new => acknowledged
2016-12-07 16:42 shinwell Note Added: 0016728
2016-12-07 16:43 shinwell Status acknowledged => closed
2016-12-07 16:43 shinwell Resolution open => duplicate
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker