testsuite/tests/typing-misc/variant.ml.reference


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16


#               Characters 61-116:
  ......struct
   type t = A | B
   let f = function A | B -> 0
  end..
Error: Signature mismatch:
       Modules do not match:
         sig type t = X.t = A | B val f : t -> int end
       is not included in
         sig type t = int * bool end
       Type declarations do not match:
         type t = X.t = A | B
       is not included in
         type t = int * bool
#