diff --git a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps index a8940aa7..6883bd79 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps @@ -26445,7 +26445,7 @@ - + @@ -26462,7 +26462,7 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps index 52904154..dc0fd889 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps @@ -53,6 +53,7 @@ + @@ -753,10 +754,20 @@ - + + + + + + + + + + + @@ -870,7 +881,7 @@ - + @@ -5810,16 +5821,37 @@ - + - - + + + + + + + + + + + + + + + + + + + + + + + @@ -5844,7 +5876,7 @@ - + @@ -5856,7 +5888,7 @@ - + @@ -5874,23 +5906,23 @@ - + - - - - - - - - - - - - - - + + + + + + + + + + + + + + @@ -5925,7 +5957,7 @@ - + @@ -5939,6 +5971,91 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5951,6 +6068,15 @@ + + + + + + + + + @@ -14445,18 +14571,18 @@ - - + + - + - - - - - - + + + + + + @@ -14465,29 +14591,29 @@ - - - - - - - - - + + + + + + + + + - - + + - + - - + + @@ -15864,16 +15990,19 @@ - + - - + + + + + - + @@ -15907,6 +16036,77 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -16154,6 +16354,13 @@ + + + + + + + @@ -19724,5 +19931,265 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps index 87ef906d..3daa5158 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps @@ -1525,7 +1525,7 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains.mps.lang.typesystem2.evaluation.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains.mps.lang.typesystem2.evaluation.mps index c20149f0..5eb06f75 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains.mps.lang.typesystem2.evaluation.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains.mps.lang.typesystem2.evaluation.mps @@ -360,10 +360,6 @@ - - - - @@ -438,18 +434,13 @@ - - - - - @@ -468,7 +459,6 @@ - @@ -499,7 +489,6 @@ - @@ -2911,58 +2900,73 @@ - - - - - + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + - - - - + + + - - - + + + + + + + + + + + + + + + + - - - + + + - + + + + + + + - + @@ -2979,7 +2983,7 @@ - + @@ -2987,7 +2991,7 @@ - + @@ -3007,7 +3011,7 @@ - + @@ -3023,7 +3027,7 @@ - + @@ -3117,7 +3121,7 @@ - + @@ -3134,7 +3138,7 @@ - + @@ -3188,7 +3192,7 @@ - + @@ -3207,7 +3211,7 @@ - + @@ -3244,11 +3248,11 @@ - + - + @@ -3268,7 +3272,7 @@ - + @@ -3284,7 +3288,7 @@ - + @@ -3308,7 +3312,7 @@ - + @@ -3323,7 +3327,7 @@ - + @@ -3348,7 +3352,7 @@ - + @@ -3367,7 +3371,7 @@ - + @@ -3419,7 +3423,7 @@ - + @@ -3436,176 +3440,218 @@ - + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3635,7 +3681,7 @@ - + @@ -3648,6 +3694,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -3657,7 +3724,7 @@ - + @@ -3679,7 +3746,7 @@ - + @@ -3694,7 +3761,7 @@ - + @@ -3722,7 +3789,7 @@ - + @@ -3767,7 +3834,7 @@ - + @@ -3776,7 +3843,7 @@ - + @@ -3786,22 +3853,231 @@ - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -3820,7 +4096,7 @@ - + @@ -3835,33 +4111,45 @@ + - + - + - - - - - - + + + + + + + + + + + + + + + + + @@ -4788,96 +5076,18 @@ - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -4890,14 +5100,9 @@ - - - - - - - - + + + @@ -4910,14 +5115,9 @@ - - - - - - - - + + + @@ -4926,978 +5126,222 @@ - - - - - + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - - - + + + + + + + + - - - - - - - - + + + - - - - - - - - - - - - + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + - - - - - - - - - + + + + + + + + - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + @@ -5908,15 +5352,38 @@ - - - - + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + @@ -5960,7 +5427,7 @@ - + @@ -6035,7 +5502,7 @@ - + @@ -6107,7 +5574,7 @@ - + @@ -6178,7 +5645,7 @@ - + @@ -6188,13 +5655,8 @@ - - - - - - - + + @@ -6316,7 +5778,7 @@ - + @@ -6443,7 +5905,7 @@ - + @@ -6483,16 +5945,11 @@ - - - - - - - + + - + @@ -6599,7 +6056,7 @@ - + @@ -6632,7 +6089,7 @@ - + @@ -6672,16 +6129,11 @@ - - - - - - - + + - + @@ -6788,7 +6240,7 @@ - + @@ -6813,7 +6265,7 @@ - + @@ -8205,7 +7657,7 @@ - + @@ -8387,8 +7839,8 @@ - - + + @@ -8413,7 +7865,7 @@ - + @@ -8869,7 +8321,7 @@ - + @@ -8926,7 +8378,7 @@ - + @@ -8939,16 +8391,11 @@ - - - - - - - + + - + @@ -9315,7 +8762,7 @@ - + @@ -9324,7 +8771,7 @@ - + @@ -10399,12 +9846,21 @@ + - - - - - + + + + + + + + + + + + + @@ -10421,19 +9877,19 @@ - + - + - - - + + + @@ -10795,19 +10251,17 @@ - - - - - - - + + + + + @@ -10895,19 +10349,17 @@ - - - - - - - + + + + + @@ -10948,10 +10400,10 @@ - + - - + + @@ -11659,5 +11111,110 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.rule.mps b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.rule.mps index beae08c2..c5024486 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.rule.mps +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.rule.mps @@ -157,17 +157,13 @@ - - - - - - + + @@ -237,228 +233,30 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - + @@ -1960,7 +1758,23 @@ - + + + + + + + + + + + + + + + + + @@ -1980,6 +1794,9 @@ + + + @@ -2156,104 +1973,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2274,5 +1993,105 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/aspect.mps b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/aspect.mps index 1152fc67..0ece3521 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/aspect.mps +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/aspect.mps @@ -6,6 +6,7 @@ + @@ -14,20 +15,47 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -39,6 +67,7 @@ + @@ -56,13 +85,17 @@ + + + + @@ -70,33 +103,158 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -173,37 +331,321 @@ - - - - - - - - + + + + + + + + + + - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -224,10 +666,1014 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +