diff --git a/build.xml b/build.xml index 3ee87f73..f2655d5d 100644 --- a/build.xml +++ b/build.xml @@ -2320,7 +2320,7 @@ - + @@ -2347,8 +2347,11 @@ + + + @@ -2376,10 +2379,15 @@ + + + + + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps index 57a698ab..568d43c5 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps @@ -196,7 +196,7 @@ - + @@ -260,7 +260,7 @@ - + @@ -600,7 +600,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps index 7a916e6e..b72e62f6 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps @@ -1123,7 +1123,7 @@ - + @@ -1319,6 +1319,12 @@ + + + + + + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.lang.typechecking.test.msd b/typechecking/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.lang.typechecking.test.msd index 37f1d5d9..59199831 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.lang.typechecking.test.msd +++ b/typechecking/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.lang.typechecking.test.msd @@ -20,6 +20,7 @@ 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.typechecking.reporting) + c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.typesystem2) @@ -51,15 +52,23 @@ + + + + + + + + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps b/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps index a3911fb6..3f6d2463 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps @@ -45,6 +45,10 @@ + + + + @@ -158,6 +162,7 @@ + @@ -251,6 +256,12 @@ + + + + + + @@ -258,9 +269,13 @@ + + + + @@ -271,6 +286,7 @@ + @@ -764,6 +780,20 @@ + + + + + + + + + + + + + + @@ -778,59 +808,90 @@ - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - + - + - - - - - - - - - - - - - + + + + + + + + + @@ -847,7 +908,7 @@ - + @@ -859,9 +920,6 @@ - - - @@ -1083,6 +1141,19 @@ + + + + + + + + + + + + + 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 56d0b8ea..a46eac56 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps @@ -26062,8 +26062,9 @@ - - + + + @@ -26086,7 +26087,7 @@ - + @@ -26143,10 +26144,10 @@ - + - + @@ -31640,9 +31641,6 @@ - - - @@ -31652,6 +31650,9 @@ + + + @@ -33769,8 +33770,8 @@ - - + + @@ -33787,7 +33788,7 @@ - + @@ -33938,8 +33939,8 @@ - - + + @@ -33956,7 +33957,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps index 97952d7e..256c812f 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps @@ -368,6 +368,9 @@ + + + @@ -407,6 +410,13 @@ + + + + + + + @@ -902,15 +912,15 @@ - - - + + + @@ -1025,8 +1035,8 @@ - - + + @@ -1052,8 +1062,8 @@ - - + + @@ -1062,7 +1072,7 @@ - + @@ -1114,15 +1124,15 @@ - - - + + + @@ -3338,8 +3348,8 @@ - - + + @@ -3388,8 +3398,8 @@ - + @@ -4369,7 +4379,6 @@ - @@ -4417,16 +4426,16 @@ - - - - - - + + + + + + - - + + @@ -4443,23 +4452,32 @@ - - - - - - + + + + + + - - + + + + + + + + + + + + + + + - - - - @@ -4471,6 +4489,18 @@ + + + + + + + + + + + + @@ -4698,12 +4728,20 @@ - + - + + + + + + + + + @@ -4728,20 +4766,15 @@ - + - + - - - - - - - + + @@ -4845,8 +4878,8 @@ - - + + @@ -4873,7 +4906,7 @@ - + @@ -4904,15 +4937,15 @@ - - + + - + - + @@ -4927,6 +4960,15 @@ + + + + + + + + + @@ -6076,7 +6118,40 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6085,13 +6160,21 @@ - - - + + + + + + + + + + + @@ -6236,6 +6319,9 @@ + + + @@ -6581,99 +6667,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -6690,6 +6683,10 @@ + + + + @@ -6699,13 +6696,16 @@ - + + + + @@ -6762,9 +6762,6 @@ - - - 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 564f66a2..6683cc01 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 @@ -581,6 +581,7 @@ + @@ -714,6 +715,7 @@ + @@ -764,11 +766,6 @@ - - - - - @@ -845,9 +842,14 @@ - - + + + + + + + @@ -879,15 +881,155 @@ + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1571,8 +1713,8 @@ - - + + @@ -1833,87 +1975,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -1948,8 +2011,16 @@ - - + + + + + + + + + + @@ -1984,8 +2055,48 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2038,109 +2149,11 @@ - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -3972,6 +3985,139 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5841,8 +5987,8 @@ - - + + @@ -5983,14 +6129,14 @@ - - + + - - + + @@ -6003,18 +6149,18 @@ - - - - - - - + + + + + + + - + @@ -6036,8 +6182,8 @@ - - + + @@ -6086,8 +6232,8 @@ - - + + @@ -9280,13 +9426,13 @@ - + - - + + @@ -9566,13 +9712,13 @@ - + - - + + @@ -9643,13 +9789,13 @@ - + - - + + @@ -9775,16 +9921,16 @@ - + - + - - + + @@ -9798,14 +9944,14 @@ - + - + @@ -9837,8 +9983,8 @@ - - + + @@ -11917,13 +12063,13 @@ - + - - + + @@ -14130,15 +14276,15 @@ - + - - + + @@ -14170,8 +14316,8 @@ - - + + @@ -14182,8 +14328,8 @@ - - + + @@ -14210,8 +14356,8 @@ - - + + @@ -16196,6 +16342,7 @@ + @@ -16230,12 +16377,14 @@ + + @@ -16365,6 +16514,7 @@ + @@ -18019,9 +18169,9 @@ - - - + + + @@ -18032,11 +18182,11 @@ - + - + @@ -18053,8 +18203,18 @@ - - + + + + + + + + + + + + @@ -18139,50 +18299,11 @@ - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -18208,7 +18329,14 @@ - + + + + + + + + @@ -18329,10 +18457,29 @@ - + + + + + + + + + + + + + + + + + + + + @@ -18421,10 +18568,10 @@ - + - - + + @@ -18620,7 +18767,9 @@ - + + + @@ -18827,6 +18976,90 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -18957,28 +19190,23 @@ - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + @@ -18989,8 +19217,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -19009,13 +19263,13 @@ - + - - + + @@ -19255,13 +19509,13 @@ - + - - + + @@ -19946,73 +20200,96 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - + - - - - - - + + + + + + + + + + + + + + + + + + + + + - @@ -20021,62 +20298,43 @@ - + - - + + - - - - - - - - + + + + + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - + - + @@ -20171,6 +20429,249 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -20193,52 +20694,9 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -20263,13 +20721,439 @@ - - - - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps index 6d6dd277..7bdcc2bf 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps @@ -2725,5 +2725,109 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps index 6a1908aa..a820cc49 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps @@ -6806,17 +6806,31 @@ - + - - - + + + + + + + + + + + + + + + + + @@ -6824,19 +6838,38 @@ - - + + - - + + - - - - + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps index 81b2b1c7..ea5a0914 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps @@ -43,7 +43,9 @@ - + + + @@ -1412,6 +1414,9 @@ + + + @@ -1591,18 +1596,54 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - + + + - + 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 f2773def..47c2f94a 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 @@ -3076,10 +3076,10 @@ - + - + @@ -3096,10 +3096,10 @@ - + - + @@ -3112,10 +3112,10 @@ - + - + @@ -3206,10 +3206,10 @@ - + - + @@ -3263,7 +3263,7 @@ - + @@ -3277,10 +3277,10 @@ - + - + @@ -3337,10 +3337,10 @@ - + - + @@ -3357,10 +3357,10 @@ - + - + @@ -3373,10 +3373,10 @@ - + - + @@ -3397,10 +3397,10 @@ - + - + @@ -3437,10 +3437,10 @@ - + - + @@ -3848,10 +3848,10 @@ - + - + @@ -3885,10 +3885,10 @@ - + - + @@ -3924,6 +3924,11 @@ + + + + + @@ -3934,8 +3939,20 @@ - - + + + + + + + + + + + + + + @@ -3948,7 +3965,7 @@ - + @@ -4201,10 +4218,10 @@ - + - + @@ -4220,10 +4237,10 @@ - + - + @@ -5508,13 +5525,26 @@ - + + + + + + + + + + + + + + @@ -5529,6 +5559,10 @@ + + + + @@ -5538,6 +5572,10 @@ + + + + @@ -5546,13 +5584,26 @@ - - + + + + + + + + + + + + + + + @@ -5583,7 +5634,7 @@ - + @@ -5594,57 +5645,122 @@ - - - + + + + + + + - + - - - - - - - - - - - - - - + - - - - + + + + + - - - - + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - @@ -5730,54 +5846,20 @@ - - - - - - - - - - - - - - - - - - - - - + - + - + - - - - - - - - - - - + - - - - @@ -5811,22 +5893,6 @@ - - - - - - - - - - - - - - - - @@ -5836,7 +5902,7 @@ - + @@ -5860,7 +5926,7 @@ - + @@ -5877,6 +5943,38 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5891,13 +5989,10 @@ - - - - + - + @@ -5906,6 +6001,7 @@ + @@ -5955,8 +6051,8 @@ - - + + @@ -5984,7 +6080,7 @@ - + @@ -6073,7 +6169,7 @@ - + @@ -6088,6 +6184,38 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6095,33 +6223,33 @@ + + + + + + + + + + + + + - + - + - - - - - - - - - - - - - - + @@ -6136,6 +6264,11 @@ + + + + + @@ -6148,7 +6281,7 @@ - + @@ -6184,6 +6317,11 @@ + + + + + @@ -6195,9 +6333,9 @@ - + - + @@ -6217,62 +6355,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -6280,9 +6362,175 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -6292,7 +6540,7 @@ - + @@ -6363,7 +6611,7 @@ - + @@ -6412,7 +6660,7 @@ - + @@ -6512,126 +6760,10 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - + @@ -6658,14 +6790,14 @@ - + - + @@ -6688,7 +6820,7 @@ - + @@ -6725,7 +6857,7 @@ - + @@ -6746,97 +6878,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -6928,7 +6971,7 @@ - + @@ -7017,87 +7060,11 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -7116,17 +7083,17 @@ - + - + - + @@ -7146,17 +7113,17 @@ - + - + - + @@ -7175,7 +7142,7 @@ - + @@ -7188,17 +7155,17 @@ - + - + - + @@ -7211,12 +7178,12 @@ - + - + @@ -7242,7 +7209,7 @@ - + @@ -7265,7 +7232,7 @@ - + @@ -7284,7 +7251,7 @@ - + @@ -7458,7 +7425,167 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7468,7 +7595,7 @@ - + @@ -7500,7 +7627,7 @@ - + @@ -7519,7 +7646,7 @@ - + @@ -7746,13 +7873,13 @@ - + - + @@ -7762,10 +7889,10 @@ - + - + @@ -7819,7 +7946,7 @@ - + @@ -7930,34 +8057,16 @@ - - - - - - - - - - - - - - - - - - - + - + @@ -7983,10 +8092,10 @@ - + - + @@ -8015,7 +8124,7 @@ - + @@ -8054,6 +8163,7 @@ + @@ -8145,60 +8255,13 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + @@ -8297,7 +8360,7 @@ - + @@ -8396,22 +8459,11 @@ - + - - - - - - - - - - - - + @@ -8426,10 +8478,10 @@ - + - + @@ -8460,7 +8512,435 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8483,10 +8963,10 @@ - + - + @@ -8533,7 +9013,7 @@ - + @@ -8547,7 +9027,7 @@ - + @@ -8572,14 +9052,14 @@ - + - + - + @@ -8589,13 +9069,13 @@ - + - + @@ -8684,7 +9164,7 @@ - + @@ -8696,13 +9176,13 @@ - + - + @@ -8852,6 +9332,13 @@ + + + + + + + @@ -8867,7 +9354,7 @@ - + @@ -8876,16 +9363,23 @@ - + - - - - - + + + + + + + + + + + + @@ -8970,7 +9464,7 @@ - + @@ -8980,7 +9474,7 @@ - + @@ -9016,7 +9510,7 @@ - + @@ -9026,7 +9520,7 @@ - + @@ -9207,7 +9701,7 @@ - + @@ -9259,7 +9753,7 @@ - + @@ -9269,7 +9763,7 @@ - + @@ -9290,7 +9784,7 @@ - + @@ -9300,7 +9794,7 @@ - + @@ -9355,7 +9849,7 @@ - + @@ -9386,7 +9880,7 @@ - + @@ -9396,7 +9890,7 @@ - + @@ -9444,7 +9938,7 @@ - + @@ -9459,7 +9953,7 @@ - + @@ -9469,7 +9963,7 @@ - + @@ -9683,7 +10177,7 @@ - + @@ -9774,6 +10268,68 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9833,6 +10389,44 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9980,6 +10574,106 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10003,6 +10697,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -10032,7 +10750,6 @@ - @@ -10041,14 +10758,19 @@ - - - + + + + + + + + @@ -11431,8 +12153,8 @@ - - + + @@ -11460,8 +12182,8 @@ - - + + @@ -11482,8 +12204,8 @@ - - + + @@ -11493,17 +12215,157 @@ - - + + + + + + + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11521,8 +12383,8 @@ - - + + @@ -11556,7 +12418,7 @@ - + @@ -11565,7 +12427,7 @@ - + @@ -11574,6 +12436,7 @@ + @@ -11589,7 +12452,71 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11598,68 +12525,149 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + @@ -11680,36 +12688,77 @@ - - + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + - - - + - - - + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/jetbrains.mps.lang.typesystem2.template.msd b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/jetbrains.mps.lang.typesystem2.template.msd index 19eeecbe..9a27c646 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/jetbrains.mps.lang.typesystem2.template.msd +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/jetbrains.mps.lang.typesystem2.template.msd @@ -11,7 +11,7 @@ a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) + bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.typechecking.reporting) 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 27a1c0de..6488b8a3 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 @@ -250,8 +250,8 @@ - - + + @@ -905,21 +905,8 @@ - - - - - - - - - - - - - - - + + @@ -961,9 +948,6 @@ - - - @@ -992,21 +976,8 @@ - - - - - - - - - - - - - - - + + @@ -1035,9 +1006,6 @@ - - - @@ -1164,7 +1132,7 @@ - + @@ -1225,64 +1193,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1293,12 +1203,30 @@ + + + + + + + + + + + + + + + + + + - + @@ -1418,27 +1346,14 @@ - - - - - - - - - - - - - - - + + - + @@ -1550,21 +1465,8 @@ - - - - - - - - - - - - - - - + + @@ -1806,6 +1708,7 @@ + @@ -1815,7 +1718,7 @@ - + @@ -1852,9 +1755,15 @@ + + + + + + @@ -1897,7 +1806,7 @@ - + @@ -1918,7 +1827,7 @@ - + @@ -1995,34 +1904,192 @@ - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - + + - - - + + + - - + + - - + + - - + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2045,7 +2112,7 @@ - + @@ -2072,7 +2139,7 @@ - + @@ -2093,7 +2160,7 @@ - + @@ -2146,18 +2213,6 @@ - - - - - - - - - - - -