testsuite/tests/typing-extension-constructor/test.ml


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

(* TEST
 toplevel;
*)

type t = ..;;
type t += A;;

[%extension_constructor A];;
([%extension_constructor A] : extension_constructor);;

module M = struct
  type extension_constructor = int
end;;

open M;;

([%extension_constructor A] : extension_constructor);;