We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Original bug ID: 7511 Reporter: @yallop Assigned to: @damiendoligez Status: resolved (set by @damiendoligez on 2017-06-22T09:23:47Z) Resolution: fixed Priority: normal Severity: minor Version: 4.05.0 +dev/beta1/beta2/beta3/rc1 Target version: 4.05.0 +dev/beta1/beta2/beta3/rc1 Fixed in version: 4.05.0 +dev/beta1/beta2/beta3/rc1 Category: typing
$ cat ub.ml type _ s = S : 'a -> 'a s [@@unboxed] type t = T : _ s -> t [@@unboxed] let _ = [| T (S 0.0); T (S 0) |]
$ ocaml ub.ml Segmentation fault
The text was updated successfully, but these errors were encountered:
Comment author: @damiendoligez
see #1133: #1133
Sorry, something went wrong.
Comment author: @chambart
I would argue that the problematic type is 's' rather than 't' in this example.
It is the one that doesn't always have the same representation.
Comment author: @lpw25
I would argue the problematic type is 'float array'. :)
This is a bit more subtle than I thought, so I'm pushing the target version back to 4.05.0.
fixed by #1133
damiendoligez
No branches or pull requests
Original bug ID: 7511
Reporter: @yallop
Assigned to: @damiendoligez
Status: resolved (set by @damiendoligez on 2017-06-22T09:23:47Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Target version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Fixed in version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Category: typing
Bug description
$ cat ub.ml
type _ s = S : 'a -> 'a s [@@unboxed]
type t = T : _ s -> t [@@unboxed]
let _ = [| T (S 0.0); T (S 0) |]
$ ocaml ub.ml
Segmentation fault
The text was updated successfully, but these errors were encountered: