X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fexperimentation%2FTestExistential.java;fp=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fexperimentation%2FTestExistential.java;h=31f998186b3fb53470ece925da4df378d431b770;hb=4c2fb8fefbdec1856e160dc24b6498aa4bd5eb48;hp=0000000000000000000000000000000000000000;hpb=aca33ac9ec17d1555f6413edaa339ad3692e29bb;p=simantics%2Fplatform.git

diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/experimentation/TestExistential.java b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/experimentation/TestExistential.java
new file mode 100644
index 000000000..31f998186
--- /dev/null
+++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/experimentation/TestExistential.java
@@ -0,0 +1,24 @@
+package org.simantics.scl.compiler.tests.experimentation;
+
+import org.junit.Assert;
+import org.junit.Test;
+import org.simantics.scl.compiler.environment.Environment;
+import org.simantics.scl.compiler.environment.Environments;
+import org.simantics.scl.compiler.module.repository.ImportFailureException;
+import org.simantics.scl.compiler.tests.InitialRepository;
+import org.simantics.scl.compiler.types.Type;
+import org.simantics.scl.compiler.types.Types;
+import org.simantics.scl.compiler.types.exceptions.UnificationException;
+
+public class TestExistential {
+    @Test
+    public void testExistentialTypes() throws ImportFailureException, UnificationException {
+        Environment environment = InitialRepository.getDefaultEnvironment();
+        Type type1 = Environments.getType(environment, "?a -> String -> ?a");
+        Type type2 = Environments.getType(environment, "Integer -> ?b -> ?c");
+        Assert.assertEquals("a -> String -> a", type1.toString());
+        Assert.assertEquals("Integer -> a -> b", type2.toString());
+        Types.unify(type1, type2);
+        Assert.assertEquals("Integer -> String -> Integer", type1.toString());
+    }
+}