A reproducer:
type foo = struct
s : void
;;
const bar = {a : foo;}
const main = {
var s : foo
bar(s)
}
Output:
$ mbld -R a.myr
Impossible return from classify_recursive
CRASH: 6m a.myr
Edit: After some experiments and simplifications, the cause became a little bit obvious. I'll send a patch if the fix is not too hard.