[ create a new paste ] login | about

Link: http://codepad.org/cNp5vcVa    [ raw code | output | fork ]

OCaml, pasted on May 20:
1
2
3
4
5
6
7
8
9
10
11
12
module TT = struct
module IntSet = Set.Make(struct type t = int let compare = compare end)
end

let () =
  let f flag = 
    let module T = TT in
    let _ = match flag with `A -> 0 | `B r -> r in
    let _ = match flag with `A -> T.IntSet.mem | `B r -> r in
    ()
  in
  f ()


Output:
1
Fatal error: exception Ctype.Unify(_, _)


Create a new paste based on this one


Comments: