Some language imports necessary for correct typechecking are obscure. Example may be a closure type, which requires the type of the operand (receiver) of the method it serves a parameter to. That, in turn, may require some type defined in another root and perhaps some other model. |
||
|---|---|---|
| .. | ||
| models | ||
| jetbrains.mps.lang.coderules.template.msd | ||