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%2Finternal%2Ftypes%2Fast%2FTVarAst.java;h=b9c8b6b577c17f3d6ed8d814a749a6a9e2fb4152;hp=24a6d9aeb4078e29668c9850772f40aca10784bc;hb=4c2fb8fefbdec1856e160dc24b6498aa4bd5eb48;hpb=aca33ac9ec17d1555f6413edaa339ad3692e29bb

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/types/ast/TVarAst.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/types/ast/TVarAst.java
index 24a6d9aeb..b9c8b6b57 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/types/ast/TVarAst.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/types/ast/TVarAst.java
@@ -19,7 +19,7 @@ public class TVarAst extends TypeAst {
 
     @Override
     public Type toType(TypeElaborationContext context) {
-        return context.resolveTypeVariable(name);
+        return name.startsWith("?") ? context.resolveExistential(name) : context.resolveTypeVariable(name);
     }
 
     @Override