This produces segfaulting bytecode with trunk's ocamlc, but not 4.14.1. I haven't bisected the cause yet.
module type S = sig end;;
let rec k =
(module struct end : S)
Notably, these variations do not segfault:
module type S = sig end;;
let k =
(module struct end : S)
module type S = sig val x : int end;;
let rec k =
(module struct let x = 3 end : S)
ocamlopt does not produce segfaulting code.
This produces segfaulting bytecode with
trunk's ocamlc, but not 4.14.1. I haven't bisected the cause yet.Notably, these variations do not segfault:
ocamlopt does not produce segfaulting code.