(* This doesn't work *)
module Bar : sig
type t
end = struct
end
let d : Bar.t = 3
let e : Bar.t = 5
let f
(x
: int) (y
: int) = x
+ y
KCogVGhpcyBkb2Vzbid0IHdvcmsgKikKbW9kdWxlIEJhciA6IHNpZwoJdHlwZSB0CmVuZCA9IHN0cnVjdAoJdHlwZSB0ID0gaW50CmVuZAoKbGV0IGQgOiBCYXIudCA9IDMKbGV0IGUgOiBCYXIudCA9IDUKbGV0IGYgKHggOiBpbnQpICh5IDogaW50KSA9IHggKyB5CmxldCAoKSA9IHByaW50X2ludCAoZiBkIGUp
File "prog.ml", line 8, characters 16-17:
Error: This expression has type int but an expression was expected of type
Bar.t