summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-safe-linking/b_bad.compilers.reference
blob: fa4ce06f38072adda63a2b64b120a96235d6a0b8 (plain)
1
2
3
4
5
6
7
8
9
10
11
File "b_bad.ml", lines 13-14, characters 29-28:
13 | .............................function
14 |     A.X s -> print_endline s
Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
Y

File "b_bad.ml", line 18, characters 11-14:
18 | let () = f A.y
                ^^^
Error: Unbound value A.y