Fix equality bug (use equals over === for objects).

arrowsjs · Apr 24, 2018 · 6fb4897 · 6fb4897
1 parent c9a9860
commit 6fb4897
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/typechecker.js b/src/typechecker.js
@@ -41,7 +41,6 @@ class Constraint {
             if (b instanceof NamedType || b instanceof SumType) {
                 let na = (a instanceof NamedType) ? [a] : a.names;
                 let nb = (b instanceof NamedType) ? [b] : b.names;
-
                 return na.every(t1 => nb.some(t2 => t1.equals(t2)));
             }
         }
@@ -463,7 +462,7 @@ function glb(a, b) {
         if (b instanceof NamedType || b instanceof SumType) {
             let na = (a instanceof NamedType) ? [a] : a.names;
             let nb = (b instanceof NamedType) ? [b] : b.names;
-            let ni = na.filter(t1 => nb.some(t2 => t1 === t2));
+            let ni = na.filter(t1 => nb.some(t2 => t1.equals(t2)));
 
             if (ni.length == 1) return new NamedType(ni[0]);
             if (ni.length >= 2) return new SumType(ni);