test_ghost.mlw 218 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17


module M

  type t = O | S t

  let f () =
     let ghost g (x:t) : t =
        match x with O -> O | S y -> y end
(*
     with ghost h (x:t) : t = 
        match x with O -> O | S y -> y end
*)
     in
     ()

end