Using typesystem information for scope constraining
Hi,
is it possible to use the type information derived from an inference rule within the constraints aspect by using the .type expression on a node?
Regards,
Henning
Please sign in to leave a comment.
Yes, it's possible and it's in fact what DotExpression operations do in BaseLanguage - the available operations after the dot depend on the type of the expression before the dot.
Okay, are there any additional imports/dependencies I have to define for the constraint aspect?
Found it, have to import jetbrains.mps.lang.typesystem language in the constraint aspect.
Thanks @Sergej for the DotExpression hint