Use the right kinds when building shapes for unboxed variants

ocaml-flambda / flambda-backend

The Flambda backend project for OCaml

92 stars 65 forks source link

Use the right kinds when building shapes for unboxed variants #2735

Closed lthls closed 1 week ago

lthls commented 1 week ago

Fixes an oversight in #2533: variant unboxing generated a type manually for the unboxed variant with hardcoded K.value kinds for the constructor fields.