File "robustmatch.ml", lines 33-37, characters 6-23:
33 | ......match t1, t2, x with
34 |       | AB, AB, A -> ()
35 |       | MAB, _, A -> ()
36 |       | _,  AB, B -> ()
37 |       | _, MAB, B -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(AB, MAB, A)

File "robustmatch.ml", lines 43-47, characters 4-21:
43 | ....match t1, t2, x with
44 |     | AB,  AB, A -> ()
45 |     | MAB, _, A -> ()
46 |     | _,  AB, B -> ()
47 |     | _, MAB, B -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(AB, MAB, A)

File "robustmatch.ml", lines 54-56, characters 4-27:
54 | ....match r1, r2, a with
55 |     | R1, _, 0 -> ()
56 |     | _, R2, "coucou" -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R1, R1, 1)

File "robustmatch.ml", lines 64-66, characters 4-27:
64 | ....match r1, r2, a with
65 |     | R1, _, A -> ()
66 |     | _, R2, "coucou" -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R1, R1, (B|C))

File "robustmatch.ml", lines 69-71, characters 4-20:
69 | ....match r1, r2, a with
70 |     | _, R2, "coucou" -> ()
71 |     | R1, _, A -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R1, R1, (B|C))

File "robustmatch.ml", lines 74-76, characters 4-20:
74 | ....match r1, r2, a with
75 |     | _, R2, "coucou" -> ()
76 |     | R1, _, _ -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R2, R2, "")

File "robustmatch.ml", lines 85-87, characters 4-20:
85 | ....match r1, r2, a with
86 |     | R1, _, A -> ()
87 |     | _, R2, X -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R1, R1, (B|C))

File "robustmatch.ml", lines 90-93, characters 4-20:
90 | ....match r1, r2, a with
91 |     | R1, _, A -> ()
92 |     | _, R2, X -> ()
93 |     | R1, _, _ -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R2, R2, (Y|Z))

File "robustmatch.ml", lines 96-98, characters 4-20:
96 | ....match r1, r2, a with
97 |     | R1, _, _ -> ()
98 |     | _, R2, X -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R2, R2, (Y|Z))

File "robustmatch.ml", lines 107-109, characters 4-20:
107 | ....match r1, r2, a with
108 |     | R1, _, A -> ()
109 |     | _, R2, X -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R1, R1, (B|C))

File "robustmatch.ml", lines 129-131, characters 4-20:
129 | ....match r1, r2, a with
130 |     | R1, _, A -> ()
131 |     | _, R2, X -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R1, R1, B)

File "robustmatch.ml", lines 151-153, characters 4-20:
151 | ....match r1, r2, a with
152 |     | R1, _, A -> ()
153 |     | _, R2, X -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R1, R1, B)

File "robustmatch.ml", lines 156-159, characters 4-20:
156 | ....match r1, r2, a with
157 |     | R1, _, A -> ()
158 |     | _, R2, X -> ()
159 |     | R1, _, _ -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R2, R2, Y)

File "robustmatch.ml", lines 162-164, characters 4-20:
162 | ....match r1, r2, a with
163 |     | R1, _, _ -> ()
164 |     | _, R2, X -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R2, R2, Y)

File "robustmatch.ml", lines 167-169, characters 4-20:
167 | ....match r1, r2, a with
168 |     | R1, _, C -> ()
169 |     | _, R2, Y -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R1, R1, A)

File "robustmatch.ml", lines 176-179, characters 4-20:
176 | ....match r1, r2, a with
177 |     | _, R1, 0 -> ()
178 |     | R2, _, [||] -> ()
179 |     | _, R1, 1 -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R2, R2, [| _ |])

File "robustmatch.ml", lines 182-184, characters 4-23:
182 | ....match r1, r2, a with
183 |     | R1, _, _ -> ()
184 |     | _, R2, [||] -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R2, R2, [| _ |])

File "robustmatch.ml", lines 187-190, characters 4-20:
187 | ....match r1, r2, a with
188 |     | _, R2, [||] -> ()
189 |     | R1, _, 0 -> ()
190 |     | R1, _, _ -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R2, R2, [| _ |])

File "robustmatch.ml", lines 200-203, characters 4-19:
200 | ....match r1, r2, a with
201 |     | _, R2, [||] -> ()
202 |     | R1, _, 0 -> ()
203 |     | _, _, _ -> ()
Warning 4 [fragile-match]: this pattern-matching is fragile.
It will remain exhaustive when constructors are added to type repr.

File "robustmatch.ml", lines 210-212, characters 4-27:
210 | ....match r1, r2, a with
211 |     | R1, _, 'c' -> ()
212 |     | _, R2, "coucou" -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R1, R1, 'a')

File "robustmatch.ml", lines 219-221, characters 4-27:
219 | ....match r1, r2, a with
220 |     | R1, _, `A -> ()
221 |     | _, R2, "coucou" -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R1, R1, `B)

File "robustmatch.ml", lines 228-230, characters 4-37:
228 | ....match r1, r2, a with
229 |     | R1, _, (3, "") -> ()
230 |     | _, R2, (1, "coucou", 'a') -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R1, R1, (3, "*"))

File "robustmatch.ml", lines 239-241, characters 4-51:
239 | ....match r1, r2, a with
240 |     | R1, _, { x = 3; y = "" } -> ()
241 |     | _, R2, { a = 1; b = "coucou"; c = 'a' } -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R1, R1, {x=3; y="*"})

File "robustmatch.ml", lines 244-246, characters 4-36:
244 | ....match r1, r2, a with
245 |     | R2, _, { a = 1; b = "coucou"; c = 'a' } -> ()
246 |     | _, R1, { x = 3; y = "" } -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R2, R2, {a=1; b="coucou"; c='b'})

File "robustmatch.ml", lines 253-255, characters 4-20:
253 | ....match r1, r2, a with
254 |     | R1, _, (3, "") -> ()
255 |     | _, R2, 1 -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R1, R1, (3, "*"))

File "robustmatch.ml", lines 263-265, characters 4-20:
263 | ....match r1, r2, a with
264 |     | R1, _, { x = 3; y = "" } -> ()
265 |     | _, R2, 1 -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R1, R1, {x=3; y="*"})

File "robustmatch.ml", lines 272-274, characters 4-20:
272 | ....match r1, r2, a with
273 |     | R1, _, lazy 1 -> ()
274 |     | _, R2, 1 -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R1, R1, lazy 0)

File "robustmatch.ml", lines 281-284, characters 4-24:
281 | ....match r1, r2, a with
282 |     | R1, _, () -> ()
283 |     | _, R2, "coucou" -> ()
284 |     | _, R2, "foo" -> ()
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(R2, R2, "")
