From 3136d7bedb04b442b12b945fed0d7d91e7bcb09d Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 9 Mar 2017 14:36:19 +0100 Subject: [PATCH] Switched to the latest EAP build, applied the migrations. --- .mps/migration.xml | 2 + build.xml | 250 ++++--- .../generator/template/main@generator.mps | 14 +- .../jetbrains.mps.logic.mpl | 28 +- .../languageModels/actions.mps | 611 +-------------- .../languageModels/behavior.mps | 15 +- .../languageModels/constraints.mps | 354 ++++----- .../languageModels/editor.mps | 69 +- .../languageModels/intentions.mps | 8 +- .../languageModels/typesystem.mps | 10 +- .../runtime/jetbrains.mps.logic.runtime.msd | 8 +- .../models/jetbrains/mps/logic/builtin.mps | 2 +- .../jetbrains/mps/logic/builtin/predicate.mps | 2 +- .../jetbrains/mps/logic/builtin/program.mps | 2 +- .../jetbrains/mps/logic/builtin/solver.mps | 2 +- .../models/jetbrains/mps/logic/treeform.mps | 2 +- .../jetbrains.mps.logic.reactor.msd | 3 +- .../jetbrains.mps.logic.test.msd | 10 +- .../mps/logic/test/logical@tests.mps | 2 +- .../jetbrains/mps/logic/test/unification.mps | 2 +- .../mps/logic/test/unification@tests.mps | 4 +- test.xml | 423 ++++++----- ...brains.mps.lang.typesystem2.sampleLang.mpl | 30 +- .../models/behavior.mps | 2 +- .../models/constraints.mps | 2 +- .../models/editor.mps | 2 +- .../models/types.mps | 38 +- .../jetbrains.mps.typechecking.annotation.mpl | 27 +- .../languageModels/behavior.mps | 2 +- .../languageModels/constraints.mps | 2 +- .../languageModels/editor.mps | 6 +- .../languageModels/intentions.mps | 4 +- ...rains.mps.lang.typesystem2.sample.test.msd | 9 +- .../typesystem2/sample/bounds/bad@tests.mps | 6 +- .../lang/typesystem2/sample/bounds@tests.mps | 4 +- .../typesystem2/sample/codeAnal@tests.mps | 2 +- .../typesystem2/sample/helloWorld@tests.mps | 2 +- .../sample/simpleGenerics@tests.mps | 2 +- .../lang/typesystem2/sample/slice@tests.mps | 2 +- .../mps/lang/typesystem2/sample@tests.mps | 4 +- .../jetbrains.mps.lang.typesystem2.sample.msd | 3 +- .../mps/lang/typesystem2/sample/bounds.mps | 2 +- .../lang/typesystem2/sample/bounds/bad.mps | 2 +- .../mps/lang/typesystem2/sample/codeAnal.mps | 2 +- .../lang/typesystem2/sample/helloWorld.mps | 2 +- .../typesystem2/sample/simpleGenerics.mps | 2 +- .../mps/lang/typesystem2/sample/slice.mps | 2 +- ...s.mps.lang.typesystem2.sampleLang.test.msd | 7 +- .../sampleLang/test/types@tests.mps | 21 +- ...s.lang.typesystem2.samplechecker.build.msd | 3 +- .../lang/typesystem2/samplechecker/build.mps | 34 +- ...typesystem2.samplechecker.handler.util.msd | 10 +- .../typesystem2/samplechecker/handle/util.mps | 22 +- ...ps.lang.typesystem2.samplechecker.test.msd | 11 +- .../samplechecker/test/type@tests.mps | 6 +- ...ains.mps.lang.typesystem2.sampleplugin.msd | 9 +- .../lang/typesystem2/sampleplugin/plugin.mps | 14 +- .../jetbrains.mps.lang.smodel.types.mpl | 30 +- .../models/behavior.mps | 2 +- .../models/constraints.mps | 2 +- .../models/editor.mps | 2 +- .../generator/template/main@generator.mps | 104 ++- .../jetbrains.mps.lang.typesystem2.mpl | 33 +- .../languageModels/behavior.mps | 17 +- .../languageModels/constraints.mps | 707 +++++++++--------- .../languageModels/editor.mps | 35 +- .../languageModels/findUsages.mps | 26 +- .../languageModels/intentions.mps | 6 +- .../languageModels/structure.mps | 2 +- .../languageModels/typesystem.mps | 30 +- .../languageModels/util.mps | 53 +- ...jetbrains.mps.lang.typesystem2.runtime.msd | 10 +- .../mps/lang/typesystem2/program.mps | 4 +- .../mps/lang/typesystem2/typechecking.mps | 4 +- .../jetbrains.mps.lang.typesystem2.helper.msd | 5 +- .../mps/lang/typesystem2/helper/plugin.mps | 2 +- ...etbrains.mps.lang.typesystem2.template.msd | 7 +- .../jetbrains/mps/lang/typesystem2/aspect.mps | 4 +- .../mps/lang/typesystem2/template.mps | 4 +- .../jetbrains/mps/lang/typesystem2/type.mps | 4 +- .../jetbrains.mps.lang.typesystem2.test.msd | 7 +- .../lang/typesystem2/typechecking@tests.mps | 6 +- 82 files changed, 1398 insertions(+), 1829 deletions(-) diff --git a/.mps/migration.xml b/.mps/migration.xml index 333ddb4a..d88115b1 100644 --- a/.mps/migration.xml +++ b/.mps/migration.xml @@ -8,6 +8,8 @@ + + diff --git a/build.xml b/build.xml index 13acbedd..42aa4a87 100644 --- a/build.xml +++ b/build.xml @@ -54,13 +54,14 @@ - - + + + @@ -70,8 +71,31 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -109,6 +133,9 @@ + + + @@ -147,6 +174,9 @@ + + + @@ -193,6 +223,9 @@ + + + @@ -202,8 +235,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -245,6 +302,9 @@ + + + @@ -283,6 +343,9 @@ + + + @@ -311,19 +374,16 @@ - - - - - - + + + @@ -366,6 +426,9 @@ + + + @@ -375,8 +438,31 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -408,22 +494,21 @@ - - - - + + + @@ -464,6 +549,9 @@ + + + @@ -534,23 +622,16 @@ - - - - - - - @@ -572,13 +653,13 @@ - + @@ -650,9 +731,9 @@ + - @@ -665,13 +746,9 @@ - - - - + - @@ -702,9 +779,9 @@ + - @@ -719,13 +796,9 @@ - - - - + - @@ -766,10 +839,7 @@ - - - - + @@ -801,13 +871,10 @@ + - - - - - + @@ -832,9 +899,9 @@ + - @@ -853,27 +920,25 @@ - - - - + - + + - + @@ -898,9 +963,9 @@ + - @@ -920,22 +985,19 @@ - - - - + - + - + @@ -954,8 +1016,6 @@ - - @@ -963,11 +1023,13 @@ + + + - @@ -982,13 +1044,9 @@ - - - - + - @@ -1012,8 +1070,6 @@ - - @@ -1021,11 +1077,13 @@ + + + - @@ -1044,13 +1102,9 @@ - - - - + - @@ -1081,9 +1135,9 @@ + - @@ -1096,16 +1150,12 @@ + - - - - - + - @@ -1126,8 +1176,6 @@ - - @@ -1135,11 +1183,13 @@ + + + - @@ -1148,10 +1198,7 @@ - - - - + @@ -1178,9 +1225,9 @@ + - @@ -1196,13 +1243,9 @@ - - - - + - @@ -1235,9 +1278,9 @@ + - @@ -1254,13 +1297,9 @@ - - - - + - @@ -1283,8 +1322,6 @@ - - @@ -1292,11 +1329,13 @@ + + + - @@ -1315,10 +1354,7 @@ - - - - + @@ -1360,12 +1396,8 @@ - - - - + - diff --git a/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps index 2fa2ec63..6ca12dc8 100644 --- a/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -6,8 +6,8 @@ - - + + @@ -222,8 +222,8 @@ - + @@ -1299,7 +1299,6 @@ - @@ -1311,6 +1310,9 @@ + + + @@ -1410,7 +1412,6 @@ - @@ -1422,6 +1423,9 @@ + + + diff --git a/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl index 2d300610..8833ff2f 100644 --- a/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -18,12 +18,8 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - - - + @@ -33,7 +29,7 @@ - + @@ -44,8 +40,8 @@ - + @@ -87,13 +83,8 @@ 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - 2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design) - - - + @@ -102,17 +93,17 @@ - - + + - + - + - + @@ -126,7 +117,6 @@ - diff --git a/logic/languages/jetbrains.mps.logic/languageModels/actions.mps b/logic/languages/jetbrains.mps.logic/languageModels/actions.mps index 867bf6a0..dc6a0dfb 100644 --- a/logic/languages/jetbrains.mps.logic/languageModels/actions.mps +++ b/logic/languages/jetbrains.mps.logic/languageModels/actions.mps @@ -2,621 +2,14 @@ - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + diff --git a/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps b/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps index 86d22a2c..4ec86500 100644 --- a/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps +++ b/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps @@ -2,7 +2,7 @@ - + @@ -74,10 +74,13 @@ + + + - + @@ -174,11 +177,13 @@ - + + + @@ -238,11 +243,13 @@ - + + + diff --git a/logic/languages/jetbrains.mps.logic/languageModels/constraints.mps b/logic/languages/jetbrains.mps.logic/languageModels/constraints.mps index bf6a966c..3899bc7e 100644 --- a/logic/languages/jetbrains.mps.logic/languageModels/constraints.mps +++ b/logic/languages/jetbrains.mps.logic/languageModels/constraints.mps @@ -2,7 +2,7 @@ - + @@ -125,7 +125,7 @@ - + @@ -134,12 +134,12 @@ - + + - @@ -172,8 +172,8 @@ - + @@ -439,16 +439,16 @@ - - - - - - - + + + + + + + - - + + @@ -462,116 +462,118 @@ - - - - - + + + + + - - - + + + - + - - - - + + + + - + - - - - - - + + + + + + - + - - - + + + - - - - - - + + + + + + - + - - - - - - - + + + + + + + - + - + - + - - - - - - - + + + + + + + - - + + - + - + - - + + - - - + + + - + - - - - + + + + - - - + + + + + - + @@ -583,34 +585,34 @@ - - - + + + - + - - + + - - - + + + - - - + + + - - - + + + - + - + @@ -619,68 +621,72 @@ - + - - - + + + - - + + - - - - - + + + + + - + - - - + + + - - - - - - + + + + + + + + - + - + - - + + - - - + + + - + - - - - + + + + - - - + + + + + - + @@ -692,34 +698,34 @@ - - - + + + - + - - + + - - - + + + - - - + + + - - - + + + - + - + @@ -729,50 +735,50 @@ - - - + + + - - + + - - - + + + - - + + - - - - - + + + + + - - - - - + + + + + - + - + - + diff --git a/logic/languages/jetbrains.mps.logic/languageModels/editor.mps b/logic/languages/jetbrains.mps.logic/languageModels/editor.mps index cdae3a19..56c525f9 100644 --- a/logic/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/logic/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -2,8 +2,8 @@ - - + + @@ -386,8 +386,8 @@ - + @@ -411,7 +411,6 @@ - @@ -427,6 +426,7 @@ + @@ -1032,8 +1032,10 @@ - + + + @@ -1080,8 +1082,10 @@ - + + + @@ -1296,8 +1300,10 @@ - + + + @@ -1347,8 +1353,10 @@ - + + + @@ -1403,10 +1411,12 @@ - + + + @@ -1785,10 +1795,12 @@ - + + + @@ -1888,10 +1900,12 @@ - + + + @@ -2009,10 +2023,12 @@ - + + + @@ -2061,7 +2077,6 @@ - @@ -2069,8 +2084,11 @@ + + + - + @@ -2084,11 +2102,13 @@ - + + + @@ -2110,7 +2130,6 @@ - @@ -2118,8 +2137,11 @@ + + + - + @@ -2133,11 +2155,13 @@ - + + + @@ -2498,7 +2522,7 @@ - + @@ -3008,6 +3032,7 @@ + @@ -3196,10 +3221,12 @@ - + + + @@ -3311,6 +3338,7 @@ + @@ -3389,6 +3417,7 @@ + diff --git a/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps b/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps index 67f9437e..763820b3 100644 --- a/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps +++ b/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps @@ -3,8 +3,8 @@ - - + + @@ -146,11 +146,11 @@ - + @@ -383,7 +383,7 @@ - + diff --git a/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps index e7457640..7f3fb0ee 100644 --- a/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps +++ b/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps @@ -154,8 +154,8 @@ - + @@ -643,13 +643,15 @@ - + + + @@ -693,13 +695,15 @@ - + + + diff --git a/logic/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd b/logic/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd index 2154d8d4..333af1f4 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd +++ b/logic/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd @@ -10,12 +10,8 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - - - + @@ -23,7 +19,7 @@ - + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps index 038920cf..3045bced 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps @@ -3,7 +3,7 @@ - + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps index cc8b26ec..a5316097 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps @@ -2,7 +2,7 @@ - + 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 320f92fe..01156d32 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 @@ -2,7 +2,7 @@ - + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps index 1ac6ef99..de42c11e 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps @@ -2,7 +2,7 @@ - + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/treeform.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/treeform.mps index ad6bcde7..68a0e389 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/treeform.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/treeform.mps @@ -3,7 +3,7 @@ - + diff --git a/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd b/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd index 0052c135..bbaac64c 100644 --- a/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd +++ b/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd @@ -25,8 +25,7 @@ 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) - - + diff --git a/logic/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd b/logic/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd index b82dc5b3..5c7eb29b 100644 --- a/logic/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd +++ b/logic/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd @@ -19,12 +19,8 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - - - + @@ -34,7 +30,7 @@ - + @@ -44,8 +40,8 @@ - + diff --git a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps index c0054106..47ab1da6 100644 --- a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps +++ b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps @@ -5,7 +5,7 @@ - + diff --git a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps index 907afe0b..ca43a100 100644 --- a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps +++ b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps @@ -4,7 +4,7 @@ - + diff --git a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps index 1b5e1adf..242a2624 100644 --- a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps +++ b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps @@ -4,7 +4,7 @@ - + @@ -161,7 +161,7 @@ - + diff --git a/test.xml b/test.xml index 27a8a59c..3d5f828a 100644 --- a/test.xml +++ b/test.xml @@ -40,13 +40,14 @@ - - + + + @@ -56,8 +57,31 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -106,6 +130,9 @@ + + + @@ -115,8 +142,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -148,22 +199,21 @@ - - - - + + + @@ -203,6 +253,9 @@ + + + @@ -241,6 +294,9 @@ + + + @@ -269,19 +325,16 @@ - - - - - - + + + @@ -322,6 +375,9 @@ + + + @@ -360,6 +416,9 @@ + + + @@ -402,6 +461,9 @@ + + + @@ -431,22 +493,21 @@ - - - - + + + @@ -482,16 +543,16 @@ - - - + + + @@ -501,8 +562,31 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -545,6 +629,9 @@ + + + @@ -574,6 +661,9 @@ + + + @@ -606,8 +696,6 @@ - - @@ -617,6 +705,9 @@ + + + @@ -652,6 +743,9 @@ + + + @@ -688,13 +782,14 @@ - - + + + @@ -704,8 +799,31 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -781,10 +899,6 @@ - - - - @@ -800,7 +914,6 @@ - @@ -822,6 +935,7 @@ + @@ -910,9 +1024,9 @@ + - @@ -925,13 +1039,9 @@ - - - - + - @@ -962,9 +1072,9 @@ + - @@ -979,13 +1089,9 @@ - - - - + - @@ -1026,10 +1132,7 @@ - - - - + @@ -1061,13 +1164,10 @@ + - - - - - + @@ -1093,9 +1193,9 @@ + - @@ -1109,6 +1209,18 @@ + + + + + + + + + + + + @@ -1117,22 +1229,6 @@ - - - - - - - - - - - - - - - - @@ -1157,9 +1253,9 @@ + - @@ -1178,27 +1274,25 @@ - - - - + - + + - + @@ -1223,9 +1317,9 @@ + - @@ -1245,22 +1339,19 @@ - - - - + - + - + @@ -1279,8 +1370,6 @@ - - @@ -1288,11 +1377,13 @@ + + + - @@ -1307,13 +1398,9 @@ - - - - + - @@ -1337,8 +1424,6 @@ - - @@ -1346,11 +1431,13 @@ + + + - @@ -1369,13 +1456,9 @@ - - - - + - @@ -1406,9 +1489,9 @@ + - @@ -1421,16 +1504,12 @@ + - - - - - + - @@ -1451,8 +1530,6 @@ - - @@ -1460,11 +1537,13 @@ + + + - @@ -1473,10 +1552,7 @@ - - - - + @@ -1492,8 +1568,6 @@ - - @@ -1501,11 +1575,13 @@ + + + - @@ -1524,10 +1600,7 @@ - - - - + @@ -1569,12 +1642,8 @@ - - - - + - @@ -1605,22 +1674,18 @@ + - - - - - + - @@ -1658,9 +1723,9 @@ + - @@ -1668,10 +1733,7 @@ - - - - + @@ -1700,9 +1762,9 @@ + - @@ -1720,13 +1782,9 @@ - - - - + - @@ -1756,9 +1814,9 @@ + - @@ -1766,13 +1824,9 @@ - - - - + - @@ -1815,9 +1869,9 @@ + - @@ -1834,26 +1888,14 @@ - - - - - - - - + - - - - - + - @@ -1868,6 +1910,14 @@ + + + + + + + + @@ -1893,9 +1943,9 @@ + - @@ -1914,26 +1964,14 @@ - - - - - - - - - + - - - - + - @@ -1947,6 +1985,14 @@ + + + + + + + + @@ -1972,9 +2018,9 @@ + - @@ -1994,26 +2040,14 @@ - - - - - - - - - - - - + - @@ -2028,6 +2062,14 @@ + + + + + + + + @@ -2050,9 +2092,6 @@ - - - diff --git a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/jetbrains.mps.lang.typesystem2.sampleLang.mpl b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/jetbrains.mps.lang.typesystem2.sampleLang.mpl index aef983ca..2ebab711 100644 --- a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/jetbrains.mps.lang.typesystem2.sampleLang.mpl +++ b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/jetbrains.mps.lang.typesystem2.sampleLang.mpl @@ -14,12 +14,8 @@ - - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - - - + @@ -29,7 +25,7 @@ - + @@ -39,8 +35,8 @@ - + @@ -59,29 +55,23 @@ 9c4ae21e-62e0-4110-95b7-191b357a42d2(jetbrains.mps.lang.typesystem2.samplechecker.handler.util) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - - 2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design) - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - - - + - - - + + + - - + - + @@ -94,8 +84,8 @@ - + diff --git a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/behavior.mps b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/behavior.mps index 7588fdf6..fe6fe107 100644 --- a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/behavior.mps +++ b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/behavior.mps @@ -2,7 +2,7 @@ - + diff --git a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/constraints.mps b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/constraints.mps index 70b154ac..ffb12fd2 100644 --- a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/constraints.mps +++ b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/editor.mps b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/editor.mps index b27dc957..252c8ce2 100644 --- a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/editor.mps +++ b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/editor.mps @@ -2,7 +2,7 @@ - + diff --git a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps index 00a8da24..0cb8b22a 100644 --- a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps +++ b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps @@ -10,8 +10,8 @@ - - + + @@ -387,8 +387,8 @@ - + @@ -1496,7 +1496,6 @@ - @@ -1508,6 +1507,9 @@ + + + @@ -2234,10 +2236,12 @@ - + + + @@ -2658,10 +2662,12 @@ - + + + @@ -3386,7 +3392,6 @@ - @@ -3398,6 +3403,9 @@ + + + @@ -3716,7 +3724,6 @@ - @@ -3728,6 +3735,9 @@ + + + @@ -4113,7 +4123,6 @@ - @@ -4125,6 +4134,9 @@ + + + @@ -4271,7 +4283,6 @@ - @@ -4283,6 +4294,9 @@ + + + @@ -6491,10 +6505,12 @@ - + + + diff --git a/typechecking/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl b/typechecking/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl index 3616c84c..95f1d462 100644 --- a/typechecking/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl +++ b/typechecking/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl @@ -14,12 +14,8 @@ - - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - - - + @@ -29,7 +25,7 @@ - + @@ -52,13 +48,8 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 18bc6592-03a6-4e29-a83a-7ff23bde13ba(jetbrains.mps.lang.editor) - - 2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design) - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - - - + @@ -67,17 +58,17 @@ - - + + - + - + - + @@ -88,11 +79,11 @@ - + diff --git a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/behavior.mps b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/behavior.mps index 8546073b..d9641a8a 100644 --- a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/behavior.mps +++ b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/behavior.mps @@ -2,7 +2,7 @@ - + diff --git a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/constraints.mps b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/constraints.mps index 0faa0df2..80059984 100644 --- a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/constraints.mps +++ b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps index 829adeae..49ed17bf 100644 --- a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps +++ b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps @@ -2,7 +2,7 @@ - + @@ -86,7 +86,7 @@ - + @@ -148,7 +148,7 @@ - + diff --git a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps index f63fedcd..4a859dac 100644 --- a/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps +++ b/typechecking/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps @@ -86,13 +86,13 @@ - + @@ -276,7 +276,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/jetbrains.mps.lang.typesystem2.sample.test.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/jetbrains.mps.lang.typesystem2.sample.test.msd index 79e1c6b9..ef0c1d28 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/jetbrains.mps.lang.typesystem2.sample.test.msd +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/jetbrains.mps.lang.typesystem2.sample.test.msd @@ -16,19 +16,16 @@ 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) - - + - - - + @@ -42,9 +39,9 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad@tests.mps index b290124b..207ad83c 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad@tests.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad@tests.mps @@ -3,8 +3,8 @@ - - + + @@ -60,7 +60,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds@tests.mps index 68f98753..7f4fd518 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds@tests.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/bounds@tests.mps @@ -4,8 +4,8 @@ - - + + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/codeAnal@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/codeAnal@tests.mps index a95034a1..2a747b03 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/codeAnal@tests.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/codeAnal@tests.mps @@ -4,7 +4,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/helloWorld@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/helloWorld@tests.mps index f71926b6..52df2d15 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/helloWorld@tests.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/helloWorld@tests.mps @@ -4,7 +4,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics@tests.mps index 79e854c6..dd2a0863 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics@tests.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics@tests.mps @@ -4,7 +4,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/slice@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/slice@tests.mps index d970dbb5..5725929b 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/slice@tests.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/slice@tests.mps @@ -4,7 +4,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample@tests.mps index 41119243..0294c6bc 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample@tests.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample@tests.mps @@ -3,8 +3,8 @@ - - + + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/jetbrains.mps.lang.typesystem2.sample.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/jetbrains.mps.lang.typesystem2.sample.msd index d97dab33..315a7f8d 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/jetbrains.mps.lang.typesystem2.sample.msd +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/jetbrains.mps.lang.typesystem2.sample.msd @@ -10,8 +10,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps index 645c6021..447e6418 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps @@ -2,7 +2,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad.mps index a572a076..7b274945 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad.mps @@ -2,7 +2,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/codeAnal.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/codeAnal.mps index 2d2303a0..1913c45d 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/codeAnal.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/codeAnal.mps @@ -2,7 +2,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/helloWorld.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/helloWorld.mps index d1dfdf3c..d7f195bf 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/helloWorld.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/helloWorld.mps @@ -3,7 +3,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics.mps index 7b95eec3..29a4a9b0 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics.mps @@ -2,7 +2,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/slice.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/slice.mps index e1c4e131..d4f6fd16 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/slice.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/slice.mps @@ -2,7 +2,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/jetbrains.mps.lang.typesystem2.sampleLang.test.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/jetbrains.mps.lang.typesystem2.sampleLang.test.msd index 20fc8d38..5f0e2296 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/jetbrains.mps.lang.typesystem2.sampleLang.test.msd +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/jetbrains.mps.lang.typesystem2.sampleLang.test.msd @@ -16,15 +16,14 @@ b189d6c6-9397-4d64-88af-1ac73760a4f5(jetbrains.mps.logic.test) - - + - + @@ -35,9 +34,9 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/models/jetbrains/mps/lang/typesystem2/sampleLang/test/types@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/models/jetbrains/mps/lang/typesystem2/sampleLang/test/types@tests.mps index 039f6cb6..8ccc8d81 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/models/jetbrains/mps/lang/typesystem2/sampleLang/test/types@tests.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleLang.test/models/jetbrains/mps/lang/typesystem2/sampleLang/test/types@tests.mps @@ -5,9 +5,9 @@ - + - + @@ -265,9 +265,12 @@ + + + - + @@ -596,10 +599,12 @@ - + + + @@ -681,10 +686,12 @@ - + + + @@ -766,10 +773,12 @@ - + + + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/jetbrains.mps.lang.typesystem2.samplechecker.build.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/jetbrains.mps.lang.typesystem2.samplechecker.build.msd index 19338593..2e0887cc 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/jetbrains.mps.lang.typesystem2.samplechecker.build.msd +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/jetbrains.mps.lang.typesystem2.samplechecker.build.msd @@ -11,13 +11,12 @@ - + - diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps index 72a19906..c43fbfee 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps @@ -4,7 +4,7 @@ - + @@ -664,12 +664,6 @@ - - - - - - @@ -765,6 +759,16 @@ + + + + + + + + + + @@ -1940,12 +1944,6 @@ - - - - - - @@ -2041,6 +2039,16 @@ + + + + + + + + + + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/jetbrains.mps.lang.typesystem2.samplechecker.handler.util.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/jetbrains.mps.lang.typesystem2.samplechecker.handler.util.msd index f64962ac..088a15bf 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/jetbrains.mps.lang.typesystem2.samplechecker.handler.util.msd +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/jetbrains.mps.lang.typesystem2.samplechecker.handler.util.msd @@ -12,12 +12,8 @@ ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) - - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - - - + @@ -26,7 +22,7 @@ - + @@ -36,8 +32,8 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps index 0b8f54e7..fa334b6f 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps @@ -4,9 +4,9 @@ - + - + @@ -170,8 +170,8 @@ - + @@ -734,10 +734,12 @@ - + + + @@ -758,10 +760,12 @@ - + + + @@ -787,10 +791,12 @@ - + + + @@ -939,10 +945,12 @@ - + + + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/jetbrains.mps.lang.typesystem2.samplechecker.test.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/jetbrains.mps.lang.typesystem2.samplechecker.test.msd index 1212e450..c9cccf97 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/jetbrains.mps.lang.typesystem2.samplechecker.test.msd +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/jetbrains.mps.lang.typesystem2.samplechecker.test.msd @@ -19,13 +19,8 @@ 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - 2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design) - - - + @@ -36,7 +31,7 @@ - + @@ -50,10 +45,10 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/models/jetbrains/mps/lang/typesystem2/samplechecker/test/type@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/models/jetbrains/mps/lang/typesystem2/samplechecker/test/type@tests.mps index b767e4f6..3d3420c3 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/models/jetbrains/mps/lang/typesystem2/samplechecker/test/type@tests.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/models/jetbrains/mps/lang/typesystem2/samplechecker/test/type@tests.mps @@ -6,8 +6,8 @@ - - + + @@ -164,7 +164,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd index a5cd7453..042b7661 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd @@ -24,13 +24,8 @@ bfbdd672-7ff5-403f-af4f-16da5226f34c(jetbrains.mps.findUsages.runtime) 274c9cfa-1024-4444-904c-f2f1383a35da(jetbrains.mps.lang.typesystem2.helper) - - 2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design) - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - - - + @@ -43,7 +38,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps index bda6ddea..8ff48ff9 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps @@ -9,8 +9,8 @@ - - + + @@ -95,7 +95,6 @@ - @@ -579,9 +578,12 @@ + + + - + @@ -4947,10 +4949,12 @@ - + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl b/typesystem2/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl index 26553401..d5520fd8 100644 --- a/typesystem2/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl +++ b/typesystem2/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl @@ -18,13 +18,8 @@ 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) 2bdcefec-ba49-4b32-ab50-ebc7a41d5090(jetbrains.mps.lang.smodel#1139186730696) - - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - a2eb3a43-fcc2-4200-80dc-c60110c4862d(jetbrains.mps.devkit.templates) - - - + @@ -36,7 +31,7 @@ - + @@ -46,11 +41,10 @@ - - + @@ -82,12 +76,8 @@ - - 2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design) - - - + @@ -96,13 +86,13 @@ - - + + - + - + @@ -113,7 +103,7 @@ - + @@ -125,10 +115,10 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/behavior.mps b/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/behavior.mps index afed81da..b400b19f 100644 --- a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/behavior.mps +++ b/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/behavior.mps @@ -2,7 +2,7 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/constraints.mps b/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/constraints.mps index 6feff073..861d74ca 100644 --- a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/constraints.mps +++ b/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/editor.mps b/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/editor.mps index bc401196..faf74c7a 100644 --- a/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/editor.mps +++ b/typesystem2/languages/jetbrains.mps.lang.smodel.types/models/editor.mps @@ -2,7 +2,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 3482d3e6..2fb56416 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 @@ -8,7 +8,7 @@ - + @@ -559,8 +559,8 @@ - + @@ -1704,8 +1704,10 @@ - + + + @@ -1739,8 +1741,10 @@ - + + + @@ -2174,8 +2178,10 @@ - + + + @@ -2469,8 +2475,10 @@ - + + + @@ -2814,11 +2822,13 @@ - + + + @@ -3088,10 +3098,12 @@ - + + + @@ -3149,10 +3161,12 @@ - + + + @@ -3827,10 +3841,12 @@ - + + + @@ -3861,10 +3877,12 @@ - + + + @@ -5188,8 +5206,10 @@ - + + + @@ -5646,8 +5666,10 @@ - + + + @@ -5912,11 +5934,13 @@ - + + + @@ -6262,13 +6286,15 @@ - + + + @@ -6796,7 +6822,6 @@ - @@ -6806,6 +6831,9 @@ + + + @@ -6948,8 +6976,10 @@ - + + + @@ -6963,19 +6993,23 @@ - - + + + + + + @@ -7379,13 +7413,15 @@ - + + + @@ -8472,7 +8508,6 @@ - @@ -8484,6 +8519,9 @@ + + + @@ -8589,7 +8627,6 @@ - @@ -8601,6 +8638,9 @@ + + + @@ -8730,13 +8770,15 @@ - + + + @@ -15995,13 +16037,15 @@ - + + + @@ -16020,13 +16064,15 @@ - + + + @@ -17190,8 +17236,10 @@ - + + + @@ -18671,11 +18719,13 @@ - + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl b/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl index 4b46f583..5bca08fc 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl @@ -29,13 +29,8 @@ 96ee7a94-411d-4cf8-9b94-96cad7e52411(jetbrains.mps.baseLanguage.jdk7) 9c4ae21e-62e0-4110-95b7-191b357a42d2(jetbrains.mps.lang.typesystem2.samplechecker.handler.util) - - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - a2eb3a43-fcc2-4200-80dc-c60110c4862d(jetbrains.mps.devkit.templates) - - - + @@ -51,10 +46,11 @@ - + + @@ -63,18 +59,17 @@ - + - @@ -84,6 +79,7 @@ + @@ -108,12 +104,8 @@ 7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel) 3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations) - - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - 2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design) - - + @@ -126,14 +118,14 @@ - + - + - + - + @@ -145,11 +137,12 @@ - + + @@ -163,7 +156,6 @@ - @@ -172,7 +164,6 @@ - diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps index cff884a3..6655124b 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps @@ -2,7 +2,7 @@ - + @@ -20,7 +20,6 @@ - @@ -168,8 +167,8 @@ - + @@ -403,13 +402,15 @@ - + + + @@ -427,13 +428,15 @@ - + + + @@ -487,13 +490,15 @@ - + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps index 272b9691..ad3240f5 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps @@ -2,7 +2,7 @@ - + @@ -22,9 +22,6 @@ - - - @@ -116,7 +113,7 @@ - + @@ -141,9 +138,10 @@ - + + @@ -202,72 +200,74 @@ - - - - + + + + - + - - - - - + + + + + - + - - - - + + + + - + - - - - + + + + - + - + - - + + - - - + + + - + - - - - + + + + - - - + + + + + - + @@ -286,74 +286,76 @@ - - - - + + + + - + - - - - - + + + + + - + - - + + - - + + - - - - - - + + + + + + - + - + - + - - - - - - + + + + + + - - - - - - - + + + + + + + + + - + - + @@ -361,49 +363,51 @@ - - - + + + - - + + - - - - - - + + + + + + - - - - - - + + + + + + - - - + + + + + - + - + - + - + @@ -411,58 +415,62 @@ - - - - + + + + - - - + + + + + - + - + - + - - - - + + + + - - + + - - + + - - - + + + - + - - - - + + + + - - - + + + + + - + @@ -482,19 +490,19 @@ - - - - + + + + - + - - - - - + + + + + @@ -502,47 +510,49 @@ - - - - - - + + + + + + - - + + - - - + + + - + - - - - + + + + - + - - - - + + + + - - - - + + + - + + + + @@ -551,19 +561,19 @@ - + - - - + + + - + - - - - - + + + + + @@ -580,52 +590,54 @@ - - - - - - + + + + + + - - - - - - + + + + + + - + - + - - + + - - - + + + - + - - - - + + + + - - - + + + + + - + @@ -645,52 +657,54 @@ - - - - - - + + + + + + - - - - - - + + + + + + - + - + - - + + - - - + + + - + - - - - + + + + - - - + + + + + - + @@ -710,15 +724,18 @@ - - - - - + + + + + - - - + + + + + + @@ -733,60 +750,62 @@ - - - - - - + + + + + + - - + + - - - + + + - + - - - - + + + + - - - + + + + + - + - - - - - - - + + + + + + + - + - + - + @@ -803,78 +822,80 @@ - - - - + + + + - + - - - - - - + + + + + + - + - + - - - - + + + + - - - - - + + + + + - + - + - + - - + + - - - + + + - + - - - - + + + + - - - + + + + + - + @@ -925,52 +946,54 @@ - - - - - - + + + + + + - - - - - - + + + + + + - + - + - - + + - - - + + + - + - - - - + + + + - - - + + + + + - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps index f66161cf..4b42a806 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps @@ -3,8 +3,8 @@ - - + + @@ -19,7 +19,6 @@ - @@ -76,9 +75,6 @@ - - - @@ -117,9 +113,6 @@ - - - @@ -486,7 +479,6 @@ - @@ -502,6 +494,7 @@ + @@ -511,13 +504,6 @@ - - - - - - - @@ -2538,7 +2524,7 @@ - + @@ -2921,7 +2907,7 @@ - + @@ -3879,16 +3865,6 @@ - - - - - - - - - - @@ -4471,6 +4447,7 @@ + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/findUsages.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/findUsages.mps index e56d6605..435011c1 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/findUsages.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/findUsages.mps @@ -87,8 +87,8 @@ - + @@ -187,13 +187,15 @@ - + + + @@ -207,10 +209,12 @@ - + + + @@ -395,13 +399,15 @@ - + + + @@ -492,13 +498,15 @@ - + + + @@ -512,10 +520,12 @@ - + + + @@ -560,13 +570,15 @@ - + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/intentions.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/intentions.mps index 1ffac6ca..928a2383 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/intentions.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/intentions.mps @@ -6,10 +6,10 @@ - + - - + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps index 4d81bd10..5dcf584a 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps @@ -2,7 +2,7 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps index 62608de4..0f47c059 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps @@ -172,8 +172,8 @@ - + @@ -258,13 +258,15 @@ - + + + @@ -434,7 +436,6 @@ - @@ -477,6 +478,9 @@ + + + @@ -517,10 +521,12 @@ - + + + @@ -562,7 +568,6 @@ - @@ -605,6 +610,9 @@ + + + @@ -661,10 +669,12 @@ - + + + @@ -718,10 +728,12 @@ - + + + @@ -1016,10 +1028,12 @@ - + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/util.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/util.mps index 8db05d91..49d0546b 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/util.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/util.mps @@ -3,7 +3,7 @@ - + @@ -15,7 +15,7 @@ - + @@ -144,6 +144,9 @@ + + + @@ -176,8 +179,8 @@ - + @@ -196,6 +199,7 @@ + @@ -213,7 +217,6 @@ - @@ -695,10 +698,12 @@ - + + + @@ -749,27 +754,25 @@ - - + + + - - - + + - + + - - - - + @@ -1016,10 +1019,12 @@ - + + + @@ -1309,10 +1314,12 @@ - + + + @@ -1402,7 +1409,6 @@ - @@ -1443,6 +1449,9 @@ + + + @@ -1539,10 +1548,12 @@ - + + + @@ -1681,7 +1692,6 @@ - @@ -1690,6 +1700,9 @@ + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd index 25366979..b504b890 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd @@ -17,19 +17,15 @@ 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 274c9cfa-1024-4444-904c-f2f1383a35da(jetbrains.mps.lang.typesystem2.helper) - - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - - - + - + @@ -42,9 +38,9 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps index f94c281d..d6c0a104 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps @@ -2,10 +2,10 @@ - + - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps index 8d32be4d..2cc1316c 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps @@ -2,9 +2,9 @@ - + - + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.helper/jetbrains.mps.lang.typesystem2.helper.msd b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.helper/jetbrains.mps.lang.typesystem2.helper.msd index 155f23bc..c183c1e3 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.helper/jetbrains.mps.lang.typesystem2.helper.msd +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.helper/jetbrains.mps.lang.typesystem2.helper.msd @@ -12,19 +12,16 @@ 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) - - + - - diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.helper/models/jetbrains/mps/lang/typesystem2/helper/plugin.mps b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.helper/models/jetbrains/mps/lang/typesystem2/helper/plugin.mps index 98e4e1bc..6e4435be 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.helper/models/jetbrains/mps/lang/typesystem2/helper/plugin.mps +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.helper/models/jetbrains/mps/lang/typesystem2/helper/plugin.mps @@ -2,7 +2,7 @@ - + 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 6db4e696..ceec7571 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 @@ -16,14 +16,13 @@ f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) - - + - + @@ -33,8 +32,8 @@ - + 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 3a3e8f9d..a271a683 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 @@ -2,8 +2,8 @@ - - + + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/template.mps b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/template.mps index 0f76f94f..ef69a912 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/template.mps +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/template.mps @@ -5,8 +5,8 @@ - - + + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/type.mps b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/type.mps index 1df86ada..629e5f8d 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/type.mps +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/type.mps @@ -3,8 +3,8 @@ - - + + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test.msd b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test.msd index da21c120..abcbd4d9 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test.msd +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test.msd @@ -18,15 +18,14 @@ ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template) - - + - + @@ -38,8 +37,8 @@ - + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/models/jetbrains/mps/lang/typesystem2/typechecking@tests.mps b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/models/jetbrains/mps/lang/typesystem2/typechecking@tests.mps index d15f7daf..b6999609 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/models/jetbrains/mps/lang/typesystem2/typechecking@tests.mps +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/models/jetbrains/mps/lang/typesystem2/typechecking@tests.mps @@ -4,9 +4,9 @@ - + - + @@ -163,7 +163,7 @@ - +