From 14780b5561cbfead980df4a5da95cb83f1c134eb Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sat, 9 May 2020 15:04:25 +0200 Subject: [PATCH] Apply automatic migrations. --- .../generator/template/main@generator.mps | 160 +- .../jetbrains.mps.lang.coderules.mpl | 17 +- .../languageModels/behavior.mps | 2 +- .../languageModels/constraints.mps | 6 +- .../languageModels/editor.mps | 6467 +++++++++-------- .../languageModels/intentions.mps | 8 +- .../jetbrains.mps.lang.coderules.analysis.mps | 87 +- .../languageModels/migration.mps | 2 +- .../languageModels/typesystem.mps | 4 +- .../languageModels/util.mps | 1 - .../jetbrains.mps.lang.coderules.runtime.msd | 2 +- .../jetbrains.mps.lang.coderules.eval.mps | 435 +- ...ns.mps.lang.coderules.program.analysis.mps | 2 +- .../jetbrains.mps.lang.coderules.program.mps | 234 +- .../jetbrains.mps.lang.controlflow.mpl | 16 +- .../models/editor.mps | 2 +- .../generator/template/main@generator.mps | 2 +- .../jetbrains.mps.lang.typechecking.mpl | 16 +- .../models/behavior.mps | 2 +- .../models/constraints.mps | 2 +- .../models/editor.mps | 2 +- .../models/typesystem.mps | 4 +- .../generator/template/main@generator.mps | 2 +- .../jetbrains.mps.logic.mpl | 11 +- .../languageModels/behavior.mps | 6 +- .../languageModels/constraints.mps | 6 +- .../languageModels/editor.mps | 1286 ++-- .../languageModels/migration.mps | 2 +- .../languageModels/typesystem.mps | 20 +- .../runtime/jetbrains.mps.logic.runtime.msd | 5 +- .../models/jetbrains.mps.logic.dataform.mps | 87 +- .../models/jetbrains.mps.logic.predicate.mps | 128 +- .../jetbrains.mps.logic.unification.mps | 12 +- .../jetbrains.mps.typechecking.annotation.mpl | 6 +- .../languageModels/editor.mps | 2 +- .../languageModels/intentions.mps | 2 +- .../jetbrains.mps.typechecking.testlang.mpl | 10 +- .../models/editor.mps | 352 +- .../models/types.mps | 25 +- .../jetbrains.mps.coderules.test.msd | 2 +- .../jetbrains.mps.coderules.aspect@tests.mps | 2 +- .../jetbrains.mps.coderules.plugin@tests.mps | 2 +- .../models/modelcheck@tests.mps | 2 +- ...brains.mps.coderules.typechecking.test.msd | 4 +- ...ins.mps.coderules.incrementality@tests.mps | 16 +- ...tbrains.mps.coderules.scheduling@tests.mps | 112 +- ...s.mps.coderules.typechecking.test.util.mps | 12 +- ...rains.mps.coderules.typechecking@tests.mps | 123 +- ...etbrains.mps.coderules.typechecking.ui.msd | 2 +- ...s.mps.coderules.typechecking.ui.plugin.mps | 6 +- .../jetbrains.mps.coderules.typechecking.msd | 2 +- .../jetbrains.mps.coderules.typechecking.mps | 2 +- ...ains.mps.coderules.typechecking.plugin.mps | 28 +- ...ins.mps.coderules.typechecking.service.mps | 163 +- .../jetbrains.mps.coderules.ui.msd | 2 +- .../models/plugin.mps | 176 +- .../jetbrains.mps.coderules.msd | 2 +- .../jetbrains.mps.coderules/models/plugin.mps | 8 +- .../models/service.mps | 57 +- .../jetbrains.mps.controlflow.ui.msd | 2 +- .../models/plugin.mps | 6 +- .../jetbrains.mps.controlflow.msd | 2 +- .../models/service.mps | 2 +- .../jetbrains.mps.lang.coderules.template.msd | 2 +- .../jetbrains.mps.lang.coderules.aspect.mps | 52 +- .../jetbrains.mps.lang.coderules.template.mps | 36 +- ...jetbrains.mps.lang.controlflow.runtime.msd | 2 +- .../jetbrains.mps.lang.controlflow.aspect.mps | 2 +- ...etbrains.mps.lang.typechecking.runtime.msd | 2 +- ...jetbrains.mps.lang.typechecking.aspect.mps | 2 +- .../jetbrains.mps.logic.reactor.msd | 2 +- .../jetbrains.mps.logic.test.msd | 4 +- .../mps/logic/test/logical@tests.mps | 22 +- .../jetbrains/mps/logic/test/unification.mps | 2 +- .../mps/logic/test/unification@tests.mps | 32 +- .../models/editor.mps | 14 +- .../models/types.mps | 18 +- .../samples.fitch.firstOrderLogic.mpl | 10 +- .../models/editor.mps | 415 +- .../models/types.mps | 16 +- .../samples.fitch.herbrandLogic.mpl | 10 +- .../models/constraints.mps | 2 +- .../models/editor.mps | 246 +- .../models/types.mps | 2 +- .../samples.fitch.propositionalLogic.mpl | 10 +- .../languages/samples.fitch/models/editor.mps | 377 +- .../languages/samples.fitch/models/types.mps | 2 +- .../languages/samples.fitch/samples.fitch.mpl | 10 +- .../samples.fitch.demo/samples.fitch.demo.msd | 2 +- .../samples.lambdacalc/models/constraints.mps | 24 +- .../samples.lambdacalc/models/editor.mps | 774 +- .../samples.lambdacalc/models/types.mps | 230 +- .../samples.lambdacalc/samples.lambdacalc.mpl | 6 +- .../models/samples.lambdacalc.demo@tests.mps | 4 +- .../samples.lambdacalc.demo.msd | 2 +- ...jetbrains.mps.baseLanguage.closuresExt.mpl | 12 +- ...ns.mps.baseLanguage.closuresExt.editor.mps | 2 +- ...ins.mps.baseLanguage.closuresExt.types.mps | 28 +- ...brains.mps.baseLanguage.collectionsExt.mpl | 13 +- ...mps.baseLanguage.collectionsExt.editor.mps | 2 +- ....mps.baseLanguage.collectionsExt.types.mps | 4 +- .../jetbrains.mps.baseLanguage.function.mpl | 11 +- ...rains.mps.baseLanguage.function.editor.mps | 2 +- ...brains.mps.baseLanguage.function.types.mps | 6 +- .../jetbrains.mps.baseLanguage.javadocExt.mpl | 6 +- ...ins.mps.baseLanguage.javadocExt.editor.mps | 2 +- .../jetbrains.mps.baseLanguage.sequence.mpl | 11 +- ...rains.mps.baseLanguage.sequence.editor.mps | 2 +- .../jetbrains.mps.baseLanguage.tuplesExt.mpl | 12 +- ...ains.mps.baseLanguage.tuplesExt.editor.mps | 2 +- .../jetbrains.mps.baseLanguageExt.mpl | 6 +- .../jetbrains.mps.baseLanguageExt.editor.mps | 2 +- .../jetbrains.mps.baseLanguageExt.types.mps | 368 +- .../jetbrains.mps.lang.coderulesExt.mpl | 20 +- .../jetbrains.mps.logicExt.mpl | 13 +- .../models/jetbrains.mps.logicExt.editor.mps | 2 +- .../models/jetbrains.mps.logicExt.types.mps | 2 +- ...jetbrains.mps.lang.coderulesExt.editor.mps | 2 +- .../jetbrains.mps.lang.coderulesExt.types.mps | 4 +- ...ains.mps.baseLanguage.closuresExt.test.msd | 2 +- ...baseLanguage.closuresExt.test.closures.mps | 42 +- ...ps.baseLanguage.closuresExt.test.yield.mps | 16 +- ...s.mps.baseLanguage.collectionsExt.test.msd | 2 +- ...eLanguage.collectionsExt.test.sequence.mps | 22 +- ...brains.mps.baseLanguage.tuplesExt.test.msd | 2 +- ...mps.baseLanguage.tuplesExt.test.tuples.mps | 2 +- .../jetbrains.mps.baseLanguageExt.test.msd | 4 +- ...mps.baseLanguageExt.test.code.features.mps | 34 +- ...mps.baseLanguageExt.test.code.generics.mps | 82 +- ....mps.baseLanguageExt.test.code.staging.mps | 2 +- ....mps.baseLanguageExt.test.code.thinlet.mps | 1452 ++-- ...ps.baseLanguageExt.test.features@tests.mps | 4 +- ...ps.baseLanguageExt.test.generics@tests.mps | 6 +- ...baseLanguageExt.test.incremental@tests.mps | 58 +- ...mps.baseLanguageExt.test.thinlet@tests.mps | 2 +- ...s.mps.baseLanguageExt.test.types@tests.mps | 35 +- .../models/bounds@tests.mps | 2 +- ...ecking.samples.baseLanguage.bounds.bad.mps | 2 +- ...pechecking.samples.baseLanguage.bounds.mps | 10 +- ...ecking.samples.baseLanguage.helloWorld.mps | 2 +- .../typechecking.samples.baseLanguage.msd | 4 +- 141 files changed, 7602 insertions(+), 7223 deletions(-) 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 1d49d75a..b1d12d4c 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 @@ -9,12 +9,11 @@ - - + - + @@ -287,7 +286,7 @@ - + @@ -302,9 +301,6 @@ - - - @@ -683,6 +679,14 @@ + + + + + + + + @@ -897,7 +901,7 @@ - + @@ -931,7 +935,7 @@ - + @@ -959,7 +963,7 @@ - + @@ -1023,7 +1027,7 @@ - + @@ -2192,7 +2196,7 @@ - + @@ -3337,7 +3341,7 @@ - + @@ -3439,7 +3443,7 @@ - + @@ -3524,7 +3528,7 @@ - + @@ -3607,7 +3611,7 @@ - + @@ -5241,39 +5245,26 @@ - - - - - - - - - - - - - - - - + + + - + - - - - - - - + + + + + + + - + - + @@ -5282,29 +5273,29 @@ - - - - + + + + - + - - + + - + - - - - - - + + + + + + - + @@ -5316,19 +5307,19 @@ - - - - - - - - + + + + + + + + - - + + @@ -5338,6 +5329,19 @@ + + + + + + + + + + + + + @@ -10035,6 +10039,12 @@ + + + + + + @@ -10069,7 +10079,7 @@ - + @@ -10186,7 +10196,7 @@ - + @@ -10349,7 +10359,7 @@ - + @@ -10445,7 +10455,7 @@ - + @@ -10542,7 +10552,7 @@ - + @@ -10673,7 +10683,7 @@ - + @@ -10776,7 +10786,7 @@ - + @@ -10879,7 +10889,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 e7b171a0..7a94e4d5 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,11 +35,10 @@ 9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime) - + - @@ -47,7 +46,7 @@ - + @@ -61,12 +60,17 @@ + + + + + @@ -109,14 +113,13 @@ a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) - + - @@ -136,7 +139,7 @@ - + @@ -146,7 +149,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps index 204cb743..58ccbaa1 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps @@ -5,7 +5,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps index ec7037f1..6b888d8e 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps @@ -7,7 +7,7 @@ - + @@ -137,7 +137,7 @@ - + @@ -404,7 +404,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps index e8255432..47aa1109 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps @@ -3,9 +3,9 @@ - + - + @@ -35,9 +35,12 @@ + + + @@ -109,7 +112,6 @@ - @@ -137,7 +139,6 @@ - @@ -167,6 +168,7 @@ + @@ -247,7 +249,6 @@ - @@ -313,7 +314,7 @@ - + @@ -1861,447 +1862,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2313,75 +1873,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2471,105 +1962,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2579,129 +1971,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2741,85 +2010,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3300,171 +2490,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3519,16 +2544,6 @@ - - - - - - - - - - @@ -3815,13 +2830,6 @@ - - - - - - - @@ -3930,93 +2938,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4120,413 +3041,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4554,61 +3068,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4878,46 +3337,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4934,112 +3353,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5376,59 +3689,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5531,66 +3791,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5633,59 +3833,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5702,14 +3849,6 @@ - - - - - - - - @@ -5788,213 +3927,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -6011,13 +3943,6 @@ - - - - - - - @@ -6112,208 +4037,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -6374,501 +4097,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -6969,94 +4197,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7131,274 +4271,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7646,54 +4518,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7745,64 +4569,1679 @@ - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + + - - - - - - - - - - - + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7884,9 +6323,1595 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps index 2c2b7657..9c0a8bd0 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps @@ -8,7 +8,7 @@ - + @@ -82,7 +82,7 @@ - + @@ -275,7 +275,7 @@ - + @@ -358,7 +358,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/jetbrains.mps.lang.coderules.analysis.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/jetbrains.mps.lang.coderules.analysis.mps index 1324ef1e..4e8cd50a 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/jetbrains.mps.lang.coderules.analysis.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/jetbrains.mps.lang.coderules.analysis.mps @@ -4,10 +4,9 @@ - - + @@ -166,7 +165,7 @@ - + @@ -678,7 +677,7 @@ - + @@ -1390,7 +1389,7 @@ - + @@ -1447,7 +1446,7 @@ - + @@ -1667,7 +1666,7 @@ - + @@ -1751,7 +1750,7 @@ - + @@ -2162,7 +2161,7 @@ - + @@ -2546,7 +2545,7 @@ - + @@ -2730,7 +2729,7 @@ - + @@ -2790,7 +2789,7 @@ - + @@ -2848,7 +2847,7 @@ - + @@ -2880,7 +2879,7 @@ - + @@ -2921,7 +2920,9 @@ - + + + @@ -2959,7 +2960,9 @@ - + + + @@ -2979,7 +2982,9 @@ - + + + @@ -3008,7 +3013,9 @@ - + + + @@ -3043,7 +3050,9 @@ - + + + @@ -3084,7 +3093,9 @@ - + + + @@ -3201,7 +3212,7 @@ - + @@ -3233,7 +3244,9 @@ - + + + @@ -3364,7 +3377,7 @@ - + @@ -3494,7 +3507,7 @@ - + @@ -3534,7 +3547,7 @@ - + @@ -4346,7 +4359,7 @@ - + @@ -4426,7 +4439,7 @@ - + @@ -4474,7 +4487,7 @@ - + @@ -4599,7 +4612,7 @@ - + @@ -4975,7 +4988,7 @@ - + @@ -5023,7 +5036,7 @@ - + @@ -5340,7 +5353,7 @@ - + @@ -5438,7 +5451,7 @@ - + @@ -5519,7 +5532,7 @@ - + @@ -5555,7 +5568,7 @@ - + @@ -5585,7 +5598,7 @@ - + @@ -6000,7 +6013,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps index b69e4bb9..adaaac14 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps @@ -6,7 +6,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps index 38013247..df5e67ea 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps @@ -4,8 +4,8 @@ - - + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps index 015b1bfa..ad827da8 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps @@ -4,7 +4,6 @@ - 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 299f3f7e..0e71336c 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 @@ -20,7 +20,7 @@ ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) - + 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 67087d96..f8a92bc6 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 @@ -2,7 +2,7 @@ - + @@ -57,6 +57,9 @@ + + + @@ -70,11 +73,6 @@ - - - - - @@ -95,15 +93,12 @@ - - - - + @@ -240,6 +235,13 @@ + + + + + + + @@ -258,6 +260,11 @@ + + + + + @@ -273,7 +280,7 @@ - + @@ -472,7 +479,7 @@ - + @@ -967,7 +974,7 @@ - + @@ -1043,72 +1050,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -1224,138 +1167,210 @@ - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - + + + + + + + + + + + + - - - - - - - - + + + - - - - + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - + + - - + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + @@ -3463,7 +3478,7 @@ - + @@ -3500,7 +3515,7 @@ - + @@ -3969,7 +3984,7 @@ - + @@ -4083,7 +4098,7 @@ - + @@ -4494,7 +4509,7 @@ - + @@ -4617,7 +4632,7 @@ - + @@ -4668,7 +4683,7 @@ - + @@ -5410,7 +5425,7 @@ - + @@ -6382,7 +6397,7 @@ - + @@ -6413,7 +6428,7 @@ - + @@ -6447,7 +6462,7 @@ - + @@ -6527,7 +6542,7 @@ - + @@ -6710,8 +6725,8 @@ - - + + @@ -6721,11 +6736,13 @@ - - - - - + + + + + + + @@ -7361,7 +7378,7 @@ - + @@ -8197,7 +8214,7 @@ - + @@ -8332,7 +8349,7 @@ - + @@ -8407,7 +8424,7 @@ - + @@ -8706,7 +8723,7 @@ - + @@ -9450,7 +9467,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.analysis.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.analysis.mps index d5be980a..a579542c 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.analysis.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.analysis.mps @@ -2,7 +2,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 2de54893..d132b9c4 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 @@ -2,7 +2,7 @@ - + @@ -57,6 +57,9 @@ + + + @@ -70,10 +73,6 @@ - - - - @@ -103,6 +102,7 @@ + @@ -237,6 +237,13 @@ + + + + + + + @@ -248,6 +255,11 @@ + + + + + @@ -255,7 +267,7 @@ - + @@ -673,7 +685,7 @@ - + @@ -999,7 +1011,7 @@ - + @@ -1368,7 +1380,7 @@ - + @@ -1651,7 +1663,7 @@ - + @@ -1769,7 +1781,7 @@ - + @@ -1815,7 +1827,7 @@ - + @@ -3303,7 +3315,7 @@ - + @@ -3949,7 +3961,7 @@ - + @@ -4000,7 +4012,7 @@ - + @@ -4039,7 +4051,7 @@ - + @@ -4754,7 +4766,7 @@ - + @@ -4992,7 +5004,7 @@ - + @@ -5093,7 +5105,7 @@ - + @@ -5266,7 +5278,7 @@ - + @@ -5288,7 +5300,7 @@ - + @@ -5369,7 +5381,7 @@ - + @@ -5667,8 +5679,8 @@ - - + + @@ -5754,14 +5766,17 @@ - - + + + - - + + + + - + @@ -5910,8 +5925,8 @@ - - + + @@ -5961,14 +5976,17 @@ - - + + + - - + + + + - + @@ -6366,8 +6384,8 @@ - - + + @@ -6437,8 +6455,8 @@ - - + + @@ -6471,7 +6489,7 @@ - + @@ -6523,7 +6541,7 @@ - + @@ -6545,7 +6563,7 @@ - + @@ -6558,7 +6576,7 @@ - + @@ -6629,7 +6647,7 @@ - + @@ -6809,8 +6827,17 @@ - - + + + + + + + + + + + @@ -6914,12 +6941,6 @@ - - - - - - @@ -6989,17 +7010,19 @@ - - - - - - - + + + + + + + + + + + + - - - @@ -7064,8 +7087,8 @@ - - + + @@ -7119,14 +7142,14 @@ - - + + - + @@ -7178,7 +7201,7 @@ - + @@ -7200,7 +7223,7 @@ - + @@ -7213,7 +7236,7 @@ - + @@ -7312,14 +7335,17 @@ - - + + + - - + + + + - + @@ -7436,7 +7462,9 @@ - + + + @@ -7853,7 +7881,7 @@ - + @@ -8151,7 +8179,7 @@ - + @@ -9374,7 +9402,7 @@ - + @@ -9425,7 +9453,7 @@ - + @@ -9929,8 +9957,8 @@ - - + + @@ -9953,16 +9981,19 @@ - - + + + - - + + + + - + - + @@ -9997,7 +10028,9 @@ - + + + @@ -10119,12 +10152,12 @@ - - + + - + @@ -10183,14 +10216,17 @@ - - + + + - - + + + + - + @@ -10430,7 +10466,7 @@ - + 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 3764068f..37f687b9 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 @@ -33,7 +33,7 @@ e45a8b22-94f2-427f-b849-77f254c4eef5(jetbrains.mps.lang.aspect#3274906159125927726) - + @@ -44,7 +44,7 @@ - + @@ -57,14 +57,19 @@ + + + + + @@ -87,6 +92,7 @@ + @@ -108,7 +114,7 @@ - + @@ -129,12 +135,12 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/editor.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/editor.mps index b6d42d74..9ea0908e 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.typechecking/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps index a0103b53..37755d92 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 @@ -2,7 +2,7 @@ - + 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 cb1210ca..09cffab4 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 @@ -39,7 +39,7 @@ e45a8b22-94f2-427f-b849-77f254c4eef5(jetbrains.mps.lang.aspect#3274906159125927726) - + @@ -50,7 +50,7 @@ - + @@ -63,16 +63,21 @@ + + + + + @@ -94,6 +99,7 @@ + @@ -115,7 +121,7 @@ - + @@ -136,12 +142,12 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/behavior.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/behavior.mps index a5c27912..86103856 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/behavior.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/behavior.mps @@ -3,7 +3,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps index 2bb8cca8..39252055 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps @@ -3,7 +3,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps index 76b2b2a2..95c47f1f 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/typesystem.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps index 671c0c61..31be0d8e 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps @@ -3,8 +3,8 @@ - - + + 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 b021c7a3..35b7f0bc 100644 --- a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -6,7 +6,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl index e33087b5..ed5e6584 100644 --- a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -31,7 +31,7 @@ ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) - + @@ -43,7 +43,7 @@ - + @@ -58,6 +58,7 @@ + @@ -100,7 +101,7 @@ a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) - + @@ -123,7 +124,7 @@ - + @@ -133,7 +134,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps index 823ef82f..97d05eab 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps @@ -4,7 +4,7 @@ - + @@ -82,7 +82,7 @@ - + @@ -182,7 +182,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps index b1f6f2e0..53972e9b 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps @@ -4,7 +4,7 @@ - + @@ -119,7 +119,7 @@ - + @@ -292,7 +292,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps index b65b6ecb..eacc7413 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -3,8 +3,8 @@ - - + + @@ -36,9 +36,11 @@ + + @@ -110,7 +112,6 @@ - @@ -157,6 +158,7 @@ + @@ -221,7 +223,6 @@ - @@ -268,6 +269,7 @@ + @@ -399,7 +401,7 @@ - + @@ -2426,307 +2428,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2942,9 +2643,615 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2966,9 +3273,9 @@ - - + + @@ -2990,9 +3297,9 @@ - - + + @@ -3016,9 +3323,9 @@ - - + + @@ -3068,9 +3375,9 @@ - - + + @@ -3146,9 +3453,9 @@ - - + + @@ -3198,9 +3505,9 @@ - - + + @@ -3222,9 +3529,9 @@ - - + + @@ -3285,19 +3592,9 @@ - - - - - - - - - - - - + + @@ -3343,51 +3640,9 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -3493,9 +3748,9 @@ - - + + @@ -3598,19 +3853,9 @@ - - - - - - - - - - - - + + @@ -3679,9 +3924,9 @@ - - + + @@ -3706,7 +3951,7 @@ - + @@ -3734,7 +3979,7 @@ - + @@ -3841,26 +4086,9 @@ - - - - - - - - - - - - - - - - - - - + + @@ -4019,180 +4247,9 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -4237,58 +4294,5 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps index 411ac7e1..8cb8a72d 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps @@ -6,7 +6,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps index 73f750f2..2da7e107 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps @@ -3,8 +3,8 @@ - - + + @@ -81,7 +81,7 @@ - + @@ -730,7 +730,7 @@ - + @@ -766,7 +766,7 @@ - + @@ -791,7 +791,7 @@ - + @@ -816,7 +816,7 @@ - + @@ -836,7 +836,7 @@ - + @@ -858,7 +858,7 @@ - + @@ -1184,7 +1184,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 4b2661be..f1395098 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 @@ -19,17 +19,16 @@ 9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime) - + - - + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps index 718e57c8..35437ab0 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps +++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps @@ -3,7 +3,7 @@ - + @@ -37,6 +37,9 @@ + + + @@ -81,23 +84,16 @@ - - - - - - - - + @@ -239,6 +235,10 @@ + + + + @@ -264,6 +264,10 @@ + + + + @@ -280,7 +284,7 @@ - + @@ -1035,7 +1039,7 @@ - + @@ -1276,7 +1280,7 @@ - + @@ -2099,7 +2103,7 @@ - + @@ -2357,7 +2361,7 @@ - + @@ -2454,7 +2458,7 @@ - + @@ -2516,7 +2520,7 @@ - + @@ -4431,7 +4435,7 @@ - + @@ -5012,7 +5016,7 @@ - + @@ -5088,7 +5092,7 @@ - + @@ -5158,7 +5162,7 @@ - + @@ -7751,7 +7755,7 @@ - + @@ -7817,7 +7821,7 @@ - + @@ -8274,7 +8278,7 @@ - + @@ -8334,10 +8338,10 @@ - - + + - + @@ -8453,14 +8457,17 @@ - - + + + - - + + + + - + @@ -9932,7 +9939,7 @@ - + @@ -10045,7 +10052,7 @@ - + @@ -10197,7 +10204,7 @@ - + @@ -10368,7 +10375,7 @@ - + @@ -11030,7 +11037,7 @@ - + @@ -11965,7 +11972,7 @@ - + @@ -12175,7 +12182,7 @@ - + @@ -12687,7 +12694,7 @@ - + @@ -12732,7 +12739,7 @@ - + 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 04971505..7075f2b0 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 @@ -2,13 +2,12 @@ - + - @@ -229,7 +228,7 @@ - + @@ -245,9 +244,6 @@ - - - @@ -806,7 +802,7 @@ - + @@ -1978,7 +1974,7 @@ - + @@ -2511,7 +2507,7 @@ - + @@ -3000,7 +2996,7 @@ - + @@ -3136,7 +3132,7 @@ - + @@ -3226,7 +3222,7 @@ - + @@ -3870,7 +3866,7 @@ - + @@ -5826,7 +5822,7 @@ - + @@ -5921,7 +5917,7 @@ - + @@ -6258,7 +6254,7 @@ - + @@ -6329,7 +6325,7 @@ - + @@ -6508,7 +6504,7 @@ - + @@ -6603,7 +6599,7 @@ - + @@ -6812,7 +6808,7 @@ - + @@ -6931,7 +6927,7 @@ - + @@ -7057,7 +7053,7 @@ - + @@ -7881,7 +7877,7 @@ - + @@ -7955,7 +7951,7 @@ - + @@ -8730,7 +8726,7 @@ - + @@ -8784,100 +8780,97 @@ - - - - - + + + + + - + - + - + - - - - + + + + - + - + - + - - - - + + + + - + - + - + - - - - + + + + - + - + - + - - - - - - - + + + + - - + + - - + + - + @@ -8886,6 +8879,9 @@ + + + diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps index ec752007..cccb5812 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps +++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps @@ -4,7 +4,7 @@ - + @@ -208,7 +208,7 @@ - + @@ -254,7 +254,7 @@ - + @@ -587,7 +587,7 @@ - + @@ -1053,7 +1053,7 @@ - + @@ -1444,7 +1444,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 9296ed7f..61547777 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 @@ -17,7 +17,7 @@ 18bc6592-03a6-4e29-a83a-7ff23bde13ba(jetbrains.mps.lang.editor) - + @@ -39,12 +39,12 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps index 4958b608..376dd677 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 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps index 2939407e..a6605dd7 100644 --- a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps @@ -6,7 +6,7 @@ - + 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 088c0b65..b8d478c6 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 @@ -25,7 +25,7 @@ - + @@ -36,7 +36,7 @@ - + @@ -63,7 +63,7 @@ 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) - + @@ -87,7 +87,7 @@ - + @@ -95,7 +95,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..5d815623 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 @@ - + @@ -10,14 +10,16 @@ - + + + @@ -46,7 +48,6 @@ - @@ -62,6 +63,7 @@ + @@ -75,7 +77,6 @@ - @@ -96,6 +97,7 @@ + @@ -346,75 +348,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -424,86 +357,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -576,38 +429,79 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + @@ -700,5 +594,117 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps index 92f535bd..1bbd8b42 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -3,7 +3,7 @@ - + @@ -76,7 +76,7 @@ - + @@ -91,6 +91,9 @@ + + + @@ -423,17 +426,21 @@ - - - + + + + + - - - + + + + + @@ -1096,7 +1103,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 d554e72d..c379022d 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 @@ -23,7 +23,7 @@ ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) - + diff --git a/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.aspect@tests.mps b/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.aspect@tests.mps index 4a318118..eeaa30a2 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.aspect@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.aspect@tests.mps @@ -4,7 +4,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.plugin@tests.mps b/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.plugin@tests.mps index d2065681..e5f37181 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.plugin@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.plugin@tests.mps @@ -4,7 +4,7 @@ - + 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 8c1381f7..09aba15e 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps @@ -7,7 +7,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 b2903eb5..10f5a71e 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 @@ -28,7 +28,7 @@ f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) - + @@ -43,7 +43,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps index 8848a058..0b449c90 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps @@ -4,7 +4,7 @@ - + @@ -152,7 +152,7 @@ - + @@ -665,7 +665,7 @@ - + @@ -709,7 +709,7 @@ - + @@ -2424,7 +2424,7 @@ - + @@ -2712,7 +2712,7 @@ - + @@ -3006,7 +3006,7 @@ - + @@ -3062,7 +3062,7 @@ - + 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 91edc02e..ddf04def 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 @@ -5,7 +5,7 @@ - + @@ -44,17 +44,15 @@ + + + - - - - - @@ -66,13 +64,10 @@ - - - - + @@ -139,12 +134,24 @@ + + + + + + + + + + + + - + @@ -706,8 +713,8 @@ - - + + @@ -884,14 +891,17 @@ - - + + + - - + + + + - + @@ -908,39 +918,41 @@ - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + @@ -957,7 +969,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps index 2948b89e..927e52f8 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.util.mps @@ -2,7 +2,7 @@ - + @@ -174,7 +174,7 @@ - + @@ -661,7 +661,7 @@ - + @@ -1025,7 +1025,7 @@ - + @@ -1408,7 +1408,7 @@ - + @@ -1445,7 +1445,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 c835de02..ae38c9ef 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 @@ -4,10 +4,10 @@ - + - + @@ -85,10 +85,6 @@ - - - - @@ -210,11 +206,18 @@ + + + + + + + - + @@ -569,8 +572,8 @@ - - + + @@ -803,13 +806,15 @@ - - - - - - - + + + + + + + + + @@ -900,7 +905,7 @@ - + @@ -1072,7 +1077,7 @@ - + @@ -1506,8 +1511,8 @@ - - + + @@ -1587,13 +1592,15 @@ - - - - - - - + + + + + + + + + @@ -1689,8 +1696,8 @@ - - + + @@ -1769,13 +1776,15 @@ - - - - - - - + + + + + + + + + @@ -1891,8 +1900,8 @@ - - + + @@ -1992,13 +2001,15 @@ - - - - - - - + + + + + + + + + @@ -2070,7 +2081,7 @@ - + @@ -2443,17 +2454,19 @@ - - + + - - - - - - - + + + + + + + + + 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 02dbb5da..95342239 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 @@ -29,7 +29,7 @@ ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) - + 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 30d9c604..f57b980b 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 @@ -10,7 +10,7 @@ - + @@ -293,7 +293,7 @@ - + @@ -1885,7 +1885,7 @@ - + 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 9c09eaf5..1d9ec4a0 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 @@ -27,7 +27,7 @@ 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) - + 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 5c070df0..0ae184ca 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 @@ -2,7 +2,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 d2a71c31..b6af7dfb 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 @@ -2,7 +2,7 @@ - + @@ -300,7 +300,7 @@ - + @@ -769,7 +769,7 @@ - + @@ -1070,7 +1070,7 @@ - + @@ -1110,7 +1110,7 @@ - + @@ -2166,7 +2166,7 @@ - + @@ -2305,7 +2305,7 @@ - + @@ -2447,7 +2447,7 @@ - + @@ -2635,7 +2635,7 @@ - + @@ -3132,7 +3132,7 @@ - + @@ -3386,7 +3386,7 @@ - + @@ -3488,7 +3488,7 @@ - + @@ -5155,7 +5155,7 @@ - + @@ -5636,7 +5636,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 5271e288..21388a33 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,7 +2,7 @@ - + @@ -86,6 +86,9 @@ + + + @@ -113,17 +116,9 @@ - - - - - - - - @@ -132,6 +127,7 @@ + @@ -270,6 +266,10 @@ + + + + @@ -289,6 +289,10 @@ + + + + @@ -296,7 +300,7 @@ - + @@ -1456,7 +1460,7 @@ - + @@ -1690,7 +1694,7 @@ - + @@ -2095,7 +2099,7 @@ - + @@ -2127,7 +2131,7 @@ - + @@ -2188,8 +2192,8 @@ - - + + @@ -2234,14 +2238,17 @@ - - + + + - - + + + + - + @@ -3784,7 +3791,7 @@ - + @@ -3805,7 +3812,7 @@ - + @@ -3869,7 +3876,7 @@ - + @@ -4285,7 +4292,7 @@ - + @@ -4322,7 +4329,7 @@ - + @@ -4359,7 +4366,7 @@ - + @@ -4491,7 +4498,7 @@ - + @@ -4517,7 +4524,7 @@ - + @@ -5895,7 +5902,7 @@ - + @@ -6104,8 +6111,8 @@ - - + + @@ -6119,8 +6126,17 @@ - - + + + + + + + + + + + @@ -6149,12 +6165,6 @@ - - - - - - @@ -6615,7 +6625,7 @@ - + @@ -6755,7 +6765,7 @@ - + @@ -6900,7 +6910,7 @@ - + @@ -7077,7 +7087,7 @@ - + @@ -7219,7 +7229,7 @@ - + @@ -7388,7 +7398,7 @@ - + @@ -7895,7 +7905,7 @@ - + @@ -8173,7 +8183,7 @@ - + @@ -9203,7 +9213,7 @@ - + @@ -9878,7 +9888,7 @@ - + @@ -10221,7 +10231,7 @@ - + @@ -10514,8 +10524,8 @@ - - + + @@ -10568,14 +10578,17 @@ - - + + + - - + + + + - + @@ -10585,7 +10598,7 @@ - + @@ -11210,7 +11223,7 @@ - + @@ -11377,7 +11390,7 @@ - + @@ -11519,7 +11532,7 @@ - + @@ -11676,7 +11689,7 @@ - + @@ -11846,7 +11859,7 @@ - + @@ -11948,7 +11961,7 @@ - + @@ -12022,7 +12035,7 @@ - + @@ -12154,7 +12167,7 @@ - + @@ -12256,7 +12269,7 @@ - + @@ -12394,7 +12407,7 @@ - + @@ -13023,7 +13036,7 @@ - + @@ -13183,7 +13196,7 @@ - + @@ -15694,7 +15707,7 @@ - + @@ -15728,7 +15741,7 @@ - + @@ -16258,7 +16271,7 @@ - + @@ -16541,7 +16554,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 f3db85a9..d60aa6f2 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 @@ -22,7 +22,7 @@ 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) - + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index 85947818..559b89f0 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps @@ -2,7 +2,7 @@ - + @@ -171,6 +171,9 @@ + + + @@ -222,17 +225,9 @@ - - - - - - - - @@ -244,6 +239,7 @@ + @@ -388,6 +384,10 @@ + + + + @@ -413,6 +413,10 @@ + + + + @@ -432,7 +436,7 @@ - + @@ -1353,7 +1357,7 @@ - + @@ -3089,7 +3093,7 @@ - + @@ -3163,7 +3167,7 @@ - + @@ -3180,7 +3184,7 @@ - + @@ -3197,7 +3201,7 @@ - + @@ -3214,7 +3218,7 @@ - + @@ -3244,7 +3248,7 @@ - + @@ -4039,7 +4043,7 @@ - + @@ -4067,7 +4071,7 @@ - + @@ -4131,7 +4135,7 @@ - + @@ -4366,7 +4370,7 @@ - + @@ -4457,7 +4461,7 @@ - + @@ -4585,7 +4589,7 @@ - + @@ -4831,7 +4835,7 @@ - + @@ -5061,7 +5065,7 @@ - + @@ -5731,7 +5735,7 @@ - + @@ -6239,7 +6243,7 @@ - + @@ -7857,7 +7861,7 @@ - + @@ -7931,7 +7935,7 @@ - + @@ -7948,7 +7952,7 @@ - + @@ -7965,7 +7969,7 @@ - + @@ -7995,7 +7999,7 @@ - + @@ -8334,8 +8338,8 @@ - - + + @@ -8348,18 +8352,21 @@ - - + + + - - + + + + - - - + + + - + @@ -8376,16 +8383,19 @@ - - + + + - - + + + + - + - + @@ -9221,8 +9231,8 @@ - - + + @@ -9270,7 +9280,7 @@ - + @@ -9554,14 +9564,17 @@ - - + + + - - + + + + - + @@ -15013,7 +15026,7 @@ - + @@ -15754,7 +15767,7 @@ - + @@ -16322,7 +16335,7 @@ - + @@ -16414,7 +16427,7 @@ - + @@ -16511,7 +16524,7 @@ - + @@ -16928,7 +16941,7 @@ - + @@ -17101,7 +17114,7 @@ - + @@ -18996,8 +19009,8 @@ - - + + @@ -19012,14 +19025,17 @@ - - + + + - - + + + + - + @@ -19124,7 +19140,7 @@ - + @@ -20413,7 +20429,7 @@ - + @@ -21031,7 +21047,7 @@ - + @@ -23207,7 +23223,7 @@ - + @@ -23228,7 +23244,7 @@ - + @@ -24880,7 +24896,7 @@ - + @@ -24903,7 +24919,9 @@ - + + + @@ -24915,7 +24933,7 @@ - + @@ -27878,7 +27896,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd index c69455cd..2e14db8c 100644 --- a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd +++ b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd @@ -30,7 +30,7 @@ 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps index b7cb2569..dce8e674 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps @@ -3,7 +3,7 @@ - + @@ -276,7 +276,7 @@ - + @@ -558,7 +558,7 @@ - + @@ -4574,7 +4574,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps index 5f02a424..89144d24 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps @@ -2,7 +2,7 @@ - + @@ -63,6 +63,9 @@ + + + @@ -95,23 +98,16 @@ - - - - - - - - + @@ -251,6 +247,10 @@ + + + + @@ -266,6 +266,10 @@ + + + + @@ -273,7 +277,7 @@ - + @@ -806,7 +810,7 @@ - + @@ -871,7 +875,7 @@ - + @@ -1319,7 +1323,7 @@ - + @@ -1338,7 +1342,7 @@ - + @@ -1363,7 +1367,7 @@ - + @@ -1596,7 +1600,7 @@ - + @@ -2057,7 +2061,7 @@ - + @@ -2295,8 +2299,8 @@ - - + + @@ -2319,14 +2323,17 @@ - - + + + - - + + + + - + @@ -4087,7 +4094,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 975b3c1c..a47f8aa8 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 @@ -24,7 +24,7 @@ ffcd9ef5-e931-4da9-a8d1-eb9bf80d19b4(jetbrains.mps.lang.controlflow.runtime) - + diff --git a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps index 44086fb8..d7bfb35d 100644 --- a/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps @@ -4,7 +4,7 @@ - + @@ -227,7 +227,7 @@ - + @@ -1758,7 +1758,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd index 3736f34b..fedbcfa4 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd +++ b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd @@ -17,7 +17,7 @@ 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) - + diff --git a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps index b5bb3972..c9be83cc 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps +++ b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps @@ -2,7 +2,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 15a4ae5a..b1a65434 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 @@ -20,7 +20,7 @@ 9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime) - + 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 6791e2f6..d4d40705 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 @@ -2,7 +2,7 @@ - + @@ -191,7 +191,7 @@ - + @@ -587,7 +587,7 @@ - + @@ -659,7 +659,7 @@ - + @@ -1280,7 +1280,7 @@ - + @@ -1859,7 +1859,7 @@ - + @@ -1921,7 +1921,7 @@ - + @@ -2185,7 +2185,7 @@ - + @@ -2430,7 +2430,7 @@ - + @@ -2471,7 +2471,7 @@ - + @@ -2513,7 +2513,7 @@ - + @@ -2754,7 +2754,7 @@ - + @@ -2840,7 +2840,7 @@ - + @@ -2866,7 +2866,9 @@ - + + + @@ -3033,7 +3035,7 @@ - + @@ -3259,7 +3261,7 @@ - + @@ -3335,7 +3337,7 @@ - + @@ -3623,7 +3625,7 @@ - + @@ -3634,7 +3636,9 @@ - + + + @@ -3663,7 +3667,9 @@ - + + + @@ -3821,7 +3827,7 @@ - + @@ -3972,7 +3978,7 @@ - + @@ -4298,7 +4304,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 ecd50b08..097215de 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 @@ -6,7 +6,7 @@ - + @@ -276,7 +276,7 @@ - + @@ -1110,7 +1110,7 @@ - + @@ -1329,7 +1329,7 @@ - + @@ -3531,7 +3531,7 @@ - + @@ -3568,7 +3568,7 @@ - + @@ -3644,7 +3644,7 @@ - + @@ -4396,7 +4396,7 @@ - + @@ -4427,7 +4427,7 @@ - + @@ -4462,7 +4462,9 @@ - + + + @@ -4500,7 +4502,9 @@ - + + + @@ -4535,7 +4539,9 @@ - + + + @@ -5063,7 +5069,7 @@ - + @@ -7182,7 +7188,7 @@ - + @@ -7376,7 +7382,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 9cbf2795..01a083b1 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 @@ -18,7 +18,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - + 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 90a483dc..54e2c081 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 @@ -5,7 +5,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 2b7986c4..61438190 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 @@ -16,7 +16,7 @@ ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) - + 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 9f82e5a8..beff4ad6 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 @@ -2,7 +2,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 bf57b212..6b0ed95b 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 @@ -23,7 +23,7 @@ 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) - + 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 b387ad49..3cf5ba85 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 @@ -25,7 +25,7 @@ 49808fad-9d41-4b96-83fa-9231640f6b2b(JUnit) - + @@ -35,7 +35,7 @@ - + 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 aec2004b..17ee33b8 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 @@ -5,7 +5,7 @@ - + @@ -128,7 +128,7 @@ - + @@ -652,7 +652,7 @@ - + @@ -873,7 +873,7 @@ - + @@ -899,7 +899,7 @@ - + @@ -1428,7 +1428,7 @@ - + @@ -1454,7 +1454,7 @@ - + @@ -1932,7 +1932,7 @@ - + @@ -1962,7 +1962,7 @@ - + @@ -3749,7 +3749,7 @@ - + @@ -3796,7 +3796,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps index 89518466..4219636f 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps +++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps @@ -4,7 +4,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps index 3750ebe1..ebde85f9 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps +++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps @@ -4,7 +4,7 @@ - + @@ -127,7 +127,7 @@ - + @@ -1502,7 +1502,7 @@ - + @@ -1604,7 +1604,7 @@ - + @@ -4197,7 +4197,7 @@ - + @@ -4285,7 +4285,7 @@ - + @@ -4507,7 +4507,7 @@ - + @@ -4803,7 +4803,7 @@ - + @@ -5032,7 +5032,7 @@ - + @@ -5266,7 +5266,7 @@ - + @@ -5488,7 +5488,7 @@ - + @@ -5693,7 +5693,7 @@ - + @@ -5882,7 +5882,7 @@ - + @@ -6072,7 +6072,7 @@ - + @@ -9484,7 +9484,7 @@ - + @@ -9605,7 +9605,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..5acac906 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 @@ - + @@ -16,6 +16,8 @@ + + @@ -54,10 +56,10 @@ + - @@ -273,10 +275,6 @@ - - - - @@ -423,5 +421,9 @@ + + + + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps index 353d5e76..d2a4b689 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps @@ -88,7 +88,7 @@ - + @@ -562,7 +562,7 @@ - + @@ -593,7 +593,7 @@ - + @@ -648,7 +648,7 @@ - + @@ -1028,7 +1028,7 @@ - + @@ -1344,7 +1344,7 @@ - + @@ -1375,7 +1375,7 @@ - + @@ -1430,7 +1430,7 @@ - + @@ -1810,7 +1810,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 c03831d4..1424feec 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl @@ -25,7 +25,7 @@ - + @@ -36,7 +36,7 @@ - + @@ -66,7 +66,7 @@ 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) - + @@ -89,7 +89,7 @@ - + @@ -97,7 +97,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..0d513107 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 @@ - + @@ -18,9 +18,11 @@ + + @@ -57,7 +59,6 @@ - @@ -84,6 +85,7 @@ + @@ -111,7 +113,6 @@ - @@ -136,6 +137,7 @@ + @@ -209,6 +211,9 @@ + + + @@ -502,90 +507,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -732,118 +653,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -989,10 +798,6 @@ - - - - @@ -1148,5 +953,209 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps index 6aee8bda..b574ffd4 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps @@ -121,7 +121,7 @@ - + @@ -930,7 +930,7 @@ - + @@ -967,7 +967,7 @@ - + @@ -1309,7 +1309,7 @@ - + @@ -1364,7 +1364,7 @@ - + @@ -1462,7 +1462,7 @@ - + @@ -1520,7 +1520,7 @@ - + @@ -2210,7 +2210,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 742919b9..432016f7 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl @@ -25,7 +25,7 @@ - + @@ -36,7 +36,7 @@ - + @@ -66,7 +66,7 @@ 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) - + @@ -90,7 +90,7 @@ - + @@ -98,7 +98,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps index a60b61a4..b803e1a7 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps @@ -3,7 +3,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps index e704ffc3..4544b23d 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps @@ -2,8 +2,8 @@ - - + + @@ -20,9 +20,11 @@ + + @@ -83,6 +85,7 @@ + @@ -106,7 +109,6 @@ - @@ -374,77 +376,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -599,30 +530,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - @@ -751,26 +658,6 @@ - - - - - - - - - - - - - - - - - - - - @@ -1400,10 +1287,6 @@ - - - - @@ -1714,5 +1597,124 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps index c18bc9ec..4d34ac43 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps @@ -3,7 +3,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 0126ee13..8d15947c 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl @@ -25,7 +25,7 @@ - + @@ -36,7 +36,7 @@ - + @@ -64,7 +64,7 @@ 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) - + @@ -88,7 +88,7 @@ - + @@ -96,7 +96,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/editor.mps b/samples/fitch/languages/samples.fitch/models/editor.mps index af2ba776..46402400 100644 --- a/samples/fitch/languages/samples.fitch/models/editor.mps +++ b/samples/fitch/languages/samples.fitch/models/editor.mps @@ -2,7 +2,7 @@ - + @@ -15,9 +15,11 @@ + + @@ -62,7 +64,6 @@ - @@ -77,6 +78,7 @@ + @@ -96,7 +98,6 @@ - @@ -128,6 +129,7 @@ + @@ -389,119 +391,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -781,9 +670,193 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1027,75 +1100,5 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/samples/fitch/languages/samples.fitch/models/types.mps b/samples/fitch/languages/samples.fitch/models/types.mps index 405c68ed..dfe8c363 100644 --- a/samples/fitch/languages/samples.fitch/models/types.mps +++ b/samples/fitch/languages/samples.fitch/models/types.mps @@ -3,7 +3,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/samples.fitch.mpl b/samples/fitch/languages/samples.fitch/samples.fitch.mpl index 7f104162..f5c81135 100644 --- a/samples/fitch/languages/samples.fitch/samples.fitch.mpl +++ b/samples/fitch/languages/samples.fitch/samples.fitch.mpl @@ -25,7 +25,7 @@ - + @@ -36,7 +36,7 @@ - + @@ -64,7 +64,7 @@ 4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking) - + @@ -88,7 +88,7 @@ - + @@ -99,7 +99,7 @@ - + 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 14a9774c..40fa3550 100644 --- a/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd +++ b/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd @@ -20,7 +20,7 @@ ddb01c98-e78e-4c79-b11a-aeba193668d4(samples.fitch.firstOrderLogic) - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps index dc8e8261..4c5b5557 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps @@ -159,7 +159,7 @@ - + @@ -523,7 +523,7 @@ - + @@ -1073,7 +1073,7 @@ - + @@ -1119,7 +1119,7 @@ - + @@ -1159,7 +1159,7 @@ - + @@ -1290,7 +1290,7 @@ - + @@ -1373,7 +1373,7 @@ - + @@ -2042,7 +2042,7 @@ - + @@ -2071,7 +2071,7 @@ - + @@ -2176,7 +2176,7 @@ - + @@ -2370,7 +2370,7 @@ - + @@ -2423,7 +2423,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps index fab183ae..ca2369d3 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps @@ -2,7 +2,7 @@ - + @@ -15,9 +15,11 @@ + + @@ -52,7 +54,6 @@ - @@ -71,6 +72,7 @@ + @@ -100,7 +102,6 @@ - @@ -126,6 +127,7 @@ + @@ -438,244 +440,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -714,60 +478,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1267,97 +977,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1511,5 +1130,388 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index ff6f2aaa..a681b2d0 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -162,7 +162,7 @@ - + @@ -2178,7 +2178,7 @@ - + @@ -2230,7 +2230,7 @@ - + @@ -2284,7 +2284,7 @@ - + @@ -2332,7 +2332,7 @@ - + @@ -2391,7 +2391,7 @@ - + @@ -5037,7 +5037,7 @@ - + @@ -5282,7 +5282,7 @@ - + @@ -5544,7 +5544,7 @@ - + @@ -5569,7 +5569,7 @@ - + @@ -5597,7 +5597,7 @@ - + @@ -5713,7 +5713,7 @@ - + @@ -5741,7 +5741,7 @@ - + @@ -5777,7 +5777,7 @@ - + @@ -5802,7 +5802,7 @@ - + @@ -5863,7 +5863,7 @@ - + @@ -5908,7 +5908,7 @@ - + @@ -5947,7 +5947,7 @@ - + @@ -6049,7 +6049,7 @@ - + @@ -6166,7 +6166,7 @@ - + @@ -6194,7 +6194,7 @@ - + @@ -6240,7 +6240,7 @@ - + @@ -6390,7 +6390,7 @@ - + @@ -6482,7 +6482,7 @@ - + @@ -6575,7 +6575,7 @@ - + @@ -6787,7 +6787,7 @@ - + @@ -6812,7 +6812,7 @@ - + @@ -6855,7 +6855,7 @@ - + @@ -7023,7 +7023,7 @@ - + @@ -7075,7 +7075,7 @@ - + @@ -7088,7 +7088,7 @@ - + @@ -7168,7 +7168,7 @@ - + @@ -7219,7 +7219,7 @@ - + @@ -7270,7 +7270,7 @@ - + @@ -7426,7 +7426,7 @@ - + @@ -7612,7 +7612,7 @@ - + @@ -7640,7 +7640,7 @@ - + @@ -7792,7 +7792,7 @@ - + @@ -7838,7 +7838,7 @@ - + @@ -7879,7 +7879,7 @@ - + @@ -7919,7 +7919,7 @@ - + @@ -8080,7 +8080,7 @@ - + @@ -8260,7 +8260,7 @@ - + @@ -8542,7 +8542,7 @@ - + @@ -8797,7 +8797,7 @@ - + @@ -8822,7 +8822,7 @@ - + @@ -8865,7 +8865,7 @@ - + @@ -8965,7 +8965,7 @@ - + @@ -8984,7 +8984,7 @@ - + @@ -9030,7 +9030,7 @@ - + @@ -9058,7 +9058,7 @@ - + @@ -9098,7 +9098,7 @@ - + @@ -9126,7 +9126,7 @@ - + @@ -9157,7 +9157,7 @@ - + @@ -9378,7 +9378,7 @@ - + @@ -9494,7 +9494,7 @@ - + @@ -9962,7 +9962,7 @@ - + @@ -9999,7 +9999,7 @@ - + @@ -10051,7 +10051,7 @@ - + @@ -10088,7 +10088,7 @@ - + @@ -10426,7 +10426,7 @@ - + @@ -10564,7 +10564,7 @@ - + @@ -10670,7 +10670,7 @@ - + @@ -10788,7 +10788,7 @@ - + @@ -10834,7 +10834,7 @@ - + @@ -11285,7 +11285,7 @@ - + @@ -11336,7 +11336,7 @@ - + @@ -11407,7 +11407,7 @@ - + @@ -11462,7 +11462,7 @@ - + @@ -11504,7 +11504,7 @@ - + @@ -11556,7 +11556,7 @@ - + @@ -11634,7 +11634,7 @@ - + @@ -11713,7 +11713,7 @@ - + @@ -12211,7 +12211,7 @@ - + @@ -12480,7 +12480,7 @@ - + @@ -12521,7 +12521,7 @@ - + @@ -12549,7 +12549,7 @@ - + @@ -12586,7 +12586,7 @@ - + @@ -12705,7 +12705,7 @@ - + @@ -12821,7 +12821,7 @@ - + @@ -12849,7 +12849,7 @@ - + @@ -12886,7 +12886,7 @@ - + @@ -12938,7 +12938,7 @@ - + @@ -12966,7 +12966,7 @@ - + @@ -13059,7 +13059,7 @@ - + @@ -13093,7 +13093,7 @@ - + @@ -13200,7 +13200,7 @@ - + @@ -13293,7 +13293,7 @@ - + @@ -13336,7 +13336,7 @@ - + @@ -13505,7 +13505,7 @@ - + @@ -13533,7 +13533,7 @@ - + @@ -13562,7 +13562,7 @@ - + @@ -13640,7 +13640,7 @@ - + @@ -13671,7 +13671,7 @@ - + @@ -13714,7 +13714,7 @@ - + @@ -13843,7 +13843,7 @@ - + @@ -13883,7 +13883,7 @@ - + @@ -13984,7 +13984,7 @@ - + @@ -14015,7 +14015,7 @@ - + @@ -14123,7 +14123,7 @@ - + @@ -14217,7 +14217,7 @@ - + @@ -14323,7 +14323,7 @@ - + @@ -14342,7 +14342,7 @@ - + @@ -14370,7 +14370,7 @@ - + @@ -14553,7 +14553,7 @@ - + @@ -14572,7 +14572,7 @@ - + @@ -14651,7 +14651,7 @@ - + @@ -15317,7 +15317,7 @@ - + @@ -15438,7 +15438,7 @@ - + @@ -15463,7 +15463,7 @@ - + @@ -15497,7 +15497,7 @@ - + @@ -15555,7 +15555,7 @@ - + @@ -15703,7 +15703,7 @@ - + @@ -15747,7 +15747,7 @@ - + @@ -15804,7 +15804,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl index 720b8ac4..06eefbec 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl +++ b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl @@ -23,7 +23,7 @@ 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) - + @@ -49,7 +49,7 @@ - + @@ -57,7 +57,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..9713e024 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 @@ -127,7 +127,7 @@ - + @@ -764,7 +764,7 @@ - + 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 738163ea..205ab620 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd @@ -17,7 +17,7 @@ af858d84-85f2-42f4-a854-0b3c6b5cd482(samples.lambdacalc) - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl index 3739be55..ccbadefd 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl @@ -25,7 +25,7 @@ - + @@ -36,7 +36,7 @@ - + @@ -47,11 +47,13 @@ + + @@ -70,7 +72,7 @@ 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) - + @@ -89,11 +91,11 @@ - + - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.editor.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.editor.mps index 5a114d75..c3b2cf4a 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.editor.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.editor.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps index 87cfe8ec..e6819dde 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps @@ -145,7 +145,7 @@ - + @@ -831,7 +831,7 @@ - + @@ -1096,7 +1096,7 @@ - + @@ -1114,7 +1114,7 @@ - + @@ -1843,7 +1843,7 @@ - + @@ -1860,7 +1860,9 @@ - + + + @@ -1978,7 +1980,7 @@ - + @@ -2013,7 +2015,9 @@ - + + + @@ -2212,7 +2216,7 @@ - + @@ -2238,7 +2242,9 @@ - + + + @@ -4101,7 +4107,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl index 33360750..eb3c3da6 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl @@ -25,7 +25,7 @@ - + @@ -36,7 +36,7 @@ - + @@ -47,12 +47,15 @@ + + + @@ -71,7 +74,7 @@ 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) - + @@ -90,11 +93,11 @@ - + - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.editor.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.editor.mps index b9a6f0cc..d54f0034 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.editor.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.editor.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps index 077149d0..e0354014 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps @@ -31,7 +31,7 @@ - + @@ -258,7 +258,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl index 81f7472c..577287d0 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl @@ -25,7 +25,7 @@ - + @@ -36,7 +36,7 @@ - + @@ -50,6 +50,7 @@ + @@ -67,7 +68,7 @@ f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) - + @@ -86,11 +87,11 @@ - + - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.editor.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.editor.mps index a1788f27..c98a3c1f 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.editor.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.editor.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps index a0bfc811..e40ce98f 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps @@ -62,7 +62,7 @@ - + @@ -463,7 +463,7 @@ - + @@ -704,7 +704,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl index 8073c3ec..b26f34e9 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl @@ -24,7 +24,7 @@ f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime) - + @@ -43,11 +43,11 @@ - + - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.editor.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.editor.mps index cc168d1d..874959c5 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.editor.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.editor.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl index 37daae4b..80aa942f 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl @@ -25,7 +25,7 @@ - + @@ -36,7 +36,7 @@ - + @@ -48,6 +48,7 @@ + @@ -67,7 +68,7 @@ 4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking) - + @@ -86,11 +87,11 @@ - + - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.editor.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.editor.mps index 9ecba196..a9dc3b61 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.editor.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.editor.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl index f28804cb..ad808c78 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl @@ -25,7 +25,7 @@ - + @@ -36,7 +36,7 @@ - + @@ -48,8 +48,10 @@ + + @@ -68,7 +70,7 @@ 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) - + @@ -87,11 +89,11 @@ - + - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.editor.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.editor.mps index 759fb26e..8e593888 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.editor.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.editor.mps @@ -2,7 +2,7 @@ - + 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 ff55606f..bf282b3f 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl @@ -25,7 +25,7 @@ c7d01124-66d5-486d-8b50-7fdccb60b839(jetbrains.mps.baseLanguage.util) - + @@ -45,11 +45,11 @@ - + - + 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..ee268366 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 c17f5d90..5df36b53 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,11 +7,11 @@ - + - + @@ -63,6 +63,9 @@ + + + @@ -87,21 +90,14 @@ - - - - - - - - + @@ -230,6 +226,10 @@ + + + + @@ -253,6 +253,10 @@ + + + + @@ -263,7 +267,7 @@ - + @@ -1971,7 +1975,7 @@ - + @@ -2031,7 +2035,7 @@ - + @@ -2791,7 +2795,7 @@ - + @@ -2826,7 +2830,9 @@ - + + + @@ -3272,7 +3278,7 @@ - + @@ -4051,7 +4057,7 @@ - + @@ -4077,7 +4083,7 @@ - + @@ -4100,7 +4106,9 @@ - + + + @@ -4129,7 +4137,9 @@ - + + + @@ -4241,7 +4251,7 @@ - + @@ -4311,7 +4321,7 @@ - + @@ -4343,7 +4353,9 @@ - + + + @@ -4509,7 +4521,7 @@ - + @@ -4555,7 +4567,7 @@ - + @@ -4707,7 +4719,7 @@ - + @@ -4968,7 +4980,7 @@ - + @@ -5227,7 +5239,7 @@ - + @@ -5253,7 +5265,7 @@ - + @@ -5276,7 +5288,9 @@ - + + + @@ -5305,7 +5319,9 @@ - + + + @@ -5417,7 +5433,7 @@ - + @@ -5449,7 +5465,9 @@ - + + + @@ -5615,7 +5633,7 @@ - + @@ -5661,7 +5679,7 @@ - + @@ -5813,7 +5831,7 @@ - + @@ -7087,7 +7105,7 @@ - + @@ -7654,7 +7672,7 @@ - + @@ -7728,7 +7746,7 @@ - + @@ -8243,7 +8261,7 @@ - + @@ -8338,7 +8356,7 @@ - + @@ -8374,7 +8392,7 @@ - + @@ -8548,7 +8566,7 @@ - + @@ -8690,7 +8708,7 @@ - + @@ -10004,7 +10022,7 @@ - + @@ -10632,7 +10650,7 @@ - + @@ -11788,7 +11806,7 @@ - + @@ -11865,7 +11883,7 @@ - + @@ -13866,7 +13884,7 @@ - + @@ -14680,7 +14698,7 @@ - + @@ -14887,7 +14905,7 @@ - + @@ -14910,7 +14928,9 @@ - + + + @@ -14930,7 +14950,9 @@ - + + + @@ -15494,7 +15516,7 @@ - + @@ -16865,7 +16887,7 @@ - + @@ -17472,7 +17494,7 @@ - + @@ -18017,7 +18039,7 @@ - + @@ -18300,7 +18322,7 @@ - + @@ -18816,7 +18838,7 @@ - + @@ -19472,7 +19494,7 @@ - + @@ -19566,7 +19588,7 @@ - + @@ -21479,7 +21501,7 @@ - + @@ -24116,7 +24138,7 @@ - + @@ -26115,7 +26137,7 @@ - + @@ -26234,7 +26256,7 @@ - + @@ -26253,7 +26275,7 @@ - + @@ -26276,7 +26298,9 @@ - + + + @@ -28770,7 +28794,7 @@ - + @@ -28799,7 +28823,9 @@ - + + + @@ -29139,7 +29165,7 @@ - + @@ -31474,7 +31500,7 @@ - + @@ -31900,7 +31926,7 @@ - + @@ -32176,7 +32202,7 @@ - + @@ -32434,7 +32460,7 @@ - + @@ -32580,7 +32606,7 @@ - + @@ -33098,7 +33124,7 @@ - + @@ -34927,7 +34953,7 @@ - + @@ -34991,7 +35017,7 @@ - + @@ -35011,7 +35037,9 @@ - + + + @@ -35078,7 +35106,7 @@ - + @@ -35221,7 +35249,7 @@ - + @@ -35421,7 +35449,7 @@ - + @@ -35737,7 +35765,7 @@ - + @@ -35819,7 +35847,7 @@ - + @@ -35851,7 +35879,9 @@ - + + + @@ -35970,7 +36000,7 @@ - + @@ -36077,7 +36107,7 @@ - + @@ -36134,7 +36164,7 @@ - + @@ -36319,7 +36349,7 @@ - + @@ -36485,7 +36515,7 @@ - + @@ -36930,7 +36960,7 @@ - + @@ -36980,7 +37010,7 @@ - + @@ -37517,8 +37547,8 @@ - - + + @@ -37618,16 +37648,19 @@ - - + + + - - + + + + - + - + @@ -37682,8 +37715,8 @@ - - + + @@ -37796,16 +37829,19 @@ - - + + + - - + + + + - + - + @@ -37860,8 +37896,8 @@ - - + + @@ -37921,16 +37957,19 @@ - - + + + - - + + + + - + - + @@ -37985,8 +38024,8 @@ - - + + @@ -38046,16 +38085,19 @@ - - + + + - - + + + + - + - + @@ -38669,7 +38711,7 @@ - + @@ -38945,7 +38987,7 @@ - + @@ -39824,7 +39866,7 @@ - + @@ -40349,7 +40391,7 @@ - + @@ -40708,7 +40750,7 @@ - + @@ -40939,7 +40981,7 @@ - + @@ -41144,7 +41186,7 @@ - + @@ -44867,7 +44909,7 @@ - + @@ -44950,7 +44992,7 @@ - + @@ -44970,7 +45012,9 @@ - + + + @@ -45180,7 +45224,7 @@ - + @@ -45289,7 +45333,7 @@ - + @@ -45369,7 +45413,7 @@ - + @@ -45470,7 +45514,7 @@ - + @@ -45500,7 +45544,7 @@ - + @@ -45722,7 +45766,7 @@ - + @@ -45752,7 +45796,7 @@ - + @@ -46026,7 +46070,7 @@ - + @@ -46142,7 +46186,7 @@ - + @@ -46159,7 +46203,9 @@ - + + + @@ -46191,7 +46237,9 @@ - + + + @@ -47715,7 +47763,7 @@ - + @@ -47978,7 +48026,7 @@ - + @@ -48884,7 +48932,7 @@ - + @@ -48901,7 +48949,9 @@ - + + + @@ -48915,7 +48965,9 @@ - + + + @@ -48959,7 +49011,7 @@ - + @@ -49015,7 +49067,9 @@ - + + + @@ -49071,7 +49125,9 @@ - + + + @@ -49127,7 +49183,9 @@ - + + + @@ -49434,7 +49492,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt.mpl index a4fd701f..c42b06f8 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt.mpl @@ -25,7 +25,7 @@ - + @@ -36,7 +36,7 @@ - + @@ -47,13 +47,20 @@ + + + + + + + @@ -65,6 +72,9 @@ + + + @@ -75,7 +85,7 @@ ad4d7d30-3da5-4d56-8273-c9d815b12234(jetbrains.mps.logicExt) - + @@ -94,11 +104,11 @@ - + - + diff --git a/samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl b/samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl index 7b841331..51fea369 100644 --- a/samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl @@ -25,7 +25,7 @@ - + @@ -36,7 +36,7 @@ - + @@ -48,12 +48,15 @@ + + + @@ -65,7 +68,7 @@ 0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt) - + @@ -84,11 +87,11 @@ - + - + diff --git a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.editor.mps b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.editor.mps index 6e46b655..9df64c77 100644 --- a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.editor.mps +++ b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.editor.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps index 2e26cf6c..5208b315 100644 --- a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps @@ -4,7 +4,7 @@ - + diff --git a/samples/mpscore/languages/models/jetbrains.mps.lang.coderulesExt.editor.mps b/samples/mpscore/languages/models/jetbrains.mps.lang.coderulesExt.editor.mps index 94936ca9..194e72a6 100644 --- a/samples/mpscore/languages/models/jetbrains.mps.lang.coderulesExt.editor.mps +++ b/samples/mpscore/languages/models/jetbrains.mps.lang.coderulesExt.editor.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/mpscore/languages/models/jetbrains.mps.lang.coderulesExt.types.mps b/samples/mpscore/languages/models/jetbrains.mps.lang.coderulesExt.types.mps index 2adf057d..029506eb 100644 --- a/samples/mpscore/languages/models/jetbrains.mps.lang.coderulesExt.types.mps +++ b/samples/mpscore/languages/models/jetbrains.mps.lang.coderulesExt.types.mps @@ -62,7 +62,7 @@ - + @@ -1074,7 +1074,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/jetbrains.mps.baseLanguage.closuresExt.test.msd b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/jetbrains.mps.baseLanguage.closuresExt.test.msd index 5ab0194d..60cc53c1 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/jetbrains.mps.baseLanguage.closuresExt.test.msd +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/jetbrains.mps.baseLanguage.closuresExt.test.msd @@ -19,7 +19,7 @@ 9e36d2ee-c59c-4580-9e81-646748d0614b(jetbrains.mps.baseLanguage.closuresExt) - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps index ceb88d79..f81d2ea3 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps @@ -4,7 +4,7 @@ - + @@ -133,7 +133,7 @@ - + @@ -1156,7 +1156,7 @@ - + @@ -1196,7 +1196,7 @@ - + @@ -1346,7 +1346,7 @@ - + @@ -1475,7 +1475,7 @@ - + @@ -1692,7 +1692,7 @@ - + @@ -1734,7 +1734,7 @@ - + @@ -1904,7 +1904,7 @@ - + @@ -1963,7 +1963,7 @@ - + @@ -2014,7 +2014,7 @@ - + @@ -2040,7 +2040,9 @@ - + + + @@ -2063,7 +2065,9 @@ - + + + @@ -2241,7 +2245,7 @@ - + @@ -2425,7 +2429,7 @@ - + @@ -2828,7 +2832,7 @@ - + @@ -2845,7 +2849,7 @@ - + @@ -2971,7 +2975,7 @@ - + @@ -3129,7 +3133,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.yield.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.yield.mps index d116b1e1..3a82712d 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.yield.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.yield.mps @@ -5,7 +5,7 @@ - + @@ -90,7 +90,7 @@ - + @@ -268,7 +268,7 @@ - + @@ -299,7 +299,7 @@ - + @@ -518,7 +518,7 @@ - + @@ -662,7 +662,7 @@ - + @@ -715,7 +715,7 @@ - + @@ -803,7 +803,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/jetbrains.mps.baseLanguage.collectionsExt.test.msd b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/jetbrains.mps.baseLanguage.collectionsExt.test.msd index c7dd6072..ad270963 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/jetbrains.mps.baseLanguage.collectionsExt.test.msd +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/jetbrains.mps.baseLanguage.collectionsExt.test.msd @@ -17,7 +17,7 @@ 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence.mps index bd6a2c22..99077d49 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence.mps @@ -4,7 +4,7 @@ - + @@ -76,7 +76,7 @@ - + @@ -187,7 +187,7 @@ - + @@ -223,7 +223,7 @@ - + @@ -255,7 +255,7 @@ - + @@ -278,7 +278,7 @@ - + @@ -300,7 +300,7 @@ - + @@ -534,7 +534,7 @@ - + @@ -608,7 +608,7 @@ - + @@ -823,7 +823,7 @@ - + @@ -897,7 +897,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/jetbrains.mps.baseLanguage.tuplesExt.test.msd b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/jetbrains.mps.baseLanguage.tuplesExt.test.msd index fdbd7031..3eb93d1c 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/jetbrains.mps.baseLanguage.tuplesExt.test.msd +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/jetbrains.mps.baseLanguage.tuplesExt.test.msd @@ -19,7 +19,7 @@ d351f235-67ad-4737-a13e-ec0ea46c55e2(jetbrains.mps.baseLanguage.tuplesExt) - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/models/jetbrains.mps.baseLanguage.tuplesExt.test.tuples.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/models/jetbrains.mps.baseLanguage.tuplesExt.test.tuples.mps index d0ed356a..df74cfbe 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/models/jetbrains.mps.baseLanguage.tuplesExt.test.tuples.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/models/jetbrains.mps.baseLanguage.tuplesExt.test.tuples.mps @@ -5,7 +5,7 @@ - + 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 fa36f6b3..333ba700 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 @@ -27,7 +27,7 @@ 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) - + @@ -39,7 +39,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps index 7d0c7b14..a300b549 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps @@ -4,7 +4,7 @@ - + @@ -284,7 +284,7 @@ - + @@ -512,7 +512,7 @@ - + @@ -9574,7 +9574,7 @@ - + @@ -10193,7 +10193,7 @@ - + @@ -10325,7 +10325,7 @@ - + @@ -11192,7 +11192,7 @@ - + @@ -11523,7 +11523,7 @@ - + @@ -13972,7 +13972,7 @@ - + @@ -15306,7 +15306,7 @@ - + @@ -15335,7 +15335,9 @@ - + + + @@ -15474,7 +15476,7 @@ - + @@ -15851,7 +15853,7 @@ - + @@ -15908,7 +15910,7 @@ - + @@ -15998,7 +16000,7 @@ - + @@ -16087,7 +16089,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.generics.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.generics.mps index 81203754..284e4dfb 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.generics.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.generics.mps @@ -3,7 +3,7 @@ - + @@ -185,7 +185,7 @@ - + @@ -2115,7 +2115,7 @@ - + @@ -2351,7 +2351,7 @@ - + @@ -2510,7 +2510,7 @@ - + @@ -2746,7 +2746,7 @@ - + @@ -2922,7 +2922,7 @@ - + @@ -3092,7 +3092,7 @@ - + @@ -3157,7 +3157,7 @@ - + @@ -4904,7 +4904,7 @@ - + @@ -5300,7 +5300,7 @@ - + @@ -5322,7 +5322,7 @@ - + @@ -5350,7 +5350,7 @@ - + @@ -5373,7 +5373,7 @@ - + @@ -5423,7 +5423,7 @@ - + @@ -5674,7 +5674,7 @@ - + @@ -5694,7 +5694,9 @@ - + + + @@ -5723,7 +5725,9 @@ - + + + @@ -5931,7 +5935,7 @@ - + @@ -5951,7 +5955,9 @@ - + + + @@ -6038,7 +6044,7 @@ - + @@ -6064,7 +6070,9 @@ - + + + @@ -6177,7 +6185,7 @@ - + @@ -6197,7 +6205,9 @@ - + + + @@ -6240,7 +6250,7 @@ - + @@ -6286,7 +6296,7 @@ - + @@ -6358,7 +6368,7 @@ - + @@ -6408,7 +6418,7 @@ - + @@ -6428,7 +6438,9 @@ - + + + @@ -7218,7 +7230,7 @@ - + @@ -7471,7 +7483,7 @@ - + @@ -7512,7 +7524,9 @@ - + + + @@ -7546,7 +7560,7 @@ - + @@ -7651,7 +7665,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.staging.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.staging.mps index 056acc90..b2a77da2 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.staging.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.staging.mps @@ -3,7 +3,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.thinlet.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.thinlet.mps index 86c3f758..5fa6c6fd 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.thinlet.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.thinlet.mps @@ -3,7 +3,7 @@ - + @@ -35,6 +35,9 @@ + + + @@ -63,22 +66,15 @@ - - - - - - - - + @@ -203,6 +199,10 @@ + + + + @@ -228,6 +228,10 @@ + + + + @@ -242,7 +246,7 @@ - + @@ -450,14 +454,14 @@ - + - + @@ -499,7 +503,7 @@ - + @@ -740,29 +744,8 @@ - - - - - - - - - - - - - - - - - - - - - - - + + @@ -812,6 +795,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -828,7 +834,7 @@ - + @@ -855,26 +861,8 @@ - - - - - - - - - - - - - - - - - - - - + + @@ -917,6 +905,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -1146,7 +1154,7 @@ - + @@ -1162,7 +1170,7 @@ - + @@ -1496,7 +1504,7 @@ - + @@ -1555,7 +1563,7 @@ - + @@ -1603,7 +1611,7 @@ - + @@ -1618,14 +1626,14 @@ - + - + @@ -1641,7 +1649,7 @@ - + @@ -1695,7 +1703,7 @@ - + @@ -2558,7 +2566,7 @@ - + @@ -4116,7 +4124,7 @@ - + @@ -6236,7 +6244,7 @@ - + @@ -6334,7 +6342,7 @@ - + @@ -6398,7 +6406,7 @@ - + @@ -6430,14 +6438,14 @@ - + - + @@ -6554,14 +6562,14 @@ - + - + @@ -6728,7 +6736,7 @@ - + @@ -6926,7 +6934,7 @@ - + @@ -7018,7 +7026,7 @@ - + @@ -7266,7 +7274,7 @@ - + @@ -7306,7 +7314,7 @@ - + @@ -7813,7 +7821,7 @@ - + @@ -8021,7 +8029,7 @@ - + @@ -8061,7 +8069,7 @@ - + @@ -8124,7 +8132,7 @@ - + @@ -8390,7 +8398,7 @@ - + @@ -9015,14 +9023,14 @@ - + - + @@ -9537,7 +9545,7 @@ - + @@ -9912,7 +9920,7 @@ - + @@ -10098,7 +10106,7 @@ - + @@ -10582,7 +10590,7 @@ - + @@ -10613,7 +10621,7 @@ - + @@ -12374,7 +12382,7 @@ - + @@ -12416,7 +12424,7 @@ - + @@ -12737,7 +12745,7 @@ - + @@ -12747,7 +12755,7 @@ - + @@ -12757,7 +12765,7 @@ - + @@ -12767,7 +12775,7 @@ - + @@ -12808,7 +12816,7 @@ - + @@ -13589,7 +13597,7 @@ - + @@ -13633,7 +13641,7 @@ - + @@ -13811,7 +13819,7 @@ - + @@ -13855,7 +13863,7 @@ - + @@ -13884,7 +13892,7 @@ - + @@ -13911,7 +13919,7 @@ - + @@ -13938,7 +13946,7 @@ - + @@ -13965,7 +13973,7 @@ - + @@ -14044,7 +14052,7 @@ - + @@ -14197,7 +14205,7 @@ - + @@ -14232,7 +14240,7 @@ - + @@ -15188,7 +15196,7 @@ - + @@ -15613,14 +15621,14 @@ - + - + @@ -15636,7 +15644,7 @@ - + @@ -15669,7 +15677,7 @@ - + @@ -15731,7 +15739,7 @@ - + @@ -15744,7 +15752,7 @@ - + @@ -15760,7 +15768,7 @@ - + @@ -16181,7 +16189,7 @@ - + @@ -16217,7 +16225,7 @@ - + @@ -16233,14 +16241,14 @@ - + - + @@ -17059,7 +17067,7 @@ - + @@ -17170,7 +17178,7 @@ - + @@ -17209,7 +17217,7 @@ - + @@ -19033,7 +19041,7 @@ - + @@ -19081,7 +19089,7 @@ - + @@ -19185,7 +19193,7 @@ - + @@ -19592,7 +19600,7 @@ - + @@ -20166,7 +20174,7 @@ - + @@ -20185,14 +20193,14 @@ - + - + @@ -20241,7 +20249,7 @@ - + @@ -20254,7 +20262,7 @@ - + @@ -20270,14 +20278,14 @@ - + - + @@ -21212,7 +21220,7 @@ - + @@ -21966,7 +21974,7 @@ - + @@ -22167,14 +22175,14 @@ - + - + @@ -23993,7 +24001,7 @@ - + @@ -24030,14 +24038,14 @@ - + - + @@ -24160,7 +24168,7 @@ - + @@ -24275,7 +24283,7 @@ - + @@ -24554,7 +24562,7 @@ - + @@ -24594,7 +24602,7 @@ - + @@ -24646,7 +24654,7 @@ - + @@ -24768,7 +24776,7 @@ - + @@ -24923,14 +24931,14 @@ - + - + @@ -25024,14 +25032,14 @@ - + - + @@ -25145,14 +25153,14 @@ - + - + @@ -25281,14 +25289,14 @@ - + - + @@ -26066,7 +26074,7 @@ - + @@ -26085,7 +26093,7 @@ - + @@ -26562,14 +26570,14 @@ - + - + @@ -26880,7 +26888,7 @@ - + @@ -26937,7 +26945,7 @@ - + @@ -27066,7 +27074,7 @@ - + @@ -27226,7 +27234,7 @@ - + @@ -27270,7 +27278,7 @@ - + @@ -28335,7 +28343,7 @@ - + @@ -28447,14 +28455,14 @@ - + - + @@ -28532,14 +28540,14 @@ - + - + @@ -28770,14 +28778,14 @@ - + - + @@ -28833,14 +28841,14 @@ - + - + @@ -28933,14 +28941,14 @@ - + - + @@ -29144,7 +29152,7 @@ - + @@ -29268,7 +29276,7 @@ - + @@ -29930,7 +29938,7 @@ - + @@ -30000,7 +30008,7 @@ - + @@ -30019,7 +30027,7 @@ - + @@ -30050,7 +30058,7 @@ - + @@ -30084,7 +30092,7 @@ - + @@ -31462,7 +31470,7 @@ - + @@ -31709,7 +31717,7 @@ - + @@ -31728,14 +31736,14 @@ - + - + @@ -31757,14 +31765,14 @@ - + - + @@ -31804,7 +31812,7 @@ - + @@ -31853,7 +31861,7 @@ - + @@ -31884,7 +31892,7 @@ - + @@ -31915,7 +31923,7 @@ - + @@ -31924,14 +31932,14 @@ - + - + @@ -31941,7 +31949,7 @@ - + @@ -32369,14 +32377,14 @@ - + - + @@ -32448,14 +32456,14 @@ - + - + @@ -32527,14 +32535,14 @@ - + - + @@ -32596,14 +32604,14 @@ - + - + @@ -32847,7 +32855,7 @@ - + @@ -32884,7 +32892,7 @@ - + @@ -32914,7 +32922,7 @@ - + @@ -32954,7 +32962,7 @@ - + @@ -32981,14 +32989,14 @@ - + - + @@ -33079,7 +33087,7 @@ - + @@ -33289,14 +33297,14 @@ - + - + @@ -33385,7 +33393,7 @@ - + @@ -33411,14 +33419,14 @@ - + - + @@ -33552,14 +33560,14 @@ - + - + @@ -33590,7 +33598,7 @@ - + @@ -33735,18 +33743,8 @@ - - - - - - - - - - - - + + @@ -33847,7 +33845,7 @@ - + @@ -33988,9 +33986,21 @@ + + + + + + + + + + + + - + @@ -34161,7 +34171,7 @@ - + @@ -34256,7 +34266,7 @@ - + @@ -34278,7 +34288,7 @@ - + @@ -34303,7 +34313,7 @@ - + @@ -34322,7 +34332,7 @@ - + @@ -34335,7 +34345,7 @@ - + @@ -34348,14 +34358,14 @@ - + - + @@ -34479,7 +34489,7 @@ - + @@ -35018,7 +35028,7 @@ - + @@ -35091,7 +35101,7 @@ - + @@ -35110,26 +35120,8 @@ - - - - - - - - - - - - - - - - - - - - + + @@ -35152,6 +35144,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -35196,7 +35208,7 @@ - + @@ -35218,7 +35230,7 @@ - + @@ -35243,7 +35255,7 @@ - + @@ -35277,7 +35289,7 @@ - + @@ -35299,7 +35311,7 @@ - + @@ -35318,7 +35330,7 @@ - + @@ -35340,7 +35352,7 @@ - + @@ -35356,14 +35368,14 @@ - + - + @@ -35403,7 +35415,7 @@ - + @@ -35430,28 +35442,10 @@ - - - - - - - - - - - - - - - - - - - - + + - + @@ -35609,7 +35603,7 @@ - + @@ -35651,7 +35645,7 @@ - + @@ -35692,6 +35686,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -37515,7 +37529,7 @@ - + @@ -37609,7 +37623,7 @@ - + @@ -37725,7 +37739,7 @@ - + @@ -37799,7 +37813,7 @@ - + @@ -37897,7 +37911,7 @@ - + @@ -37934,7 +37948,7 @@ - + @@ -38107,7 +38121,7 @@ - + @@ -38328,7 +38342,7 @@ - + @@ -40793,7 +40807,7 @@ - + @@ -41154,7 +41168,7 @@ - + @@ -41298,14 +41312,14 @@ - + - + @@ -41579,7 +41593,7 @@ - + @@ -42054,7 +42068,7 @@ - + @@ -42349,37 +42363,16 @@ - + - - - - - - - - - - - - - - - - - - - - - - - + + - + @@ -42398,7 +42391,7 @@ - + @@ -42414,7 +42407,7 @@ - + @@ -42436,7 +42429,7 @@ - + @@ -42467,7 +42460,7 @@ - + @@ -42489,7 +42482,7 @@ - + @@ -42511,7 +42504,7 @@ - + @@ -42542,7 +42535,7 @@ - + @@ -42599,16 +42592,39 @@ + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -42865,26 +42881,16 @@ - + - - - - - - - - - - - - + + - + @@ -42909,7 +42915,7 @@ - + @@ -42925,7 +42931,7 @@ - + @@ -42947,7 +42953,7 @@ - + @@ -42969,7 +42975,7 @@ - + @@ -42997,7 +43003,7 @@ - + @@ -43016,7 +43022,7 @@ - + @@ -43032,7 +43038,7 @@ - + @@ -43045,7 +43051,7 @@ - + @@ -43061,7 +43067,7 @@ - + @@ -43110,9 +43116,21 @@ + + + + + + + + + + + + - + @@ -43167,7 +43185,7 @@ - + @@ -43187,7 +43205,7 @@ - + @@ -43247,7 +43265,7 @@ - + @@ -43357,14 +43375,14 @@ - + - + @@ -43402,7 +43420,7 @@ - + @@ -43512,14 +43530,14 @@ - + - + @@ -43674,14 +43692,14 @@ - + - + @@ -44315,7 +44333,7 @@ - + @@ -44347,7 +44365,7 @@ - + @@ -44410,7 +44428,7 @@ - + @@ -45382,7 +45400,7 @@ - + @@ -45865,7 +45883,7 @@ - + @@ -46130,7 +46148,7 @@ - + @@ -46325,14 +46343,14 @@ - + - + @@ -47565,7 +47583,7 @@ - + @@ -47977,7 +47995,7 @@ - + @@ -47992,7 +48010,7 @@ - + @@ -48128,7 +48146,7 @@ - + @@ -48170,7 +48188,7 @@ - + @@ -48538,7 +48556,7 @@ - + @@ -48800,7 +48818,7 @@ - + @@ -49042,7 +49060,7 @@ - + @@ -49064,7 +49082,7 @@ - + @@ -49233,7 +49251,7 @@ - + @@ -49369,7 +49387,7 @@ - + @@ -49756,7 +49774,7 @@ - + @@ -49849,7 +49867,7 @@ - + @@ -51102,7 +51120,7 @@ - + @@ -51438,7 +51456,7 @@ - + @@ -51632,7 +51650,7 @@ - + @@ -51827,7 +51845,7 @@ - + @@ -51884,7 +51902,7 @@ - + @@ -51899,7 +51917,7 @@ - + @@ -52465,7 +52483,7 @@ - + @@ -54015,18 +54033,8 @@ - - - - - - - - - - - - + + @@ -54154,6 +54162,18 @@ + + + + + + + + + + + + @@ -54223,9 +54243,32 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -54242,16 +54285,18 @@ - + + + - - - + + + + + - - - + @@ -54263,27 +54308,6 @@ - - - - - - - - - - - - - - - - - - - - - @@ -54445,14 +54469,14 @@ - + - + @@ -54504,7 +54528,7 @@ - + @@ -55319,7 +55343,7 @@ - + @@ -55477,14 +55501,14 @@ - + - + @@ -56635,7 +56659,7 @@ - + @@ -56657,7 +56681,7 @@ - + @@ -56679,7 +56703,7 @@ - + @@ -56701,7 +56725,7 @@ - + @@ -56792,7 +56816,7 @@ - + @@ -57100,7 +57124,7 @@ - + @@ -57130,7 +57154,7 @@ - + @@ -57253,7 +57277,7 @@ - + @@ -57713,7 +57737,7 @@ - + @@ -58193,7 +58217,7 @@ - + @@ -58205,7 +58229,7 @@ - + @@ -58214,7 +58238,7 @@ - + @@ -58261,7 +58285,7 @@ - + @@ -58288,7 +58312,7 @@ - + @@ -58393,7 +58417,7 @@ - + @@ -58432,7 +58456,7 @@ - + @@ -58453,7 +58477,7 @@ - + @@ -58497,7 +58521,7 @@ - + @@ -58616,7 +58640,7 @@ - + @@ -58654,7 +58678,7 @@ - + @@ -58697,7 +58721,7 @@ - + @@ -58792,7 +58816,7 @@ - + @@ -59378,7 +59402,7 @@ - + @@ -60035,7 +60059,7 @@ - + @@ -60089,7 +60113,7 @@ - + @@ -60176,7 +60200,7 @@ - + @@ -60729,7 +60753,7 @@ - + @@ -62171,7 +62195,7 @@ - + @@ -62360,7 +62384,7 @@ - + @@ -63343,27 +63367,17 @@ - - - - - - - - - - - - + + - + - + @@ -63397,14 +63411,14 @@ - + - + @@ -63435,16 +63449,28 @@ + + + + + + + + + + + + - + - + @@ -63472,7 +63498,7 @@ - + @@ -63491,7 +63517,7 @@ - + @@ -63506,7 +63532,7 @@ - + @@ -63716,14 +63742,14 @@ - + - + @@ -63972,7 +63998,7 @@ - + @@ -64005,7 +64031,7 @@ - + @@ -64053,7 +64079,7 @@ - + @@ -65251,7 +65277,7 @@ - + @@ -65293,7 +65319,7 @@ - + @@ -65329,7 +65355,7 @@ - + @@ -65476,7 +65502,7 @@ - + @@ -65539,7 +65565,7 @@ - + @@ -65636,7 +65662,7 @@ - + @@ -65646,7 +65672,7 @@ - + @@ -65656,7 +65682,7 @@ - + @@ -65700,7 +65726,7 @@ - + @@ -65735,7 +65761,7 @@ - + @@ -65819,7 +65845,7 @@ - + @@ -65845,7 +65871,7 @@ - + @@ -66056,7 +66082,7 @@ - + @@ -66597,7 +66623,7 @@ - + @@ -66645,7 +66671,7 @@ - + @@ -66724,7 +66750,7 @@ - + @@ -66821,7 +66847,7 @@ - + @@ -66896,14 +66922,14 @@ - + - + @@ -67028,43 +67054,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -67094,49 +67085,51 @@ - - - - - - - - - - - - + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - + + + + + - + @@ -67166,23 +67159,60 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -68862,14 +68892,14 @@ - + - + @@ -68998,14 +69028,14 @@ - + - + @@ -69082,14 +69112,14 @@ - + - + @@ -69265,7 +69295,7 @@ - + @@ -69821,7 +69851,7 @@ - + @@ -69843,7 +69873,7 @@ - + @@ -69868,7 +69898,7 @@ - + @@ -69908,7 +69938,7 @@ - + @@ -69924,7 +69954,7 @@ - + @@ -69958,7 +69988,7 @@ - + @@ -69977,7 +70007,7 @@ - + @@ -69987,7 +70017,7 @@ - + @@ -69997,7 +70027,7 @@ - + @@ -70007,7 +70037,7 @@ - + @@ -70017,7 +70047,7 @@ - + @@ -70036,28 +70066,28 @@ - + - + - + - + @@ -70067,7 +70097,7 @@ - + @@ -70077,7 +70107,7 @@ - + @@ -70096,14 +70126,14 @@ - + - + @@ -70952,14 +70982,14 @@ - + - + @@ -71107,14 +71137,14 @@ - + - + @@ -71241,7 +71271,7 @@ - + @@ -71251,7 +71281,7 @@ - + @@ -71264,7 +71294,7 @@ - + @@ -71280,7 +71310,7 @@ - + @@ -71302,24 +71332,14 @@ - + - - - - - - - - - - - - + + @@ -71348,7 +71368,7 @@ - + @@ -71361,6 +71381,18 @@ + + + + + + + + + + + + @@ -71370,18 +71402,8 @@ - - - - - - - - - - - - + + @@ -71403,7 +71425,7 @@ - + @@ -71503,11 +71525,23 @@ + + + + + + + + + + + + - + @@ -71535,7 +71569,7 @@ - + @@ -71545,7 +71579,7 @@ - + @@ -71561,7 +71595,7 @@ - + @@ -71580,7 +71614,7 @@ - + @@ -71632,18 +71666,8 @@ - - - - - - - - - - - - + + @@ -71661,9 +71685,21 @@ + + + + + + + + + + + + - + @@ -71675,7 +71711,7 @@ - + @@ -71849,7 +71885,7 @@ - + @@ -71865,7 +71901,7 @@ - + @@ -71878,7 +71914,7 @@ - + @@ -71900,7 +71936,7 @@ - + @@ -71940,49 +71976,49 @@ - + - + - + - + - + - + - + @@ -71992,21 +72028,21 @@ - + - + - + @@ -72016,14 +72052,14 @@ - + - + @@ -72036,7 +72072,7 @@ - + @@ -72058,7 +72094,7 @@ - + @@ -72068,7 +72104,7 @@ - + @@ -72087,7 +72123,7 @@ - + @@ -72106,14 +72142,14 @@ - + - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps index fc08c06e..d23763d9 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps @@ -72,7 +72,7 @@ - + @@ -334,7 +334,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps index cf7d0d9f..5b14383d 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps @@ -77,7 +77,7 @@ - + @@ -297,7 +297,7 @@ - + @@ -506,7 +506,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps index 953c0def..f159d3ed 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps @@ -4,12 +4,12 @@ - + - + @@ -224,7 +224,7 @@ - + @@ -415,7 +415,7 @@ - + @@ -450,7 +450,9 @@ - + + + @@ -479,7 +481,9 @@ - + + + @@ -525,7 +529,7 @@ - + @@ -574,7 +578,7 @@ - + @@ -1491,7 +1495,7 @@ - + @@ -1519,7 +1523,7 @@ - + @@ -2012,7 +2016,7 @@ - + @@ -4236,7 +4240,7 @@ - + @@ -4644,7 +4648,7 @@ - + @@ -4794,7 +4798,7 @@ - + @@ -4964,7 +4968,7 @@ - + @@ -4989,7 +4993,7 @@ - + @@ -5141,7 +5145,7 @@ - + @@ -5262,7 +5266,7 @@ - + @@ -5822,7 +5826,7 @@ - + @@ -5885,7 +5889,7 @@ - + @@ -6083,7 +6087,7 @@ - + @@ -6164,7 +6168,7 @@ - + @@ -6346,7 +6350,7 @@ - + @@ -6422,7 +6426,7 @@ - + @@ -6491,7 +6495,7 @@ - + @@ -6816,7 +6820,7 @@ - + @@ -7438,7 +7442,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps index 5341fc4d..be1ad1c7 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps @@ -4,7 +4,7 @@ - + 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 f23b6cfe..411be073 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 @@ -5,13 +5,13 @@ - + - + @@ -73,10 +73,6 @@ - - - - @@ -200,6 +196,9 @@ + + + @@ -207,6 +206,10 @@ + + + + @@ -8802,8 +8805,8 @@ - - + + @@ -9201,13 +9204,15 @@ - - - - - - - + + + + + + + + + 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 90b32061..08d9a5ba 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps @@ -4,7 +4,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps index 5d017a12..f92f22a5 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.mps index 12520d64..9530e6f0 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.mps @@ -2,7 +2,7 @@ - + @@ -109,7 +109,7 @@ - + @@ -414,7 +414,7 @@ - + @@ -436,7 +436,7 @@ - + @@ -464,7 +464,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.helloWorld.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.helloWorld.mps index 24ade542..388163ed 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.helloWorld.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.helloWorld.mps @@ -3,7 +3,7 @@ - + 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 b9f33f1a..8144de72 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd @@ -25,7 +25,7 @@ e44e7802-2e40-482b-9b1c-6d42660a6a11(jetbrains.mps.baseLanguageExt.test) - + @@ -39,7 +39,7 @@ - +