This commit is contained in:
Mylloon 2023-11-12 19:38:23 +01:00
parent be75f1425b
commit b92523f677
Signed by: Anri
GPG key ID: A82D63DFF8D1317F

View file

@ -591,7 +591,6 @@ and or_pattern env pl expression =
| None -> or_pattern env pl' expression) | None -> or_pattern env pl' expression)
and tuple_pattern environment tab tab2 = and tuple_pattern environment tab tab2 =
(* BOUCLE INFINIE ??? *)
if List.length tab = List.length tab2 if List.length tab = List.length tab2
then ( then (
match tab, tab2 with match tab, tab2 with
@ -605,7 +604,6 @@ and tuple_pattern environment tab tab2 =
else None else None
and tagged_pattern cons1 cons2 pattern1 pattern2 environment = and tagged_pattern cons1 cons2 pattern1 pattern2 environment =
(* BOUCLE INFINIE ??? *)
if cons1.value = cons2 then tuple_pattern environment pattern1 pattern2 else None if cons1.value = cons2 then tuple_pattern environment pattern1 pattern2 else None
and record_pattern environment r r' = and record_pattern environment r r' =