X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftypes%2FSkeletons.java;h=b7266ef7efb7514a6de9adadba17b2c65392af13;hp=81dec240335e408bdb55514b1d1a4dde2c8f0121;hb=593a8f75d9dbc363234002dc500c346afbeba040;hpb=9a175feb652b2b7bba7afa540831b9076be3c10e

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/Skeletons.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/Skeletons.java
index 81dec2403..b7266ef7e 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/Skeletons.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/Skeletons.java
@@ -4,6 +4,7 @@ import org.simantics.scl.compiler.environment.Environment;
 import org.simantics.scl.compiler.internal.types.HashCodeUtils;
 import org.simantics.scl.compiler.types.exceptions.KindUnificationException;
 import org.simantics.scl.compiler.types.exceptions.UnificationException;
+import org.simantics.scl.compiler.types.kinds.Kind;
 import org.simantics.scl.compiler.types.kinds.Kinds;
 
 import gnu.trove.map.hash.THashMap;
@@ -289,4 +290,64 @@ public class Skeletons {
                 return Types.metaVar(Kinds.EFFECT);
         return first;
     }
+    
+    public static boolean equalSkeletons(TApply a, TApply b) {
+        return equalSkeletons(a.parameter, b.parameter)
+                && equalSkeletons(a.function , b.function );
+    }
+
+    public static boolean equalSkeletons(TFun a, TFun b) {
+        return equalSkeletons(a.domain, b.domain)
+                && equalSkeletons(a.range, b.range);
+    }
+    
+    public static boolean equalSkeletons(TForAll a, TForAll b) {
+        Kind aKind = a.var.getKind();
+        if(!Kinds.equalsCanonical(aKind, b.var.getKind()))
+            return false;
+        TVar newVar = Types.var(aKind);
+        return equalSkeletons(a.type.replace(a.var, newVar), b.type.replace(b.var, newVar));
+    }
+
+    public static boolean equalSkeletons(TPred a, TPred b) {
+        if(a.typeClass != b.typeClass 
+                || a.parameters.length != b.parameters.length)
+            return false;
+        Type[] aParameters = a.parameters;
+        Type[] bParameters = b.parameters;
+        for(int i=0;i<aParameters.length;++i)
+            if(!equalSkeletons(aParameters[i], bParameters[i]))
+                return false;
+        return true;
+    }
+
+    /**
+     * Tests equality of two types. Unbound TVars
+     * are equal only if they are the same variable.
+     * Bound TMetaVar is equal to the type it is bound to.
+     * Unbound TMetaVars are equal only if they are the same metavariable.
+     * Order of predicates and forall quantifiers matters.
+     */
+    public static boolean equalSkeletons(Type a, Type b) {
+        a = canonicalSkeleton(a);
+        b = canonicalSkeleton(b);
+        if(a == b)
+            return true;
+        Class<?> ca = a.getClass();
+        Class<?> cb = b.getClass();
+        if(ca != cb)
+            return false;
+        if(ca == TApply.class) 
+            return equalSkeletons((TApply)a, (TApply)b);
+        else if(ca == TFun.class) 
+            return equalSkeletons((TFun)a, (TFun)b);
+        else if(ca == TForAll.class)
+            return equalSkeletons((TForAll)a, (TForAll)b);
+        else if(ca == TPred.class) 
+            return equalSkeletons((TPred)a, (TPred)b);       
+        else // ca == TCon.class 
+            // || (ca == TMetaVar.class && a.ref == null && b.ref == null) 
+            // || ca = TVar.class 
+            return false; // Equals only if a == b, that was already tested
+    }
 }