package org.simantics.scl.compiler.elaboration.query.compilation;
+import org.simantics.scl.compiler.compilation.CompilationContext;
import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
import org.simantics.scl.compiler.elaboration.expressions.EVariable;
import org.simantics.scl.compiler.errors.ErrorLog;
context.addConstraintDemand(evidence);
return evidence;
}
+
+ public CompilationContext getCompilationContext() {
+ return context.getCompilationContext();
+ }
}