Expand macro prototype: "virtual macro". Expand macro template: "override". Override macro displays parameters declared in the prototype as R/O. Introduce "usages" of prototype parameters to serve as local anchors; this avoids problems with generation. The existing code is going to work as before, but marked as erroneous until migrated. |
||
|---|---|---|
| .. | ||
| jetbrains.mps.lang.coderules | ||
| jetbrains.mps.lang.controlflow | ||
| jetbrains.mps.lang.smodel.types/generator/template | ||
| jetbrains.mps.lang.typechecking | ||
| jetbrains.mps.lang.types | ||
| jetbrains.mps.logic | ||
| jetbrains.mps.typechecking.annotation | ||
| jetbrains.mps.typechecking.testlang | ||
| jetbrains.mps.typechecking.testlangCycle1/generator/templates | ||
| jetbrains.mps.typechecking.testlangCycle2/generator/templates | ||