From 79b08c6f838291f937bfaec4dacb7d4af5a8eed9 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 26 Jul 2019 15:30:30 +0200 Subject: [PATCH] Revert "Apply migrations from EAP3 and rebuild project." This reverts commit 9c5bf858c320fcc65c4ebead3f1e45aaa0845d6b. --- build.xml | 7 - .../generator/template/main@generator.mps | 106 ++-- .../jetbrains.mps.lang.coderules.mpl | 42 +- .../languageModels/constraints.mps | 4 +- .../languageModels/editor.mps | 159 +++--- .../languageModels/intentions.mps | 14 +- .../languageModels/migration.mps | 32 +- .../languageModels/structure.mps | 482 +++++++----------- .../languageModels/typesystem.mps | 6 +- .../languageModels/util.mps | 4 +- .../jetbrains.mps.lang.coderules.runtime.msd | 4 +- .../jetbrains.mps.lang.coderules.eval.mps | 6 +- .../jetbrains.mps.lang.coderules.program.mps | 4 +- .../jetbrains.mps.lang.controlflow.mpl | 32 +- .../models/constraints.mps | 2 +- .../models/editor.mps | 2 +- .../models/structure.mps | 2 +- .../models/typesystem.mps | 2 +- .../jetbrains.mps.lang.smodel.types.mpl | 38 +- .../models/editor.mps | 2 +- .../generator/template/main@generator.mps | 6 +- .../jetbrains.mps.lang.typechecking.mpl | 32 +- .../models/constraints.mps | 2 +- .../models/editor.mps | 2 +- .../models/plugin.mps | 2 +- .../models/structure.mps | 6 +- .../models/typesystem.mps | 6 +- .../generator/template/main@generator.mps | 22 +- .../jetbrains.mps.logic.mpl | 42 +- .../languageModels/behavior.mps | 2 +- .../languageModels/constraints.mps | 4 +- .../languageModels/editor.mps | 72 +-- .../languageModels/intentions.mps | 6 +- .../jetbrains.mps.logic.enumMigration.mps | 274 ---------- .../languageModels/migration.mps | 8 +- .../languageModels/structure.mps | 197 +++---- .../languageModels/typesystem.mps | 22 +- .../runtime/jetbrains.mps.logic.runtime.msd | 6 +- .../models/jetbrains.mps.logic.predicate.mps | 2 +- .../jetbrains.mps.typechecking.annotation.mpl | 20 +- .../languageModels/editor.mps | 4 +- .../languageModels/intentions.mps | 4 +- .../jetbrains.mps.typechecking.testlang.mpl | 34 +- .../models/constraints.mps | 2 +- .../models/editor.mps | 6 +- .../models/structure.mps | 16 +- .../models/types.mps | 22 +- .../models/typesystem.mps | 2 +- .../jetbrains.mps.coderules.build.msd | 2 +- .../models/jetbrains.mps.coderules.build.mps | 6 +- .../jetbrains.mps.coderules.test.msd | 6 +- .../models/modelcheck@tests.mps | 4 +- ...brains.mps.coderules.typechecking.test.msd | 10 +- ...tbrains.mps.coderules.scheduling@tests.mps | 2 +- ...rains.mps.coderules.typechecking@tests.mps | 38 +- ...oderules.typechecking.testlang.sandbox.msd | 2 +- ...etbrains.mps.coderules.typechecking.ui.msd | 6 +- ...s.mps.coderules.typechecking.ui.plugin.mps | 10 +- .../jetbrains.mps.coderules.typechecking.msd | 6 +- .../jetbrains.mps.coderules.typechecking.mps | 2 +- ...ains.mps.coderules.typechecking.plugin.mps | 8 +- ...ins.mps.coderules.typechecking.service.mps | 16 +- .../jetbrains.mps.coderules.ui.msd | 6 +- .../models/plugin.mps | 8 +- .../jetbrains.mps.coderules.msd | 6 +- .../jetbrains.mps.coderules/models/plugin.mps | 2 +- .../models/service.mps | 6 +- .../jetbrains.mps.controlflow.ui.msd | 6 +- .../models/plugin.mps | 9 +- .../jetbrains.mps.controlflow.msd | 4 +- .../models/service.mps | 2 +- .../jetbrains.mps.lang.coderules.template.msd | 4 +- .../jetbrains.mps.lang.coderules.aspect.mps | 4 +- .../jetbrains.mps.lang.coderules.macro.mps | 2 +- .../jetbrains.mps.lang.coderules.template.mps | 2 +- ...jetbrains.mps.lang.controlflow.runtime.msd | 4 +- .../jetbrains.mps.lang.controlflow.aspect.mps | 2 +- ...etbrains.mps.lang.typechecking.runtime.msd | 4 +- ...jetbrains.mps.lang.typechecking.aspect.mps | 2 +- .../jetbrains.mps.logic.reactor.msd | 2 +- .../jetbrains.mps.logic.test.msd | 6 +- .../mps/logic/test/logical@tests.mps | 2 +- .../jetbrains.mps.reporting.runtime.msd | 4 +- ...tbrains.mps.lang.typesystem2.reporting.mps | 2 +- samples/fitch/build.xml | 113 ++-- .../models/constraints.mps | 2 +- .../models/editor.mps | 2 +- .../models/structure.mps | 10 +- .../models/types.mps | 4 +- .../models/typesystem.mps | 2 +- .../samples.fitch.firstOrderLogic.mpl | 36 +- .../models/constraints.mps | 2 +- .../models/editor.mps | 29 +- .../models/structure.mps | 26 +- .../models/types.mps | 6 +- .../models/typesystem.mps | 2 +- .../samples.fitch.herbrandLogic.mpl | 36 +- .../models/constraints.mps | 4 +- .../models/editor.mps | 18 +- .../models/structure.mps | 30 +- .../models/types.mps | 2 +- .../models/typesystem.mps | 2 +- .../samples.fitch.propositionalLogic.mpl | 36 +- .../samples.fitch/models/constraints.mps | 2 +- .../languages/samples.fitch/models/editor.mps | 2 +- .../samples.fitch/models/migration.mps | 2 +- .../samples.fitch/models/structure.mps | 27 +- .../languages/samples.fitch/models/types.mps | 4 +- .../samples.fitch/models/typesystem.mps | 2 +- .../languages/samples.fitch/samples.fitch.mpl | 38 +- .../models/samples.fitch.build.mps | 2 +- .../samples.fitch.build.msd | 2 +- .../models/firstOrderLogic@tests.mps | 4 +- .../models/herbrandLogic@tests.mps | 4 +- .../models/propositionalLogic@tests.mps | 4 +- .../samples.fitch.demo/samples.fitch.demo.msd | 6 +- samples/lambdacalc/build.xml | 69 +-- .../samples.lambdacalc/models/constraints.mps | 2 +- .../samples.lambdacalc/models/editor.mps | 8 +- .../samples.lambdacalc/models/structure.mps | 149 +++--- .../samples.lambdacalc/models/types.mps | 13 +- .../samples.lambdacalc/samples.lambdacalc.mpl | 24 +- .../models/samples.lamdacalc.build.mps | 2 +- .../samples.lambdacalc.build.msd | 2 +- .../models/samples.lambdacalc.demo@tests.mps | 4 +- .../samples.lambdacalc.demo.msd | 6 +- samples/mpscore/build.xml | 74 +-- .../jetbrains.mps.baseLanguageExt.mpl | 16 +- .../models/controlflow.mps | 14 +- .../jetbrains.mps.baseLanguageExt.editor.mps | 2 +- .../jetbrains.mps.baseLanguageExt.types.mps | 33 +- .../jetbrains.mps.baseLanguageExt.test.msd | 6 +- ...s.mps.baseLanguageExt.test.types@tests.mps | 4 +- .../models/samples.mpscore.build.mps | 4 +- .../samples.mpscore.build.msd | 2 +- .../models/bounds.bad@tests.mps | 4 +- .../models/bounds@tests.mps | 4 +- .../models/codeAnal@tests.mps | 6 +- .../models/features@tests.mps | 4 +- .../models/helloWorld@tests.mps | 4 +- .../models/simpleGenerics@tests.mps | 4 +- .../models/slice@tests.mps | 4 +- .../typechecking.samples.baseLanguage.msd | 8 +- 143 files changed, 1193 insertions(+), 1720 deletions(-) delete mode 100644 coderules/languages/jetbrains.mps.logic/languageModels/jetbrains.mps.logic.enumMigration.mps diff --git a/build.xml b/build.xml index 38ea90ad..6323f842 100644 --- a/build.xml +++ b/build.xml @@ -4425,7 +4425,6 @@ - @@ -4499,7 +4498,6 @@ - @@ -4617,7 +4615,6 @@ - @@ -4667,7 +4664,6 @@ - @@ -5065,7 +5061,6 @@ - @@ -5131,7 +5126,6 @@ - @@ -5362,7 +5356,6 @@ - diff --git a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps index c933df54..92020813 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps @@ -2,13 +2,13 @@ - - + + - + - + @@ -16,7 +16,7 @@ - + @@ -528,13 +528,6 @@ - - - - - - - @@ -552,6 +545,9 @@ + + + @@ -600,6 +596,9 @@ + + + @@ -1484,7 +1483,7 @@ - + @@ -2251,13 +2250,10 @@ - - - - - - - + + + + @@ -2934,7 +2930,7 @@ - + @@ -7267,7 +7263,7 @@ - + @@ -7298,7 +7294,7 @@ - + @@ -7656,7 +7652,7 @@ - + @@ -7809,7 +7805,7 @@ - + @@ -7989,7 +7985,7 @@ - + @@ -8333,7 +8329,7 @@ - + @@ -8479,7 +8475,7 @@ - + @@ -8735,7 +8731,7 @@ - + @@ -8831,7 +8827,7 @@ - + @@ -8905,12 +8901,12 @@ - + - + @@ -8998,7 +8994,7 @@ - + @@ -9335,7 +9331,7 @@ - + @@ -9690,7 +9686,7 @@ - + @@ -9787,7 +9783,7 @@ - + @@ -9890,7 +9886,7 @@ - + @@ -11011,7 +11007,7 @@ - + @@ -11384,7 +11380,7 @@ - + @@ -11531,7 +11527,7 @@ - + @@ -12505,7 +12501,7 @@ - + @@ -15785,12 +15781,12 @@ - + - - - + + + @@ -15812,12 +15808,12 @@ - + - - - + + + @@ -15839,12 +15835,12 @@ - + - - - + + + @@ -15860,7 +15856,7 @@ - + @@ -15868,7 +15864,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl index cdc543b3..e0a12992 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl +++ b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl @@ -35,19 +35,19 @@ - - - + + + - + - + - + - + @@ -61,7 +61,6 @@ - @@ -71,7 +70,6 @@ - @@ -116,32 +114,32 @@ - - - + + + - + - - - - + + + + - + - + - + - + - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps index 75a5de3a..b5492e71 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps @@ -2,10 +2,10 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps index 3bde8005..b52636f0 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps @@ -3,7 +3,7 @@ - + @@ -425,10 +425,11 @@ - + + @@ -454,6 +455,14 @@ + + + + + + + + @@ -469,13 +478,6 @@ - - - - - - - @@ -1021,13 +1023,13 @@ - + - + @@ -1036,13 +1038,13 @@ - + - + @@ -1051,13 +1053,13 @@ - + - + @@ -1080,10 +1082,10 @@ - + - + @@ -1149,10 +1151,10 @@ - + - + @@ -1270,7 +1272,7 @@ - + @@ -1451,7 +1453,7 @@ - + @@ -1520,7 +1522,7 @@ - + @@ -1660,7 +1662,7 @@ - + @@ -1767,7 +1769,7 @@ - + @@ -1786,7 +1788,7 @@ - + @@ -2293,7 +2295,7 @@ - + @@ -2398,7 +2400,7 @@ - + @@ -2462,10 +2464,10 @@ - + - + @@ -2500,7 +2502,7 @@ - + @@ -2579,7 +2581,7 @@ - + @@ -2606,7 +2608,7 @@ - + @@ -2657,10 +2659,10 @@ - + - + @@ -2668,7 +2670,7 @@ - + @@ -2716,7 +2718,7 @@ - + @@ -2739,10 +2741,10 @@ - + - + @@ -2750,7 +2752,7 @@ - + @@ -2798,7 +2800,7 @@ - + @@ -2817,10 +2819,10 @@ - + - + @@ -2828,7 +2830,7 @@ - + @@ -2876,7 +2878,7 @@ - + @@ -2950,7 +2952,7 @@ - + @@ -3136,7 +3138,7 @@ - + @@ -3188,7 +3190,7 @@ - + @@ -3472,7 +3474,7 @@ - + @@ -3524,7 +3526,7 @@ - + @@ -3632,7 +3634,7 @@ - + @@ -3889,7 +3891,7 @@ - + @@ -3941,7 +3943,7 @@ - + @@ -4051,7 +4053,7 @@ - + @@ -4248,7 +4250,7 @@ - + @@ -4327,14 +4329,14 @@ - + - + @@ -4385,7 +4387,7 @@ - + @@ -4408,7 +4410,7 @@ - + @@ -4441,7 +4443,7 @@ - + @@ -4578,7 +4580,7 @@ - + @@ -4657,7 +4659,7 @@ - + @@ -4878,7 +4880,7 @@ - + @@ -4941,15 +4943,15 @@ + - - + @@ -4996,17 +4998,18 @@ - + - - - - - - + + + + + + + @@ -5024,21 +5027,19 @@ - - - - - + + + - - + + @@ -5069,7 +5070,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps index 2c2b7657..512ce561 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps @@ -2,14 +2,14 @@ - + - + - + @@ -109,7 +109,9 @@ - + + + @@ -506,7 +508,7 @@ - + @@ -720,7 +722,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps index 57678297..54d8d8b8 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps @@ -2,9 +2,9 @@ - + - + @@ -227,7 +227,7 @@ - + @@ -286,7 +286,7 @@ - + @@ -345,7 +345,7 @@ - + @@ -404,7 +404,7 @@ - + @@ -463,7 +463,7 @@ - + @@ -522,7 +522,7 @@ - + @@ -581,7 +581,7 @@ - + @@ -641,7 +641,7 @@ - + @@ -701,7 +701,7 @@ - + @@ -760,7 +760,7 @@ - + @@ -821,7 +821,7 @@ - + @@ -881,7 +881,7 @@ - + @@ -941,7 +941,7 @@ - + @@ -1000,7 +1000,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps index 09516004..dc8fb26d 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps @@ -2,7 +2,7 @@ - + @@ -14,18 +14,6 @@ - - - - - - - - - - - - @@ -33,20 +21,12 @@ - - - - + - - - - - - + @@ -106,21 +86,22 @@ + - + - + - + - + @@ -141,17 +122,17 @@ - + - + - + - + @@ -184,9 +165,9 @@ - + - + @@ -205,15 +186,16 @@ + - + - + - + @@ -229,9 +211,9 @@ - + - + @@ -260,8 +242,9 @@ + - + @@ -273,16 +256,16 @@ - + - + - + - + @@ -321,15 +304,16 @@ + - + - + - + @@ -342,7 +326,7 @@ - + @@ -369,9 +353,9 @@ - + - + @@ -392,9 +376,9 @@ - + - + @@ -420,7 +404,7 @@ - + @@ -436,9 +420,9 @@ - + - + @@ -456,22 +440,23 @@ - + - + - + - + - + + @@ -509,9 +494,9 @@ - + - + @@ -523,17 +508,17 @@ - + - + - + - + @@ -552,15 +537,15 @@ - + - + - + @@ -583,14 +568,14 @@ - + - + - + @@ -611,8 +596,9 @@ + - + @@ -643,9 +629,9 @@ - + - + @@ -665,8 +651,9 @@ + - + @@ -681,23 +668,24 @@ + - + - + - + - + - + @@ -708,15 +696,16 @@ + - + - + - + @@ -732,9 +721,9 @@ - + - + @@ -746,20 +735,21 @@ + - + - + - + - + @@ -774,9 +764,9 @@ - + - + @@ -795,9 +785,9 @@ - + - + @@ -808,9 +798,9 @@ - + - + @@ -822,16 +812,16 @@ - + - + - + - + @@ -850,9 +840,9 @@ - + - + @@ -866,9 +856,9 @@ - + - + @@ -879,9 +869,9 @@ - + - + @@ -901,8 +891,9 @@ + - + @@ -914,9 +905,9 @@ - + - + @@ -930,9 +921,9 @@ - + - + @@ -947,23 +938,23 @@ - + - + - + - + - + - + @@ -979,22 +970,22 @@ - + - + - + - + @@ -1017,29 +1008,29 @@ - + - + - + - + - + - + - + - + @@ -1059,9 +1050,9 @@ - + - + @@ -1073,9 +1064,9 @@ - + - + @@ -1085,9 +1076,9 @@ - + - + @@ -1100,26 +1091,35 @@ - - + - - - - - - - - + + - + - + + + + + + + + + + + + + + + + + @@ -1129,16 +1129,16 @@ - + - + - + - + @@ -1150,9 +1150,9 @@ - + - + @@ -1184,24 +1184,24 @@ - + - + - + - + - + - + @@ -1224,9 +1224,9 @@ - + - + @@ -1237,8 +1237,9 @@ + - + @@ -1250,9 +1251,9 @@ - + - + @@ -1277,27 +1278,46 @@ - + - + - - + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1306,122 +1326,14 @@ - + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps index f2984741..58a27d5e 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps @@ -111,7 +111,9 @@ - + + + @@ -1395,7 +1397,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps index 015b1bfa..152cd4d0 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps @@ -5,8 +5,8 @@ - - + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd b/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd index eb3b749c..24bde774 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd @@ -23,9 +23,9 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps index 3eee106a..2e1bf118 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps @@ -4,7 +4,7 @@ - + @@ -13,7 +13,7 @@ - + @@ -1069,7 +1069,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps index 78d29a51..6ee8ed35 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps @@ -4,10 +4,10 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl b/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl index 14573c23..d8a9e25b 100644 --- a/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl +++ b/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl @@ -29,15 +29,15 @@ - - - + + + - + - + @@ -54,7 +54,6 @@ - @@ -68,7 +67,6 @@ - @@ -107,21 +105,21 @@ - - - + + + - + - + - + - - + + - + @@ -136,7 +134,6 @@ - @@ -144,7 +141,6 @@ - diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps index 983a9eaf..4116ee75 100644 --- a/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.controlflow/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/editor.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/editor.mps index b6d42d74..64313c52 100644 --- a/coderules/languages/jetbrains.mps.lang.controlflow/models/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.controlflow/models/editor.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps index 9204b975..e12f6dd7 100644 --- a/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps +++ b/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/typesystem.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/typesystem.mps index 336fcd1c..610ddb49 100644 --- a/coderules/languages/jetbrains.mps.lang.controlflow/models/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.controlflow/models/typesystem.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl b/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl index 3414c444..0c651b14 100644 --- a/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl +++ b/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl @@ -22,14 +22,14 @@ - - - + + + - + - + @@ -44,13 +44,11 @@ - - @@ -84,29 +82,29 @@ - - - + + + - + - - - + + + - - + + - - + + - + @@ -118,13 +116,11 @@ - - diff --git a/coderules/languages/jetbrains.mps.lang.smodel.types/models/editor.mps b/coderules/languages/jetbrains.mps.lang.smodel.types/models/editor.mps index a18f3385..80aa8564 100644 --- a/coderules/languages/jetbrains.mps.lang.smodel.types/models/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.smodel.types/models/editor.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps index 6813f804..6f8e66bb 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps @@ -3,9 +3,9 @@ - - - + + + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl b/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl index 179b450b..38693a90 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl +++ b/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl @@ -37,15 +37,15 @@ - - - + + + - + - + @@ -64,7 +64,6 @@ - @@ -76,7 +75,6 @@ - @@ -118,21 +116,21 @@ - - - + + + - + - + - + - - + + - + @@ -147,14 +145,12 @@ - - diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps index c5931615..8c33f23d 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps index d7e3daaa..1aef9977 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps index 926d681d..d47de6bd 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps @@ -6,7 +6,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps index 0ba10764..d998b795 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps @@ -2,7 +2,7 @@ - + @@ -40,9 +40,9 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps index f99c19fc..c7814162 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps @@ -2,10 +2,10 @@ - + - - + + diff --git a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps index b580079c..fb8c9223 100644 --- a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -2,17 +2,17 @@ - - - - + + + + - + - + @@ -1751,7 +1751,7 @@ - + @@ -1965,7 +1965,7 @@ - + @@ -2527,7 +2527,7 @@ - + @@ -2537,7 +2537,7 @@ - + @@ -2965,7 +2965,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl index 1a200acc..e108fbf9 100644 --- a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -28,17 +28,17 @@ - - - + + + - - - - + + + + - + @@ -101,32 +101,32 @@ - - - + + + - + - - - - + + + + - + - + - + - + - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps index 8d126406..e8638c71 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps @@ -5,7 +5,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps index bb730853..b2d8a589 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps @@ -3,9 +3,9 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps index bb0012ba..b6ff2473 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -3,13 +3,13 @@ - + - + - + @@ -676,7 +676,7 @@ - + @@ -799,7 +799,7 @@ - + @@ -961,7 +961,7 @@ - + @@ -982,7 +982,7 @@ - + @@ -1033,7 +1033,7 @@ - + @@ -1050,7 +1050,7 @@ - + @@ -1139,7 +1139,7 @@ - + @@ -1159,7 +1159,7 @@ - + @@ -2429,10 +2429,10 @@ - + - + @@ -2440,7 +2440,7 @@ - + @@ -2472,7 +2472,7 @@ - + @@ -2505,10 +2505,10 @@ - + - + @@ -2516,7 +2516,7 @@ - + @@ -2538,10 +2538,10 @@ - + - + @@ -2549,7 +2549,7 @@ - + @@ -2572,10 +2572,10 @@ - + - + @@ -2583,7 +2583,7 @@ - + @@ -2631,7 +2631,7 @@ - + @@ -2651,10 +2651,10 @@ - + - + @@ -2662,7 +2662,7 @@ - + @@ -2710,7 +2710,7 @@ - + @@ -3141,7 +3141,7 @@ - + @@ -3181,7 +3181,7 @@ - + @@ -3232,7 +3232,7 @@ - + @@ -3410,7 +3410,7 @@ - + @@ -3697,7 +3697,7 @@ - + @@ -3756,7 +3756,7 @@ - + @@ -3769,7 +3769,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps index c4849796..c7081cb4 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps @@ -2,8 +2,8 @@ - - + + @@ -98,7 +98,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/jetbrains.mps.logic.enumMigration.mps b/coderules/languages/jetbrains.mps.logic/languageModels/jetbrains.mps.logic.enumMigration.mps deleted file mode 100644 index c1446cda..00000000 --- a/coderules/languages/jetbrains.mps.logic/languageModels/jetbrains.mps.logic.enumMigration.mps +++ /dev/null @@ -1,274 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps index 8e94815f..93d6ef86 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps @@ -2,9 +2,9 @@ - + - + @@ -124,7 +124,7 @@ - + @@ -183,7 +183,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps index e5457bdf..a84fb52f 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps @@ -2,7 +2,7 @@ - + @@ -11,15 +11,6 @@ - - - - - - - - - @@ -27,19 +18,12 @@ - - - - + + - - - - - - + @@ -96,9 +80,9 @@ - + - + @@ -111,9 +95,9 @@ - + - + @@ -137,9 +121,9 @@ - + - + @@ -152,9 +136,9 @@ - + - + @@ -172,6 +156,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -201,9 +206,9 @@ - + - + @@ -215,7 +220,7 @@ - + @@ -234,14 +239,15 @@ + - + - + @@ -253,7 +259,7 @@ - + @@ -266,9 +272,9 @@ - + - + @@ -290,9 +296,9 @@ - + - + @@ -302,14 +308,14 @@ - + - + - + @@ -329,9 +335,9 @@ - + - + @@ -344,9 +350,9 @@ - + - + @@ -360,9 +366,9 @@ - + - + @@ -374,9 +380,9 @@ - + - + @@ -389,9 +395,9 @@ - + - + @@ -402,7 +408,7 @@ - + @@ -439,7 +445,7 @@ - + @@ -451,15 +457,16 @@ + - + - + - + @@ -489,15 +496,16 @@ + - + - + - + @@ -508,9 +516,9 @@ - + - + @@ -518,6 +526,7 @@ + @@ -531,9 +540,9 @@ - + - + @@ -547,9 +556,9 @@ - + - + @@ -561,9 +570,9 @@ - + - + @@ -580,59 +589,5 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps index 0ff95758..2ac66145 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps @@ -2,10 +2,10 @@ - + - - + + @@ -98,7 +98,9 @@ - + + + @@ -692,7 +694,7 @@ - + @@ -722,7 +724,7 @@ - + @@ -1034,7 +1036,7 @@ - + @@ -1089,7 +1091,7 @@ - + @@ -1179,7 +1181,7 @@ - + @@ -1306,7 +1308,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd b/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd index d0b71750..15361cf2 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd +++ b/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd @@ -21,10 +21,10 @@ - + - - + + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps index 9a0e0274..d8072f1d 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps +++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps @@ -9,7 +9,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl b/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl index 8f811eac..af174ac1 100644 --- a/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl +++ b/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl @@ -23,21 +23,21 @@ - - - + + + - - + + - - + + - - + + - + diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps index 4958b608..360303e4 100644 --- a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps @@ -2,7 +2,7 @@ - + @@ -207,7 +207,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps index fceaba32..f30c5b84 100644 --- a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps @@ -2,8 +2,8 @@ - - + + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl b/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl index 6414322e..97f76bf0 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl @@ -21,14 +21,14 @@ - - - + + + - + - + @@ -64,32 +64,32 @@ - + - - + + - + - - - + + + - - + + - + - + - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps index 9f09e8cb..1eac715d 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps index a4b511b2..22e5d055 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps @@ -2,7 +2,7 @@ - + @@ -351,7 +351,7 @@ - + @@ -611,7 +611,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps index 1fc9f3e7..682fb266 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps @@ -2,7 +2,7 @@ - + @@ -52,9 +52,9 @@ - + - + @@ -67,9 +67,9 @@ - + - + @@ -93,14 +93,14 @@ - + - + - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps index 3ae18c7e..dd72fdfc 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -2,13 +2,13 @@ - - - - - - - + + + + + + + @@ -77,7 +77,9 @@ - + + + @@ -335,7 +337,7 @@ - + @@ -345,7 +347,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/typesystem.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/typesystem.mps index 8f729c1f..a6fa44f6 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/typesystem.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/typesystem.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.build/jetbrains.mps.coderules.build.msd b/coderules/solutions/jetbrains.mps.coderules.build/jetbrains.mps.coderules.build.msd index 5c3388c8..fbc8948d 100644 --- a/coderules/solutions/jetbrains.mps.coderules.build/jetbrains.mps.coderules.build.msd +++ b/coderules/solutions/jetbrains.mps.coderules.build/jetbrains.mps.coderules.build.msd @@ -18,7 +18,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps index 760c7dd9..15ace368 100644 --- a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps +++ b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps @@ -559,7 +559,7 @@ - + @@ -1156,7 +1156,7 @@ - + @@ -1977,7 +1977,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd b/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd index 6ae4c4e4..9b63e750 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd +++ b/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd @@ -24,11 +24,11 @@ - + - + - + diff --git a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps index 52b1ca72..033b4a0d 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps @@ -2,7 +2,7 @@ - + @@ -289,7 +289,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd index a94bddd9..6195a5e6 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd @@ -29,13 +29,13 @@ - + - - + + - - + + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps index 52c55377..99663deb 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps index d720b462..d0aec07b 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps @@ -2,22 +2,22 @@ - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + @@ -2051,12 +2051,12 @@ - - - + + + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.testlang.sandbox/jetbrains.mps.coderules.typechecking.testlang.sandbox.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking.testlang.sandbox/jetbrains.mps.coderules.typechecking.testlang.sandbox.msd index 164bf682..b68deb44 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.testlang.sandbox/jetbrains.mps.coderules.typechecking.testlang.sandbox.msd +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.testlang.sandbox/jetbrains.mps.coderules.typechecking.testlang.sandbox.msd @@ -7,7 +7,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd index a76c23c2..991bc1a4 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd @@ -32,12 +32,12 @@ - - + + - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps index c201421f..cdc5ffee 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps @@ -9,7 +9,7 @@ - + @@ -3312,27 +3312,27 @@ - + - + - + - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd index afa8561b..9920f07e 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd @@ -29,12 +29,12 @@ - - + + - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps index c611f895..26688e65 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps @@ -3,7 +3,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps index 0ccdde89..a07bcafe 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps @@ -6,7 +6,7 @@ - + @@ -271,7 +271,7 @@ - + @@ -348,7 +348,7 @@ - + @@ -681,7 +681,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps index 9f12b4f6..e2bdead7 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps @@ -2,17 +2,17 @@ - - + + - + - + - - - + + + @@ -1854,7 +1854,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd b/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd index dacb40fc..46292639 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd +++ b/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd @@ -25,12 +25,12 @@ - - + + - + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index dab9b28a..ef3c4864 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps @@ -5,7 +5,7 @@ - + @@ -13,7 +13,7 @@ - + @@ -12475,7 +12475,7 @@ - + @@ -25080,7 +25080,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd index 70a9cbdb..135b4743 100644 --- a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd +++ b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd @@ -33,12 +33,12 @@ - - + + - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps index 9d193a4e..01417557 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps @@ -6,7 +6,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps index 54a89cad..f3ca949f 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps @@ -3,7 +3,7 @@ - + @@ -3775,7 +3775,7 @@ - + @@ -4247,7 +4247,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd b/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd index bc34d9a9..5ee78fa4 100644 --- a/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd +++ b/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd @@ -25,12 +25,12 @@ - - + + - + diff --git a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps index 122717a1..19880847 100644 --- a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps @@ -5,7 +5,7 @@ - + @@ -1946,6 +1946,7 @@ + @@ -1964,14 +1965,14 @@ - + - + @@ -1979,7 +1980,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd index a1766fd5..13c9b3ed 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd +++ b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd @@ -16,9 +16,9 @@ - + - + diff --git a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps index abc05154..96a323bb 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps +++ b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps @@ -3,7 +3,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd b/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd index 66d60fb7..a8da2672 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd @@ -21,9 +21,9 @@ - + - + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps index fb41bdc5..6781d442 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps @@ -3,7 +3,7 @@ - + @@ -938,7 +938,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps index 9b9550a9..8895c295 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps @@ -4,7 +4,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps index 44ce238e..9c19b474 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps @@ -5,7 +5,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd index fbfc27a6..c3033c46 100644 --- a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd +++ b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd @@ -17,9 +17,9 @@ - + - + diff --git a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps index 3fffd23d..3491d0a6 100644 --- a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps +++ b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps @@ -2,7 +2,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd index 1b5633a9..fa4ba856 100644 --- a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd +++ b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd @@ -15,9 +15,9 @@ - + - + diff --git a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps index d65f0366..e0cee6cf 100644 --- a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps +++ b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps @@ -3,7 +3,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd b/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd index 16626bfd..b61807ce 100644 --- a/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd +++ b/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd @@ -19,7 +19,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd b/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd index d9c9b724..afd73da3 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd +++ b/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd @@ -27,10 +27,10 @@ - + - - + + diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps index 33777945..9b292f0f 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps +++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps @@ -4,7 +4,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd b/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd index 1c08103e..77f1e30a 100644 --- a/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd +++ b/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd @@ -16,9 +16,9 @@ - + - + diff --git a/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps b/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps index 631d54e2..372c7414 100644 --- a/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps +++ b/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps @@ -3,7 +3,7 @@ - + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 25700ce5..a6c00d07 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -737,12 +737,8 @@ - - - - @@ -774,33 +770,21 @@ - - - - - - - - - - - - - - - - - - - - + + + + + + + + @@ -857,20 +841,19 @@ + + - - - @@ -897,7 +880,6 @@ - @@ -926,20 +908,19 @@ + + - - - @@ -968,20 +949,19 @@ + + - - - @@ -1009,7 +989,6 @@ - @@ -1038,20 +1017,19 @@ + + - - - @@ -1081,20 +1059,19 @@ + + - - - @@ -1123,7 +1100,6 @@ - @@ -1152,20 +1128,19 @@ + + - - - @@ -1196,20 +1171,19 @@ + + - - - @@ -1237,7 +1211,6 @@ - @@ -1266,20 +1239,19 @@ + + - - - @@ -1312,20 +1284,19 @@ + + - - - @@ -1410,12 +1381,8 @@ - - - - @@ -1444,32 +1411,20 @@ - - - - - - - - - - - - - - - - - - - - + + + + + + + + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps index 786339b7..3ff82d38 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps index 78b2725c..946ffa29 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/structure.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/structure.mps index 27cdbe49..a51ca44a 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/structure.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/structure.mps @@ -2,7 +2,7 @@ - + @@ -100,16 +100,16 @@ - + - + - + - + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps index 65a118fc..55ad8c1f 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps @@ -1314,7 +1314,7 @@ - + @@ -2101,7 +2101,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/typesystem.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/typesystem.mps index 7b348b1d..835f3844 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/typesystem.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/typesystem.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl index 68b6405e..7063e41e 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl @@ -21,14 +21,14 @@ - - - + + + - + - + @@ -66,31 +66,31 @@ - + - - + + - + - - - + + + - - + + - - + + - + @@ -105,7 +105,6 @@ - @@ -114,7 +113,6 @@ - diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps index 9ff50deb..72d0bebc 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/editor.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/editor.mps index 29048f0a..b83c4628 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/editor.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/editor.mps @@ -2,7 +2,7 @@ - + @@ -73,7 +73,9 @@ - + + + @@ -117,6 +119,7 @@ + @@ -200,7 +203,9 @@ - + + + @@ -273,6 +278,7 @@ + @@ -337,6 +343,7 @@ + @@ -421,7 +428,7 @@ - + @@ -581,7 +588,7 @@ - + @@ -591,7 +598,7 @@ - + @@ -664,7 +671,7 @@ - + @@ -749,7 +756,7 @@ - + @@ -801,7 +808,7 @@ - + @@ -1078,7 +1085,9 @@ - + + + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/structure.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/structure.mps index b7d48c6b..89666bd8 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/structure.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/structure.mps @@ -2,7 +2,7 @@ - + @@ -83,9 +83,9 @@ - + - + @@ -104,16 +104,16 @@ - + - + - + - + @@ -129,16 +129,16 @@ - + - + - + - + @@ -154,9 +154,9 @@ - + - + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps index 7f60efcb..d4ad1511 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps @@ -1398,7 +1398,7 @@ - + @@ -2116,7 +2116,7 @@ - + @@ -2751,7 +2751,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/typesystem.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/typesystem.mps index c4ab0fe4..1443dd1b 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/typesystem.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/typesystem.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl index 94248626..cb7e9ac7 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl @@ -21,14 +21,14 @@ - - - + + + - + - + @@ -67,31 +67,31 @@ - + - - + + - + - - - + + + - - + + - - + + - + @@ -107,7 +107,6 @@ - @@ -116,7 +115,6 @@ - diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps index fc9f3bcd..846b07f3 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps @@ -2,10 +2,10 @@ - + - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps index e704ffc3..eda88f39 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps @@ -2,9 +2,9 @@ - + - + @@ -307,7 +307,7 @@ - + @@ -480,7 +480,7 @@ - + @@ -550,7 +550,7 @@ - + @@ -628,7 +628,7 @@ - + @@ -694,7 +694,7 @@ - + @@ -1052,7 +1052,7 @@ - + @@ -1250,7 +1250,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/structure.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/structure.mps index dffc9d61..4677f43d 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/structure.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/structure.mps @@ -2,7 +2,7 @@ - + @@ -53,9 +53,9 @@ - + - + @@ -82,16 +82,16 @@ - + - + - + - + @@ -106,16 +106,16 @@ - + - + - + - + @@ -130,9 +130,9 @@ - + - + @@ -147,9 +147,9 @@ - + - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps index 8c56b742..4c064782 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps @@ -4,7 +4,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/typesystem.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/typesystem.mps index dd2f72e8..e4ea76e8 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/typesystem.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/typesystem.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl index 4397e017..9548403d 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl @@ -21,14 +21,14 @@ - - - + + + - + - + @@ -65,31 +65,31 @@ - + - - + + - + - - - + + + - - + + - - + + - + @@ -105,7 +105,6 @@ - @@ -114,7 +113,6 @@ - diff --git a/samples/fitch/languages/samples.fitch/models/constraints.mps b/samples/fitch/languages/samples.fitch/models/constraints.mps index 23bbdaaf..d1934ce9 100644 --- a/samples/fitch/languages/samples.fitch/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/editor.mps b/samples/fitch/languages/samples.fitch/models/editor.mps index af2ba776..b05f2cc4 100644 --- a/samples/fitch/languages/samples.fitch/models/editor.mps +++ b/samples/fitch/languages/samples.fitch/models/editor.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/migration.mps b/samples/fitch/languages/samples.fitch/models/migration.mps index 5a1da37b..bdf7a0c9 100644 --- a/samples/fitch/languages/samples.fitch/models/migration.mps +++ b/samples/fitch/languages/samples.fitch/models/migration.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/structure.mps b/samples/fitch/languages/samples.fitch/models/structure.mps index e4ece676..4995a78a 100644 --- a/samples/fitch/languages/samples.fitch/models/structure.mps +++ b/samples/fitch/languages/samples.fitch/models/structure.mps @@ -2,7 +2,7 @@ - + @@ -59,9 +59,9 @@ - + - + @@ -75,8 +75,9 @@ + - + @@ -86,9 +87,9 @@ - + - + @@ -114,9 +115,9 @@ - + - + @@ -172,9 +173,9 @@ - + - + @@ -212,15 +213,15 @@ - + - + - + diff --git a/samples/fitch/languages/samples.fitch/models/types.mps b/samples/fitch/languages/samples.fitch/models/types.mps index d5709595..33be87c7 100644 --- a/samples/fitch/languages/samples.fitch/models/types.mps +++ b/samples/fitch/languages/samples.fitch/models/types.mps @@ -321,7 +321,7 @@ - + @@ -447,7 +447,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/typesystem.mps b/samples/fitch/languages/samples.fitch/models/typesystem.mps index f9b92258..136df543 100644 --- a/samples/fitch/languages/samples.fitch/models/typesystem.mps +++ b/samples/fitch/languages/samples.fitch/models/typesystem.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/samples.fitch.mpl b/samples/fitch/languages/samples.fitch/samples.fitch.mpl index 918e510e..4fd5c0d2 100644 --- a/samples/fitch/languages/samples.fitch/samples.fitch.mpl +++ b/samples/fitch/languages/samples.fitch/samples.fitch.mpl @@ -21,14 +21,14 @@ - - - + + + - + - + @@ -65,36 +65,36 @@ - + - - + + - + - - - - + + + + - - + + - + - + - + @@ -109,7 +109,6 @@ - @@ -118,7 +117,6 @@ - diff --git a/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps b/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps index 4694fd45..c8a89d2b 100644 --- a/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps +++ b/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps @@ -308,7 +308,7 @@ - + diff --git a/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd b/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd index 2b81a4fe..5a6c4580 100644 --- a/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd +++ b/samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd @@ -19,7 +19,7 @@ - + diff --git a/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps index 530e9aa5..675bdcb4 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps @@ -2,9 +2,9 @@ - + - + diff --git a/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps index cc7046f7..910e17a4 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps @@ -2,9 +2,9 @@ - + - + diff --git a/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps index d836c7a4..03c0fb8b 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps @@ -2,9 +2,9 @@ - + - + diff --git a/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd b/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd index 0fc326d5..a832380b 100644 --- a/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd +++ b/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd @@ -20,10 +20,10 @@ - + - - + + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index f28df778..87d8ec47 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -258,12 +258,8 @@ - - - - @@ -294,31 +290,21 @@ - - - - - - - - - - - - - - - - - - + + + + + + + + @@ -359,20 +345,19 @@ + + - - - @@ -416,20 +401,19 @@ + + - - - @@ -511,12 +495,8 @@ - - - - @@ -545,29 +525,20 @@ - - - - - - - - - - - - - - - - - + + + + + + + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps index dc8e8261..3605c6ee 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps index fab183ae..36362c91 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps @@ -2,7 +2,7 @@ - + @@ -111,6 +111,7 @@ + @@ -563,7 +564,7 @@ - + @@ -666,7 +667,7 @@ - + @@ -919,6 +920,7 @@ + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps index 0fce40d7..6e28bf6c 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps @@ -80,16 +80,16 @@ - + - + - + - + @@ -108,16 +108,16 @@ - + - + - + - + @@ -128,9 +128,9 @@ - + - + @@ -142,15 +142,16 @@ - + + - + - + @@ -161,16 +162,16 @@ - + - + - + - + @@ -189,9 +190,9 @@ - + - + @@ -206,9 +207,9 @@ - + - + @@ -223,9 +224,9 @@ - + - + @@ -244,16 +245,16 @@ - + - + - + - + @@ -293,8 +294,9 @@ + - + @@ -310,23 +312,23 @@ - + - + - + - + - + - + @@ -345,23 +347,23 @@ - + - + - + - + - + - + @@ -376,9 +378,9 @@ - + - + @@ -393,9 +395,9 @@ - + - + @@ -408,9 +410,9 @@ - + - + @@ -421,8 +423,9 @@ + - + @@ -434,16 +437,16 @@ - + - + - + - + @@ -455,16 +458,16 @@ - + - + - + - + @@ -479,16 +482,16 @@ - + - + - + - + @@ -501,9 +504,9 @@ - + - + @@ -518,22 +521,23 @@ - + - + - + - + + - + @@ -546,15 +550,16 @@ + - + - + - + @@ -566,14 +571,16 @@ + - + + - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index 6822d8d4..ebf1f186 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -3,7 +3,7 @@ - + @@ -190,9 +190,6 @@ - - - @@ -3615,7 +3612,7 @@ - + @@ -3821,7 +3818,7 @@ - + @@ -5491,7 +5488,6 @@ - @@ -5622,7 +5618,6 @@ - @@ -6714,7 +6709,6 @@ - @@ -6726,7 +6720,6 @@ - diff --git a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl index 745a4bc7..14a21357 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl +++ b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl @@ -32,32 +32,32 @@ - + - - + + - + - - - + + + - - + + - + - + - + diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps index e2c62f77..7afbf4dd 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps +++ b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps @@ -175,7 +175,7 @@ - + diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd b/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd index 4873e4ec..32d0b038 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd +++ b/samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd @@ -19,7 +19,7 @@ - + diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps index d727d33a..cc1d50b9 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps @@ -2,9 +2,9 @@ - + - + diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd index 20301771..807faea1 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd @@ -17,10 +17,10 @@ - + - - + + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index c09daaf6..7c9327fd 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -314,12 +314,8 @@ - - - - @@ -349,32 +345,22 @@ - - - - - - - - - - - - - - - - - - + + + + + + + + @@ -416,20 +402,19 @@ + + - - - @@ -483,20 +468,19 @@ + + - - - @@ -545,21 +529,20 @@ + + - - - @@ -642,12 +625,8 @@ - - - - @@ -676,29 +655,20 @@ - - - - - - - - - - - - - - - - - + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl index 5aca8fa0..788b36b0 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl @@ -29,22 +29,22 @@ - + - + - + - - + + - + - + - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps index bf24aa8c..9e85ae7a 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps @@ -627,7 +627,7 @@ - + @@ -750,7 +750,7 @@ - + @@ -822,7 +822,7 @@ - + @@ -974,7 +974,7 @@ - + @@ -1112,7 +1112,7 @@ - + @@ -1231,7 +1231,7 @@ - + @@ -1283,7 +1283,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.editor.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.editor.mps index 055a85f9..4e1d2b98 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.editor.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.editor.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index 28fe2289..186bde94 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -7,14 +7,14 @@ - + - - + + - + @@ -342,9 +342,6 @@ - - - @@ -2613,7 +2610,7 @@ - + @@ -5543,7 +5540,7 @@ - + @@ -6027,7 +6024,7 @@ - + @@ -9174,7 +9171,7 @@ - + @@ -9415,7 +9412,7 @@ - + @@ -16073,7 +16070,7 @@ - + @@ -19501,7 +19498,7 @@ - + @@ -19563,7 +19560,7 @@ - + @@ -19625,7 +19622,7 @@ - + @@ -19687,7 +19684,7 @@ - + @@ -21696,7 +21693,6 @@ - @@ -21752,7 +21748,6 @@ - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd index e6dba203..b4d10125 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd @@ -22,10 +22,10 @@ - + - - + + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps index 0d316e78..1629a8f5 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps @@ -2,12 +2,12 @@ - + - + diff --git a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps index 927734df..3d9bf0f3 100644 --- a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps +++ b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps @@ -258,7 +258,7 @@ - + @@ -310,7 +310,7 @@ - + diff --git a/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd b/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd index f694015e..74af164b 100644 --- a/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd +++ b/samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd @@ -19,7 +19,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps index 458ed22a..b167a216 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps @@ -2,10 +2,10 @@ - + - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps index de68049b..909a10ba 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps @@ -2,10 +2,10 @@ - + - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps index 342ec56b..2f6cbd81 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps @@ -2,13 +2,13 @@ - + - + @@ -279,7 +279,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps index 6c59ed97..4b9154d8 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps @@ -2,9 +2,9 @@ - + - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps index b572ba93..4649b6fb 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps @@ -2,9 +2,9 @@ - + - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps index 5585a50f..6830f991 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/simpleGenerics@tests.mps @@ -2,9 +2,9 @@ - + - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps index b80157b6..06892f2c 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/slice@tests.mps @@ -2,9 +2,9 @@ - + - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd index 1bb5469e..ad39c299 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd @@ -22,12 +22,12 @@ - - + + - - + +