diff --git a/flap/src/hopix/hopixInterpreter.ml b/flap/src/hopix/hopixInterpreter.ml index 402236a..a53799f 100644 --- a/flap/src/hopix/hopixInterpreter.ml +++ b/flap/src/hopix/hopixInterpreter.ml @@ -591,7 +591,6 @@ and or_pattern env pl expression = | None -> or_pattern env pl' expression) and tuple_pattern environment tab tab2 = - (* BOUCLE INFINIE ??? *) if List.length tab = List.length tab2 then ( match tab, tab2 with @@ -605,7 +604,6 @@ and tuple_pattern environment tab tab2 = else None and tagged_pattern cons1 cons2 pattern1 pattern2 environment = - (* BOUCLE INFINIE ??? *) if cons1.value = cons2 then tuple_pattern environment pattern1 pattern2 else None and record_pattern environment r r' =