Suppress duplicate fundep relations

Prevent addition of duplicate fundep entries by moving the no-match case inside the update block.
coalton-lang · Apr 3, 2024 · 8c4db84 · 8c4db84
1 parent 5505c2f
commit 8c4db84
Showing 1 changed file with 11 additions and 11 deletions.
diff --git a/src/typechecker/environment.lisp b/src/typechecker/environment.lisp
@@ -1369,17 +1369,17 @@
                          (fundep-entry-from s)
                          from-tys
                          (fundep-entry-to s)
-                         to-tys))))))
-
-              ;; Insert a new relation if there wasn't a match
-              (setf env
-                    (insert-fundep-entry%
-                     env
-                     (ty-class-name class)
-                     i
-                     (make-fundep-entry
-                      :from from-tys
-                      :to to-tys)))))
+                         to-tys)))))
+
+                ;; Insert a new relation if there wasn't a match
+                (setf env
+                      (insert-fundep-entry%
+                       env
+                       (ty-class-name class)
+                       i
+                       (make-fundep-entry
+                        :from from-tys
+                        :to to-tys))))))
 
   env)