Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007774OCamltypingpublic2018-04-14 20:182018-04-14 23:42
Reporterlepigre 
Assigned Togasche 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionduplicate 
PlatformOSOS Version
Product Version4.05.0 
Target VersionFixed in Version 
Summary0007774: Rejected [@@unboxed] on a GADT in a mutual definition with a polymorphic type constructor
DescriptionThe following mutual type definition is rejected.

##########
type 'a t = {name : string; data : 'a}
and any = Any : 'a t -> any [@@ocaml.unboxed]
##########

According to the manual, it should be accepted, and there does not seem to be any good reason to reject it. (Hopefully, an element of ['a t] can never be a [float].)
Steps To ReproduceJust run OCaml on a file containing the two lines.
Additional InformationThe problem is the same with the 4.07.0+trunk version.
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0007364assigneddoligez Inflexibility of unboxed types in recursive declarations 

-  Notes
(0019030)
gasche (developer)
2018-04-14 23:13

This problem is known

  https://caml.inria.fr/mantis/view.php?id=7364 [^]

and there is work underway to fix it

  https://github.com/SimonColin/ocaml-unboxed-check-project [^]

so I hope that 4.08 will have a solution.
(0019032)
lepigre (reporter)
2018-04-14 23:42

OK cool. I missed that one...

- Issue History
Date Modified Username Field Change
2018-04-14 20:18 lepigre New Issue
2018-04-14 23:13 gasche Note Added: 0019030
2018-04-14 23:13 gasche Relationship added duplicate of 0007364
2018-04-14 23:14 gasche Status new => resolved
2018-04-14 23:14 gasche Resolution open => duplicate
2018-04-14 23:14 gasche Assigned To => gasche
2018-04-14 23:42 lepigre Note Added: 0019032


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker