Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007717OCamltypingpublic2018-02-01 00:462018-02-01 22:00
Reporterchambart 
Assigned Tochambart 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version4.06.0 
Target VersionFixed in Version4.07.0+dev 
Summary0007717: Recursive value check consider unboxed constructor as having statically known size.
DescriptionThe Typecore.classify_expression considers Texp_construct as a construction of statically known size, even for unboxed constructors. The provided example Segfaults.
Steps To Reproducetype a = A of b [@@unboxed]
and b = X of a | Y

let rec a =
  A
    (if Sys.opaque_identity true then
       X a
     else
       Y)

let v =
  match a with
  | A (X (A (X v))) ->
    v
  | _ -> a
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0018862)
yallop (developer)
2018-02-01 01:52

Thanks for the report, chambart! There's a PR to fix this issue here:

   https://github.com/ocaml/ocaml/pull/1593 [^]

- Issue History
Date Modified Username Field Change
2018-02-01 00:46 chambart New Issue
2018-02-01 01:52 yallop Note Added: 0018862
2018-02-01 22:00 chambart Status new => resolved
2018-02-01 22:00 chambart Fixed in Version => 4.07.0+dev
2018-02-01 22:00 chambart Resolution open => fixed
2018-02-01 22:00 chambart Assigned To => chambart


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker