UniTO/tesi/traces/example9bis.ml

7 lines
182 B
OCaml
Raw Permalink Normal View History

2020-06-30 19:31:56 +02:00
[@@@warning "-20"]
external observe : 'a -> 'b = "observe"
let test = function
| true -> observe 0
(* we expect a Match_failure node for 'false' in the lambda representation *)