ocamllabs / ocaml-effects

*DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
Other
27 stars 4 forks source link

Segfault involving lazy and unhandled effect #16

Closed bobatkey closed 8 years ago

bobatkey commented 8 years ago

The following program causes a segfault in the toplevel and the bytecode compiler:

effect Foo : bool
effect Bar : unit

let test = lazy (perform Foo)

let main () =
  Lazy.force test

let _ =
  match main () with
    | effect Bar k ->
       continue k ()
    | x -> x
kayceesrk commented 8 years ago

Fixed by 68f1be5ee31cc8d8fd40d2db404311592e47d19f.