(refs #7588) Support for existential type variables with syntax ?v

[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / internal / types / ast / TVarAst.java

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 24a6d9aeb4078e29668c9850772f40aca10784bc..b9c8b6b577c17f3d6ed8d814a749a6a9e2fb4152 100644 (file)
--- 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