Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Interaction between [@@unboxed] and primitives #7828
Original bug ID: 7828
Noticed on 4.06 by Stefan Muenzel, reproduced on trunk.
type t = I of int [@@unboxed] [@@immediate];;
type t = I of int [@@immediate] [@@unboxed]
external id : t -> t = "%identity";;