testsuite/tests/typing-modules/normalize_path.ml


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

(* TEST
   * expect
*)

module X = struct

  module B = List

  exception B of {x:int}
end

let _ = X.B {x=2}
;;
[%%expect{|
module X : sig module B = List exception B of { x : int; } end
- : exn = X.B {x = 2}
|}]