1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
File "morematch.ml", line 67, characters 2-5:
67 | | 4|5|7 -> 100
^^^
Warning 12 [redundant-subpat]: this sub-pattern is unused.
File "morematch.ml", line 68, characters 2-3:
68 | | 7 | 8 -> 6
^
Warning 12 [redundant-subpat]: this sub-pattern is unused.
File "morematch.ml", line 219, characters 33-47:
219 | let f = function (([]|[_]) as x)|(_::([] as x))|(_::_::x) -> x
^^^^^^^^^^^^^^
Warning 12 [redundant-subpat]: this sub-pattern is unused.
File "morematch.ml", line 388, characters 2-15:
388 | | A,_,(100|103) -> 5
^^^^^^^^^^^^^
Warning 11 [redundant-case]: this match case is unused.
File "morematch.ml", line 401, characters 2-20:
401 | | [],_,(100|103|104) -> 5
^^^^^^^^^^^^^^^^^^
Warning 11 [redundant-case]: this match case is unused.
File "morematch.ml", line 402, characters 2-16:
402 | | [],_,(100|103) -> 6
^^^^^^^^^^^^^^
Warning 11 [redundant-case]: this match case is unused.
File "morematch.ml", line 403, characters 2-29:
403 | | [],_,(1000|1001|1002|20000) -> 7
^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 11 [redundant-case]: this match case is unused.
File "morematch.ml", line 413, characters 5-12:
413 | | (100|103|101) -> 2
^^^^^^^
Warning 12 [redundant-subpat]: this sub-pattern is unused.
File "morematch.ml", line 432, characters 43-44:
432 | | (J,J,((C|D) as x |E x|F (_,x))) | (J,_,((C|J) as x)) -> autre (x,x,x)
^
Warning 12 [redundant-subpat]: this sub-pattern is unused.
File "morematch.ml", line 455, characters 7-8:
455 | | _,_,(X|U _) -> 8
^
Warning 12 [redundant-subpat]: this sub-pattern is unused.
File "morematch.ml", line 456, characters 2-7:
456 | | _,_,Y -> 5
^^^^^
Warning 11 [redundant-case]: this match case is unused.
File "morematch.ml", lines 1050-1053, characters 8-10:
1050 | ........function
1051 | | A (`A|`C) -> 0
1052 | | B (`B,`D) -> 1
1053 | | C -> 2
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
A `D
File "morematch.ml", line 1084, characters 5-51:
1084 | | _, _, _, _, _, A, _, _, _, _, B, _, _, _, _, _ -> "11"
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 11 [redundant-case]: this match case is unused.
File "morematch.ml", line 1086, characters 5-51:
1086 | | _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _ -> "13"
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 11 [redundant-case]: this match case is unused.
|
