diff --git a/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps b/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps index b59639b7..44291c44 100644 --- a/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps +++ b/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps @@ -940,356 +940,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3122,7 +2772,7 @@ - + @@ -3700,7 +3350,7 @@ - + @@ -4593,7 +4243,7 @@ - + @@ -4690,7 +4340,7 @@ - + @@ -5483,7 +5133,7 @@ - + @@ -8466,7 +8116,7 @@ - + @@ -8898,7 +8548,7 @@ - + @@ -9124,1408 +8774,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps b/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps index 91dc679a..778dc81d 100644 --- a/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps +++ b/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps @@ -92,17 +92,13 @@ - - - - + - @@ -215,6 +211,22 @@ + + + + + + + + + + + + + + + + @@ -239,6 +251,9 @@ + + + @@ -286,27 +301,12 @@ - - - - - - - - - - - - - - - - + @@ -326,38 +326,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -467,62 +435,9 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -532,106 +447,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -648,21 +463,15 @@ - - - - - - - + - + - + @@ -682,32 +491,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -792,59 +575,9 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -854,67 +587,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -926,12 +598,6 @@ - - - - - - @@ -943,7 +609,7 @@ - + @@ -2165,7 +1831,7 @@ - + @@ -2173,7 +1839,7 @@ - + @@ -2240,100 +1906,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2515,9 +2087,9 @@ - - - + + + @@ -2525,7 +2097,7 @@ - + @@ -2533,42 +2105,28 @@ - + + - - - - - - - - + + + + + + + + + - - - - - - - - - - - - - - - + + - - - @@ -2630,6 +2188,20 @@ + + + + + + + + + + + + + + @@ -2976,37 +2548,5 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/solutions/jetbrains.mps.typechecking.rules/models/jetbrains/mps/typechecking/rule/collection.mps b/solutions/jetbrains.mps.typechecking.rules/models/jetbrains/mps/typechecking/rule/collection.mps index a796d50d..a8af27b5 100644 --- a/solutions/jetbrains.mps.typechecking.rules/models/jetbrains/mps/typechecking/rule/collection.mps +++ b/solutions/jetbrains.mps.typechecking.rules/models/jetbrains/mps/typechecking/rule/collection.mps @@ -293,7 +293,7 @@ - + @@ -343,7 +343,7 @@ - + @@ -358,7 +358,7 @@ - + @@ -369,7 +369,7 @@ - + @@ -457,7 +457,7 @@ - + @@ -552,7 +552,7 @@ - + @@ -642,7 +642,7 @@ - + @@ -657,7 +657,7 @@ - + @@ -668,7 +668,7 @@ - + @@ -686,7 +686,7 @@ - + @@ -738,7 +738,7 @@ - + @@ -858,7 +858,7 @@ - + @@ -897,7 +897,7 @@ - + @@ -942,7 +942,7 @@ - + @@ -1007,7 +1007,7 @@ - + @@ -1019,7 +1019,7 @@ - + @@ -1046,7 +1046,7 @@ - + @@ -1106,7 +1106,7 @@ - + diff --git a/solutions/jetbrains.mps.typechecking.rules/models/jetbrains/mps/typechecking/rule/generator.mps b/solutions/jetbrains.mps.typechecking.rules/models/jetbrains/mps/typechecking/rule/generator.mps index 6e64cf08..bd7f21ea 100644 --- a/solutions/jetbrains.mps.typechecking.rules/models/jetbrains/mps/typechecking/rule/generator.mps +++ b/solutions/jetbrains.mps.typechecking.rules/models/jetbrains/mps/typechecking/rule/generator.mps @@ -350,7 +350,7 @@ - + @@ -955,7 +955,7 @@ - + @@ -1107,7 +1107,7 @@ - + @@ -1372,7 +1372,7 @@ - + @@ -1458,7 +1458,7 @@ - +