Specifically treat convertsTo of LogicalType to ClassifierType, support convertsTo classifier type w/o specified classifier. Fix typeOf LogicalItemValueExpression by to rely on logical's type. Accept LogicalItem in LogicalItemValueExpression's logical slot to enable replacement of it with an expression at generation time. |
||
|---|---|---|
| .. | ||
| jetbrains.mps.lang.coderules | ||
| jetbrains.mps.lang.controlflow | ||
| jetbrains.mps.lang.smodel.types/generator/template | ||
| jetbrains.mps.lang.typechecking | ||
| jetbrains.mps.logic | ||
| jetbrains.mps.typechecking.annotation | ||
| jetbrains.mps.typechecking.testlang | ||
| jetbrains.mps.typechecking.testlangCycle1/generator/templates | ||
| jetbrains.mps.typechecking.testlangCycle2/generator/templates | ||