Fix duplicate case in T.Synth

ahelwer · Jan 25, 2024 · fdb9c09 · fdb9c09
1 parent 2e2ee94
commit fdb9c09
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/type/t_hyps.ml b/src/type/t_hyps.ml
@@ -52,6 +52,12 @@ let search_type_hyp ~inferer ~pol scx oe =
         end
 
     | Apply ({ core = Internal (B.Eq | B.Neq as b) }, [ { core = Ix n } ; e ])
+      when n = ix && ((pol && b = B.Neq) || (not pol && b = B.Eq)) ->
+        begin try
+          Some (inferer scx e)
+        with _ -> None
+        end
+
     | Apply ({ core = Internal (B.Eq | B.Neq as b) }, [ e ; { core = Ix n } ])
       when n = ix && ((pol && b = B.Neq) || (not pol && b = B.Eq)) ->
         begin try