testsuite/tests/typing-objects/pr6383.ml


1
2
3
4
5
6
7
8
9
10
11

(* TEST
   * expect
*)

let f (x: #M.foo) = 0;;
[%%expect{|
Line 1, characters 11-16:
1 | let f (x: #M.foo) = 0;;
               ^^^^^
Error: Unbound module M
|}];;