From cd37daaa07294caf2d600fbfe79cba529b9af930 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 30 May 2019 13:11:59 +0200 Subject: [PATCH] Apply migrations after switching to the latest EAP build of MPS. --- .../generator/template/main@generator.mps | 255 +- .../jetbrains.mps.lang.coderules.mpl | 4 +- .../languageModels/constraints.mps | 25 +- .../languageModels/intentions.mps | 69 +- .../languageModels/migration.mps | 2 +- .../jetbrains.mps.lang.coderules.runtime.msd | 2 +- .../jetbrains.mps.lang.coderules.eval.mps | 315 +- .../jetbrains.mps.lang.coderules.program.mps | 621 +- .../jetbrains.mps.lang.controlflow.mpl | 4 +- .../jetbrains.mps.lang.smodel.types.mpl | 4 +- .../generator/template/main@generator.mps | 2 +- .../jetbrains.mps.lang.typechecking.mpl | 4 +- .../models/behavior.mps | 2 +- .../models/constraints.mps | 45 +- .../models/typesystem.mps | 2 +- .../generator/template/main@generator.mps | 2 +- .../jetbrains.mps.logic.mpl | 4 +- .../languageModels/behavior.mps | 30 +- .../languageModels/constraints.mps | 42 +- .../languageModels/editor.mps | 2 +- .../languageModels/typesystem.mps | 87 +- .../runtime/jetbrains.mps.logic.runtime.msd | 2 +- .../models/jetbrains.mps.logic.dataform.mps | 615 +- .../models/jetbrains.mps.logic.predicate.mps | 387 +- .../jetbrains.mps.logic.unification.mps | 63 +- .../jetbrains.mps.typechecking.annotation.mpl | 2 +- .../languageModels/intentions.mps | 2 +- .../jetbrains.mps.typechecking.testlang.mpl | 4 +- .../models/types.mps | 2 +- .../jetbrains.mps.coderules.test.msd | 2 +- .../models/modelcheck@tests.mps | 2 +- ...brains.mps.coderules.typechecking.test.msd | 2 +- ...tbrains.mps.coderules.scheduling@tests.mps | 63 +- ...rains.mps.coderules.typechecking@tests.mps | 87 +- ...etbrains.mps.coderules.typechecking.ui.msd | 2 +- ...s.mps.coderules.typechecking.ui.plugin.mps | 30 +- .../jetbrains.mps.coderules.typechecking.msd | 2 +- .../jetbrains.mps.coderules.typechecking.mps | 2 +- ...ains.mps.coderules.typechecking.plugin.mps | 73 +- ...ins.mps.coderules.typechecking.service.mps | 249 +- .../jetbrains.mps.coderules.ui.msd | 2 +- .../models/plugin.mps | 921 ++- .../jetbrains.mps.coderules.msd | 2 +- .../jetbrains.mps.coderules/models/plugin.mps | 2 +- .../models/service.mps | 111 +- .../jetbrains.mps.controlflow.ui.msd | 2 +- .../models/plugin.mps | 30 +- .../jetbrains.mps.controlflow.msd | 2 +- .../models/service.mps | 39 +- .../jetbrains.mps.lang.coderules.template.msd | 2 +- .../jetbrains.mps.lang.coderules.aspect.mps | 108 +- .../jetbrains.mps.lang.coderules.macro.mps | 2 +- .../jetbrains.mps.lang.coderules.template.mps | 141 +- ...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 | 2 +- .../mps/logic/test/logical@tests.mps | 204 +- .../jetbrains/mps/logic/test/unification.mps | 2 +- .../mps/logic/test/unification@tests.mps | 231 +- .../jetbrains.mps.reporting.runtime.msd | 2 +- ...tbrains.mps.lang.typesystem2.reporting.mps | 27 +- .../models/types.mps | 331 +- .../samples.fitch.firstOrderLogic.mpl | 4 +- .../models/types.mps | 322 +- .../samples.fitch.herbrandLogic.mpl | 4 +- .../models/constraints.mps | 2 +- .../models/editor.mps | 2 +- .../models/types.mps | 2 +- .../samples.fitch.propositionalLogic.mpl | 4 +- .../languages/samples.fitch/models/types.mps | 2 +- .../languages/samples.fitch/samples.fitch.mpl | 4 +- .../samples.fitch.demo/samples.fitch.demo.msd | 2 +- .../samples.lambdacalc/models/constraints.mps | 385 +- .../samples.lambdacalc/models/types.mps | 3586 +++++++++- .../samples.lambdacalc/samples.lambdacalc.mpl | 2 +- .../models/samples.lambdacalc.demo@tests.mps | 46 +- .../samples.lambdacalc.demo.msd | 2 +- .../jetbrains.mps.baseLanguageExt.mpl | 2 +- .../jetbrains.mps.baseLanguageExt.types.mps | 663 +- .../jetbrains.mps.baseLanguageExt.test.msd | 2 +- ...s.mps.baseLanguageExt.test.types@tests.mps | 2 +- .../models/bounds.bad@tests.mps | 2 +- .../models/bounds@tests.mps | 2 +- .../models/codeAnal@tests.mps | 2 +- .../models/features.mps | 21 +- .../models/features@tests.mps | 34 +- .../models/staging.mps | 2 +- ...ecking.samples.baseLanguage.bounds.bad.mps | 153 +- ...pechecking.samples.baseLanguage.bounds.mps | 84 +- ...checking.samples.baseLanguage.codeAnal.mps | 5826 ++++++++++++++--- ...ecking.samples.baseLanguage.helloWorld.mps | 2 +- ...ng.samples.baseLanguage.simpleGenerics.mps | 2 +- ...ypechecking.samples.baseLanguage.slice.mps | 2 +- .../typechecking.samples.baseLanguage.msd | 2 +- 97 files changed, 14568 insertions(+), 1891 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 e6a17f1d..92020813 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps @@ -13,7 +13,7 @@ - + @@ -277,11 +277,8 @@ - - - - + @@ -660,6 +657,14 @@ + + + + + + + + @@ -860,18 +865,81 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + @@ -923,8 +991,13 @@ - - + + + + + + + @@ -2069,8 +2142,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -3433,8 +3526,22 @@ - - + + + + + + + + + + + + + + + + @@ -3521,8 +3628,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -3589,8 +3713,22 @@ - - + + + + + + + + + + + + + + + + @@ -3658,8 +3796,22 @@ - - + + + + + + + + + + + + + + + + @@ -4509,8 +4661,19 @@ - - + + + + + + + + + + + + + @@ -11091,8 +11254,19 @@ - - + + + + + + + + + + + + + @@ -11700,8 +11874,13 @@ - - + + + + + + + @@ -11978,8 +12157,13 @@ - - + + + + + + + @@ -12241,8 +12425,13 @@ - - + + + + + + + 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 c32e1ea9..e0a12992 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl +++ b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl @@ -25,7 +25,7 @@ 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) - + @@ -98,7 +98,7 @@ 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime) - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps index f0537249..b5492e71 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps @@ -115,11 +115,8 @@ - - - - + @@ -215,6 +212,14 @@ + + + + + + + + @@ -543,8 +548,16 @@ - - + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps index 4b8d462e..512ce561 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 @@ - + @@ -81,11 +81,8 @@ - - - - + @@ -186,6 +183,14 @@ + + + + + + + + @@ -272,8 +277,22 @@ - - + + + + + + + + + + + + + + + + @@ -341,8 +360,40 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps index d15861f3..54d8d8b8 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/runtime/jetbrains.mps.lang.coderules.runtime.msd b/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd index c96a0272..24bde774 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd @@ -15,7 +15,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 efcf2759..2e1bf118 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps @@ -2,7 +2,7 @@ - + @@ -258,11 +258,8 @@ - - - - + @@ -348,6 +345,14 @@ + + + + + + + + @@ -441,8 +446,46 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -963,8 +1006,19 @@ - - + + + + + + + + + + + + + @@ -1217,8 +1271,16 @@ - - + + + + + + + + + + @@ -1479,8 +1541,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1694,8 +1779,22 @@ - - + + + + + + + + + + + + + + + + @@ -2044,8 +2143,13 @@ - - + + + + + + + @@ -2085,8 +2189,13 @@ - - + + + + + + + @@ -3675,13 +3784,59 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + @@ -4135,8 +4290,16 @@ - - + + + + + + + + + + @@ -4241,8 +4404,19 @@ - - + + + + + + + + + + + + + @@ -4756,8 +4930,16 @@ - - + + + + + + + + + + @@ -5186,8 +5368,19 @@ - - + + + + + + + + + + + + + @@ -6296,8 +6489,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7261,8 +7483,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + 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 9f6af967..6ee8ed35 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps @@ -2,7 +2,7 @@ - + @@ -253,11 +253,8 @@ - - - - + @@ -350,6 +347,14 @@ + + + + + + + + @@ -878,8 +883,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1497,8 +1528,46 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1818,8 +1887,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2022,8 +2120,19 @@ - - + + + + + + + + + + + + + @@ -2294,8 +2403,16 @@ - - + + + + + + + + + + @@ -2404,13 +2521,74 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + @@ -3102,8 +3280,22 @@ - - + + + + + + + + + + + + + + + + @@ -3601,8 +3793,16 @@ - - + + + + + + + + + + @@ -3641,8 +3841,16 @@ - - + + + + + + + + + + @@ -3672,8 +3880,16 @@ - - + + + + + + + + + + @@ -4378,8 +4594,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4687,8 +4932,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -4743,8 +5005,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -5144,8 +5426,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -5183,8 +5482,19 @@ - - + + + + + + + + + + + + + @@ -6184,8 +6494,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6381,8 +6717,19 @@ - - + + + + + + + + + + + + + @@ -6529,8 +6876,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -6561,18 +6928,78 @@ - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7000,8 +7427,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -7032,18 +7479,78 @@ - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 dbb91877..d8a9e25b 100644 --- a/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl +++ b/coderules/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl @@ -23,7 +23,7 @@ e45a8b22-94f2-427f-b849-77f254c4eef5(jetbrains.mps.lang.aspect#3274906159125927726) - + @@ -94,7 +94,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl b/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl index 8c4093f6..0c651b14 100644 --- a/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl +++ b/coderules/languages/jetbrains.mps.lang.smodel.types/jetbrains.mps.lang.smodel.types.mpl @@ -15,7 +15,7 @@ - + @@ -71,7 +71,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 d7b42bb6..6f8e66bb 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps @@ -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 9063122c..38693a90 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl +++ b/coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl @@ -31,7 +31,7 @@ e45a8b22-94f2-427f-b849-77f254c4eef5(jetbrains.mps.lang.aspect#3274906159125927726) - + @@ -105,7 +105,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/behavior.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/behavior.mps index a1de5fa5..568bc525 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 2d6387f0..8c33f23d 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 @@ - + @@ -23,11 +23,8 @@ - - - - + @@ -37,14 +34,48 @@ + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps index 56af4f16..c7814162 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps @@ -3,7 +3,7 @@ - + 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 46c381c3..fb8c9223 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 908a8fbf..e108fbf9 100644 --- a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -21,7 +21,7 @@ ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) - + @@ -89,7 +89,7 @@ a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps index c96a4840..e8638c71 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps @@ -4,7 +4,7 @@ - + @@ -99,11 +99,8 @@ - - - - + @@ -181,6 +178,14 @@ + + + + + + + + @@ -248,8 +253,19 @@ - - + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps index e212c7eb..b2d8a589 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps @@ -4,7 +4,7 @@ - + @@ -115,11 +115,8 @@ - - - - + @@ -268,6 +265,14 @@ + + + + + + + + @@ -288,8 +293,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps index 99429a74..b6ff2473 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -4,7 +4,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps index c2e68164..2ac66145 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps @@ -3,7 +3,7 @@ - + @@ -79,11 +79,8 @@ - - - - + @@ -215,6 +212,14 @@ + + + + + + + + @@ -762,8 +767,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -781,8 +803,10 @@ - - + + + + @@ -804,8 +828,10 @@ - - + + + + @@ -827,8 +853,10 @@ - - + + + + @@ -845,8 +873,10 @@ - - + + + + @@ -865,8 +895,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -1311,8 +1358,10 @@ - - + + + + 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 802d7689..15361cf2 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd +++ b/coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd @@ -13,7 +13,7 @@ ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) - + 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 189d2978..0acb934a 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 @@ - + @@ -280,11 +280,8 @@ - - - - + @@ -329,6 +326,14 @@ + + + + + + + + @@ -612,8 +617,13 @@ - - + + + + + + + @@ -1082,8 +1092,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -1303,8 +1333,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1932,8 +1991,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2276,8 +2361,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -2566,8 +2671,46 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2625,8 +2768,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2658,8 +2830,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2936,8 +3131,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -3424,8 +3639,13 @@ - - + + + + + + + @@ -3703,8 +3923,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5093,8 +5342,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -5632,8 +5901,13 @@ - - + + + + + + + @@ -5703,8 +5977,13 @@ - - + + + + + + + @@ -5774,8 +6053,13 @@ - - + + + + + + + @@ -8482,8 +8766,10 @@ - - + + + + @@ -8548,8 +8834,49 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9024,8 +9351,13 @@ - - + + + + + + + @@ -9082,8 +9414,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -10934,8 +11283,55 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11000,8 +11396,43 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11117,8 +11548,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -11307,8 +11758,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11944,8 +12424,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 dbf4a8d2..d8072f1d 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps +++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.predicate.mps @@ -2,7 +2,7 @@ - + @@ -225,11 +225,8 @@ - - - - + @@ -275,6 +272,14 @@ + + + + + + + + @@ -785,8 +790,19 @@ - - + + + + + + + + + + + + + @@ -1952,8 +1968,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2459,8 +2501,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2922,8 +2990,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3032,8 +3126,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3099,8 +3216,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3717,8 +3860,19 @@ - - + + + + + + + + + + + + + @@ -5793,8 +5947,13 @@ - - + + + + + + + @@ -5912,8 +6071,13 @@ - - + + + + + + + @@ -6232,8 +6396,19 @@ - - + + + + + + + + + + + + + @@ -6292,8 +6467,13 @@ - - + + + + + + + @@ -6518,8 +6698,13 @@ - - + + + + + + + @@ -6637,8 +6822,13 @@ - - + + + + + + + @@ -6829,8 +7019,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -6928,8 +7138,13 @@ - - + + + + + + + @@ -7049,8 +7264,19 @@ - - + + + + + + + + + + + + + @@ -8015,8 +8241,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8066,8 +8315,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8551,8 +8829,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + 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 aa6466d1..e8faf624 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 @@ - + @@ -207,11 +207,8 @@ - - - - + @@ -224,6 +221,14 @@ + + + + + + + + @@ -236,8 +241,16 @@ - - + + + + + + + + + + @@ -595,8 +608,16 @@ - - + + + + + + + + + + @@ -1045,8 +1066,16 @@ - - + + + + + + + + + + @@ -1439,8 +1468,16 @@ - - + + + + + + + + + + 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 4364b19c..af174ac1 100644 --- a/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl +++ b/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl @@ -12,7 +12,7 @@ 18bc6592-03a6-4e29-a83a-7ff23bde13ba(jetbrains.mps.lang.editor) - + diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps index ea34b182..f30c5b84 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 d7b7e3ac..97f76bf0 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl @@ -15,7 +15,7 @@ - + @@ -52,7 +52,7 @@ 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps index af48e7a1..80b81d0f 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -4,7 +4,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 acc919e8..9b63e750 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd +++ b/coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd @@ -14,7 +14,7 @@ 707c4fde-f79a-44b5-b3d7-b5cef8844ccf(jetbrains.mps.lang.test.runtime) - + 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 8fe00822..1f57c3ea 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps @@ -8,7 +8,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 1427dad8..6195a5e6 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd @@ -19,7 +19,7 @@ b189d6c6-9397-4d64-88af-1ac73760a4f5(jetbrains.mps.logic.test) - + 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 d3f56691..99663deb 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps @@ -5,7 +5,7 @@ - + @@ -122,11 +122,8 @@ - - - - + @@ -171,6 +168,14 @@ + + + + + + + + @@ -880,8 +885,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -907,8 +932,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + 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 83026a99..810c7761 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,7 +4,7 @@ - + @@ -198,11 +198,8 @@ - - - - + @@ -370,6 +367,14 @@ + + + + + + + + @@ -849,8 +854,43 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1860,8 +1900,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 de192d7f..991bc1a4 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/jetbrains.mps.coderules.typechecking.ui.msd @@ -23,7 +23,7 @@ 4d5d9aa1-7b71-4888-9100-1b793e5328a6(jetbrains.mps.coderules.ui) - + 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 5d411b28..8fa0fab7 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,11 +293,8 @@ - - - - + @@ -350,6 +347,14 @@ + + + + + + + + @@ -1851,8 +1856,19 @@ - - + + + + + + + + + + + + + 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 c48b5039..9920f07e 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd @@ -20,7 +20,7 @@ 49808fad-9d41-4b96-83fa-9231640f6b2b(JUnit) - + 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 1202d465..26688e65 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps @@ -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 ac7c9825..03ebaea9 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 @@ -166,11 +166,8 @@ - - - - + @@ -214,6 +211,14 @@ + + + + + + + + @@ -400,8 +405,10 @@ - - + + + + @@ -432,8 +439,10 @@ - - + + + + @@ -708,8 +717,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -793,8 +819,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + 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 a94e7099..cf764e96 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 @@ - + @@ -271,11 +271,8 @@ - - - - + @@ -382,6 +379,14 @@ + + + + + + + + @@ -1601,8 +1606,10 @@ - - + + + + @@ -1631,8 +1638,10 @@ - - + + + + @@ -2626,8 +2635,10 @@ - - + + + + @@ -2645,8 +2656,10 @@ - - + + + + @@ -2707,8 +2720,10 @@ - - + + + + @@ -3101,8 +3116,10 @@ - - + + + + @@ -3136,8 +3153,10 @@ - - + + + + @@ -3171,8 +3190,10 @@ - - + + + + @@ -3301,8 +3322,10 @@ - - + + + + @@ -3325,8 +3348,10 @@ - - + + + + @@ -4181,8 +4206,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -4307,8 +4349,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4342,8 +4407,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -4492,8 +4574,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -4616,8 +4715,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -5554,8 +5670,19 @@ - - + + + + + + + + + + + + + @@ -6086,8 +6213,16 @@ - - + + + + + + + + + + @@ -6137,8 +6272,16 @@ - - + + + + + + + + + + @@ -6271,8 +6414,16 @@ - - + + + + + + + + + + @@ -6405,8 +6556,16 @@ - - + + + + + + + + + + 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 5c078361..46292639 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd +++ b/coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd @@ -16,7 +16,7 @@ 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) - + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index e37c0490..6d25b883 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 @@ - + @@ -424,11 +424,8 @@ - - - - + @@ -537,6 +534,14 @@ + + + + + + + + @@ -1399,8 +1404,22 @@ - - + + + + + + + + + + + + + + + + @@ -3257,8 +3276,16 @@ - - + + + + + + + + + + @@ -3323,8 +3350,13 @@ - - + + + + + + + @@ -3335,8 +3367,13 @@ - - + + + + + + + @@ -3347,8 +3384,13 @@ - - + + + + + + + @@ -3359,8 +3401,22 @@ - - + + + + + + + + + + + + + + + + @@ -3375,8 +3431,61 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4117,13 +4226,38 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + @@ -4184,8 +4318,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4396,8 +4553,19 @@ - - + + + + + + + + + + + + + @@ -4476,8 +4644,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4578,8 +4772,46 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4786,8 +5018,22 @@ - - + + + + + + + + + + + + + + + + @@ -5002,8 +5248,19 @@ - - + + + + + + + + + + + + + @@ -5661,8 +5918,46 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6457,8 +6752,43 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7876,8 +8206,49 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10326,8 +10697,16 @@ - - + + + + + + + + + + @@ -10392,8 +10771,13 @@ - - + + + + + + + @@ -10404,8 +10788,13 @@ - - + + + + + + + @@ -10416,8 +10805,22 @@ - - + + + + + + + + + + + + + + + + @@ -10432,8 +10835,61 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10743,8 +11199,10 @@ - - + + + + @@ -10767,8 +11225,10 @@ - - + + + + @@ -11101,8 +11561,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -11175,8 +11652,10 @@ - - + + + + @@ -17369,8 +17848,16 @@ - - + + + + + + + + + + @@ -17571,8 +18058,13 @@ - - + + + + + + + @@ -18082,8 +18574,16 @@ - - + + + + + + + + + + @@ -18119,8 +18619,16 @@ - - + + + + + + + + + + @@ -20375,8 +20883,22 @@ - - + + + + + + + + + + + + + + + + @@ -21102,8 +21624,22 @@ - - + + + + + + + + + + + + + + + + @@ -21707,8 +22243,22 @@ - - + + + + + + + + + + + + + + + + @@ -21785,8 +22335,22 @@ - - + + + + + + + + + + + + + + + + @@ -21868,8 +22432,19 @@ - - + + + + + + + + + + + + + @@ -22274,8 +22849,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -22421,8 +23022,22 @@ - - + + + + + + + + + + + + + + + + @@ -24520,8 +25135,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -26077,8 +26715,55 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -26684,8 +27369,43 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -31409,8 +32129,10 @@ - - + + + + @@ -31428,8 +32150,25 @@ - - + + + + + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd index faada935..135b4743 100644 --- a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd +++ b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd @@ -24,7 +24,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps index bfc323e7..01417557 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps @@ -3,7 +3,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps index 568f5497..2122fea4 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps @@ -2,7 +2,7 @@ - + @@ -262,11 +262,8 @@ - - - - + @@ -360,6 +357,14 @@ + + + + + + + + @@ -1141,16 +1146,47 @@ - - - - - + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + @@ -2170,8 +2206,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3795,8 +3857,10 @@ - - + + + + @@ -4232,8 +4296,19 @@ - - + + + + + + + + + + + + + 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 c52da0d0..5ee78fa4 100644 --- a/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd +++ b/coderules/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd @@ -19,7 +19,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 33db5595..19880847 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 @@ - + @@ -236,11 +236,8 @@ - - - - + @@ -284,6 +281,14 @@ + + + + + + + + @@ -1686,8 +1691,19 @@ - - + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd index b5be1e5e..13c9b3ed 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd +++ b/coderules/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd @@ -12,7 +12,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 9e266fce..96a323bb 100644 --- a/coderules/solutions/jetbrains.mps.controlflow/models/service.mps +++ b/coderules/solutions/jetbrains.mps.controlflow/models/service.mps @@ -2,7 +2,7 @@ - + @@ -138,11 +138,8 @@ - - - - + @@ -166,6 +163,14 @@ + + + + + + + + @@ -407,8 +412,10 @@ - - + + + + @@ -512,8 +519,22 @@ - - + + + + + + + + + + + + + + + + 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 8a49c2de..a8da2672 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/jetbrains.mps.lang.coderules.template.msd @@ -15,7 +15,7 @@ bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - + 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 16895f95..6781d442 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps @@ -2,7 +2,7 @@ - + @@ -160,11 +160,8 @@ - - - - + @@ -199,6 +196,14 @@ + + + + + + + + @@ -1156,8 +1161,43 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1251,8 +1291,46 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1560,8 +1638,16 @@ - - + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps index 4ac46fef..8895c295 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.macro.mps @@ -3,7 +3,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 b4dde090..9c19b474 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps @@ -6,7 +6,7 @@ - + @@ -259,11 +259,8 @@ - - - - + @@ -302,6 +299,14 @@ + + + + + + + + @@ -1349,8 +1354,61 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1515,8 +1573,43 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3557,8 +3650,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 82623697..c3033c46 100644 --- a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd +++ b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/jetbrains.mps.lang.controlflow.runtime.msd @@ -13,7 +13,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 3324a227..3491d0a6 100644 --- a/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps +++ b/coderules/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps @@ -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 d2e660fa..fa4ba856 100644 --- a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd +++ b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd @@ -11,7 +11,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 517473a9..e0cee6cf 100644 --- a/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps +++ b/coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps @@ -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 b4ac4c50..b61807ce 100644 --- a/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd +++ b/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd @@ -18,7 +18,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 05e1fc26..afd73da3 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd +++ b/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd @@ -19,7 +19,7 @@ 49808fad-9d41-4b96-83fa-9231640f6b2b(JUnit) - + 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 3d6a85d6..9b292f0f 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps +++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps @@ -5,7 +5,7 @@ - + @@ -127,11 +127,8 @@ - - - - + @@ -200,6 +197,14 @@ + + + + + + + + @@ -650,8 +655,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -854,8 +876,19 @@ - - + + + + + + + + + + + + + @@ -869,8 +902,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -1381,8 +1431,19 @@ - - + + + + + + + + + + + + + @@ -1396,8 +1457,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -1857,8 +1935,19 @@ - - + + + + + + + + + + + + + @@ -1876,8 +1965,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -3646,8 +3752,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3664,8 +3799,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + 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 efd162c6..f6970098 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 621f2e1f..fa601d84 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 @@ - + @@ -126,11 +126,8 @@ - - - - + @@ -208,6 +205,14 @@ + + + + + + + + @@ -3961,8 +3966,16 @@ - - + + + + + + + + + + @@ -4041,8 +4054,13 @@ - - + + + + + + + @@ -4258,8 +4276,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4531,8 +4572,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4737,8 +4801,13 @@ - - + + + + + + + @@ -4966,8 +5035,13 @@ - - + + + + + + + @@ -5183,8 +5257,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5362,8 +5462,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5491,8 +5617,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5655,8 +5807,13 @@ - - + + + + + + + @@ -9042,8 +9199,16 @@ - - + + + + + + + + + + @@ -9155,8 +9320,16 @@ - - + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd b/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd index 494d96c7..77f1e30a 100644 --- a/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd +++ b/coderules/solutions/jetbrains.mps.reporting.runtime/jetbrains.mps.reporting.runtime.msd @@ -12,7 +12,7 @@ 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) - + diff --git a/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps b/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps index 916e4428..372c7414 100644 --- a/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps +++ b/coderules/solutions/jetbrains.mps.reporting.runtime/models/jetbrains.mps.lang.typesystem2.reporting.mps @@ -2,7 +2,7 @@ - + @@ -86,11 +86,8 @@ - - - - + @@ -122,6 +119,14 @@ + + + + + + + + @@ -203,8 +208,16 @@ - - + + + + + + + + + + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps index 41a45588..55ad8c1f 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps @@ -87,11 +87,8 @@ - - - - + @@ -182,6 +179,14 @@ + + + + + + + + @@ -578,18 +583,144 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -918,8 +1049,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -1222,18 +1370,144 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1562,8 +1836,25 @@ - - + + + + + + + + + + + + + + + + + + + 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 c5c99f1b..7063e41e 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl @@ -15,7 +15,7 @@ - + @@ -55,7 +55,7 @@ 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) - + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps index cab9bc44..d4ad1511 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps @@ -124,11 +124,8 @@ - - - - + @@ -258,6 +255,14 @@ + + + + + + + + @@ -1065,13 +1070,71 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1391,13 +1454,113 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1444,13 +1607,110 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2101,8 +2361,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 3c1d78c3..cb7e9ac7 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl @@ -15,7 +15,7 @@ - + @@ -55,7 +55,7 @@ 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps index fe036468..846b07f3 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 46556f84..eda88f39 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps @@ -3,7 +3,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps index 20b0638a..4c064782 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 ab53b6e6..9548403d 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl @@ -15,7 +15,7 @@ - + @@ -53,7 +53,7 @@ 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) - + diff --git a/samples/fitch/languages/samples.fitch/models/types.mps b/samples/fitch/languages/samples.fitch/models/types.mps index 4a71f2de..33be87c7 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 b3b87c88..4fd5c0d2 100644 --- a/samples/fitch/languages/samples.fitch/samples.fitch.mpl +++ b/samples/fitch/languages/samples.fitch/samples.fitch.mpl @@ -15,7 +15,7 @@ - + @@ -53,7 +53,7 @@ 4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking) - + 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 20f3dedd..a832380b 100644 --- a/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd +++ b/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd @@ -14,7 +14,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 27e34a31..3605c6ee 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps @@ -158,11 +158,8 @@ - - - - + @@ -288,6 +285,14 @@ + + + + + + + + @@ -518,8 +523,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1042,8 +1073,40 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1056,13 +1119,77 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1163,8 +1290,40 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1214,8 +1373,19 @@ - - + + + + + + + + + + + + + @@ -1872,8 +2042,22 @@ - - + + + + + + + + + + + + + + + + @@ -1887,8 +2071,40 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1960,8 +2176,49 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2113,14 +2370,90 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index 7bd9d07c..ebf1f186 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -163,11 +163,8 @@ - - - - + @@ -351,6 +348,14 @@ + + + + + + + + @@ -837,8 +842,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -962,13 +993,71 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -995,8 +1084,43 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1128,8 +1252,43 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1150,8 +1309,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3113,13 +3298,95 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3137,8 +3404,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -3168,8 +3452,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3198,8 +3511,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -4636,13 +4966,68 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4782,8 +5167,16 @@ - - + + + + + + + + + + @@ -6048,8 +6441,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6237,8 +6659,43 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6470,18 +6927,93 @@ - - + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6552,13 +7084,56 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + @@ -6573,13 +7148,71 @@ - - + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6601,8 +7234,22 @@ - - + + + + + + + + + + + + + + + + @@ -6632,8 +7279,19 @@ - - + + + + + + + + + + + + + @@ -6670,8 +7328,22 @@ - - + + + + + + + + + + + + + + + + @@ -6756,8 +7428,43 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6837,18 +7544,108 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6969,8 +7766,43 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7025,8 +7857,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -7100,8 +7949,52 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7264,18 +8157,102 @@ - - + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7392,8 +8369,19 @@ - - + + + + + + + + + + + + + @@ -7433,13 +8421,74 @@ - - + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7465,8 +8514,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -7496,8 +8565,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -7550,8 +8636,52 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7760,8 +8890,43 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7909,13 +9074,62 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8038,8 +9252,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -8067,19 +9298,106 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + @@ -8220,8 +9538,40 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8366,8 +9716,52 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8598,8 +9992,22 @@ - - + + + + + + + + + + + + + + + + @@ -8835,18 +10243,105 @@ - - + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8915,38 +10410,211 @@ - - + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + @@ -9151,8 +10819,40 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9234,8 +10934,19 @@ - - + + + + + + + + + + + + + @@ -9675,23 +11386,166 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10004,8 +11858,16 @@ - - + + + + + + + + + + @@ -10134,8 +11996,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10224,8 +12109,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10317,13 +12225,68 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + @@ -10758,8 +12721,40 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10777,8 +12772,46 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10810,8 +12843,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10842,8 +12898,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10858,8 +12940,40 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10878,8 +12992,22 @@ - - + + + + + + + + + + + + + + + + @@ -10941,8 +13069,16 @@ - - + + + + + + + + + + @@ -11013,8 +13149,40 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11437,8 +13605,40 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11631,24 +13831,137 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11741,8 +14054,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11814,28 +14150,179 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11900,13 +14387,77 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11975,8 +14526,40 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12019,13 +14602,77 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12166,19 +14813,103 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12217,18 +14948,105 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12331,13 +15149,83 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12391,13 +15279,74 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12470,8 +15419,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12536,8 +15511,19 @@ - - + + + + + + + + + + + + + @@ -12618,18 +15604,81 @@ - - + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12718,13 +15767,59 @@ - - + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12813,8 +15908,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl index 5c01a2f1..14a21357 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl +++ b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl @@ -18,7 +18,7 @@ 6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking) - + 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 a81f99b1..2bd6dbb3 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 @@ -125,11 +125,8 @@ - - - - + @@ -205,6 +202,14 @@ + + + + + + + + @@ -758,8 +763,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 b38bacad..7f7a3917 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd @@ -11,7 +11,7 @@ af858d84-85f2-42f4-a854-0b3c6b5cd482(samples.lambdacalc) - + 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 e56023ee..788b36b0 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl @@ -19,7 +19,7 @@ 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) - + 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 231d127a..186bde94 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -11,7 +11,7 @@ - + @@ -278,7 +278,7 @@ - + @@ -526,6 +526,14 @@ + + + + + + + + @@ -1877,8 +1885,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -2343,8 +2368,16 @@ - - + + + + + + + + + + @@ -2805,8 +2838,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -2837,8 +2887,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -2885,8 +2952,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2959,8 +3055,19 @@ - - + + + + + + + + + + + + + @@ -3026,8 +3133,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -3928,8 +4052,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4002,8 +4155,19 @@ - - + + + + + + + + + + + + + @@ -4069,8 +4233,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -4170,8 +4351,43 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6939,8 +7155,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -9293,8 +9529,16 @@ - - + + + + + + + + + + @@ -12243,8 +12487,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12318,8 +12591,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12558,8 +12860,19 @@ - - + + + + + + + + + + + + + @@ -12619,8 +12932,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -12791,8 +13127,19 @@ - - + + + + + + + + + + + + + @@ -13485,8 +13832,16 @@ - - + + + + + + + + + + @@ -14043,8 +14398,10 @@ - - + + + + @@ -22156,8 +22513,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -22229,8 +22603,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -23999,8 +24396,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -27497,8 +27920,19 @@ - - + + + + + + + + + + + + + @@ -28113,8 +28547,13 @@ - - + + + + + + + @@ -28273,8 +28712,13 @@ - - + + + + + + + @@ -28357,8 +28801,16 @@ - - + + + + + + + + + + @@ -28418,8 +28870,19 @@ - - + + + + + + + + + + + + + @@ -28551,8 +29014,16 @@ - - + + + + + + + + + + @@ -28918,8 +29389,16 @@ - - + + + + + + + + + + @@ -29135,8 +29614,10 @@ - - + + + + @@ -29183,8 +29664,10 @@ - - + + + + @@ -29674,8 +30157,16 @@ - - + + + + + + + + + + @@ -29851,8 +30342,16 @@ - - + + + + + + + + + + @@ -29953,8 +30452,16 @@ - - + + + + + + + + + + @@ -30055,8 +30562,16 @@ - - + + + + + + + + + + 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 1716c026..b4d10125 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd @@ -16,7 +16,7 @@ a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) - + 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 d3862cb5..1629a8f5 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps @@ -5,7 +5,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps index 594b2242..b167a216 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps @@ -4,7 +4,7 @@ - + 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 6c839326..909a10ba 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/codeAnal@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps index 1069c9d2..2f6cbd81 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/codeAnal@tests.mps @@ -4,7 +4,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps index 98b6441e..b769dec5 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps @@ -3,7 +3,7 @@ - + @@ -157,11 +157,8 @@ - - - - + @@ -186,6 +183,14 @@ + + + + + + + + @@ -370,8 +375,10 @@ - - + + + + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps index 9f365271..b8e5bbec 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps @@ -70,11 +70,8 @@ - - - - + @@ -137,6 +134,14 @@ + + + + + + + + @@ -299,8 +304,25 @@ - - + + + + + + + + + + + + + + + + + + + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/staging.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/staging.mps index 9e72e3eb..becad332 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/staging.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/staging.mps @@ -2,7 +2,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 2322eec9..be8e62bf 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 @@ - + @@ -93,11 +93,8 @@ - - - - + @@ -122,6 +119,14 @@ + + + + + + + + @@ -309,18 +314,75 @@ - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + @@ -744,18 +806,75 @@ - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + 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 8f3998bb..b483c9b7 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 @@ - + @@ -102,11 +102,8 @@ - - - - + @@ -126,6 +123,14 @@ + + + + + + + + @@ -373,18 +378,75 @@ - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.codeAnal.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.codeAnal.mps index 9d85393e..fa78e9cb 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.codeAnal.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.codeAnal.mps @@ -2,7 +2,7 @@ - + @@ -240,11 +240,8 @@ - - - - + @@ -279,6 +276,14 @@ + + + + + + + + @@ -444,13 +449,20 @@ - - + + + + - - + + + + + + + @@ -486,8 +498,22 @@ - - + + + + + + + + + + + + + + + + @@ -717,8 +743,13 @@ - - + + + + + + + @@ -796,16 +827,41 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + @@ -1089,13 +1145,26 @@ - - + + + + + + + + + + + + + - - + + + + @@ -1426,8 +1495,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -1465,8 +1554,10 @@ - - + + + + @@ -1511,8 +1602,10 @@ - - + + + + @@ -1524,18 +1617,42 @@ - - + + + + - - + + + + + + + + + + + + + - - + + + + + + + + + + + + + @@ -1577,8 +1694,10 @@ - - + + + + @@ -2438,8 +2557,10 @@ - - + + + + @@ -3994,8 +4115,13 @@ - - + + + + + + + @@ -6109,8 +6235,10 @@ - - + + + + @@ -6205,8 +6333,19 @@ - - + + + + + + + + + + + + + @@ -6258,8 +6397,10 @@ - - + + + + @@ -6288,13 +6429,56 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6369,13 +6553,38 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6518,8 +6727,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -6696,8 +6925,10 @@ - - + + + + @@ -6786,8 +7017,22 @@ - - + + + + + + + + + + + + + + + + @@ -7020,8 +7265,10 @@ - - + + + + @@ -7058,8 +7305,10 @@ - - + + + + @@ -7563,8 +7812,13 @@ - - + + + + + + + @@ -7766,8 +8020,10 @@ - - + + + + @@ -7804,8 +8060,10 @@ - - + + + + @@ -7865,8 +8123,13 @@ - - + + + + + + + @@ -8126,8 +8389,16 @@ - - + + + + + + + + + + @@ -8743,13 +9014,26 @@ - - + + + + - - + + + + + + + + + + + + + @@ -9252,8 +9536,10 @@ - - + + + + @@ -9625,8 +9911,16 @@ - - + + + + + + + + + + @@ -9803,8 +10097,19 @@ - - + + + + + + + + + + + + + @@ -10276,8 +10581,19 @@ - - + + + + + + + + + + + + + @@ -10296,8 +10612,10 @@ - - + + + + @@ -12055,8 +12373,10 @@ - - + + + + @@ -12095,8 +12415,10 @@ - - + + + + @@ -12414,23 +12736,43 @@ - - + + + + + + + - - + + + + + + + - - + + + + + + + - - + + + + + + + @@ -12465,8 +12807,19 @@ - - + + + + + + + + + + + + + @@ -13235,8 +13588,10 @@ - - + + + + @@ -13277,8 +13632,10 @@ - - + + + + @@ -13453,8 +13810,10 @@ - - + + + + @@ -13495,8 +13854,10 @@ - - + + + + @@ -13522,8 +13883,10 @@ - - + + + + @@ -13547,8 +13910,10 @@ - - + + + + @@ -13572,8 +13937,10 @@ - - + + + + @@ -13597,8 +13964,10 @@ - - + + + + @@ -13674,8 +14043,13 @@ - - + + + + + + + @@ -13822,8 +14196,13 @@ - - + + + + + + + @@ -13852,8 +14231,13 @@ - - + + + + + + + @@ -14803,8 +15187,10 @@ - - + + + + @@ -15226,18 +15612,42 @@ - - + + + + - - + + + + + + + + + + + + + - - + + + + + + + + + + + + + @@ -15258,8 +15668,19 @@ - - + + + + + + + + + + + + + @@ -15309,18 +15730,63 @@ - - + + + + + + + + + + - - + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15714,8 +16180,13 @@ - - + + + + + + + @@ -15745,18 +16216,33 @@ - - + + + + + + + + + + + + + - - + + + + - - + + + + @@ -16572,8 +17058,10 @@ - - + + + + @@ -16681,8 +17169,10 @@ - - + + + + @@ -16718,8 +17208,10 @@ - - + + + + @@ -18540,8 +19032,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -18565,8 +19080,22 @@ - - + + + + + + + + + + + + + + + + @@ -18655,8 +19184,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -19036,8 +19591,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -19587,38 +20165,121 @@ - - + + + + + + + + + + + + + + + + - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + - - + + + + + + + + + + + + + - - + + + + - - + + + + @@ -20550,8 +21211,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -21275,8 +21965,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -21450,13 +22166,59 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -23230,8 +23992,10 @@ - - + + + + @@ -23265,13 +24029,29 @@ - - + + + + - - + + + + + + + + + + + + + + + + @@ -23379,8 +24159,46 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -23456,8 +24274,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -23712,8 +24553,22 @@ - - + + + + + + + + + + + + + + + + @@ -23738,8 +24593,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -23773,8 +24645,58 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -23845,8 +24767,10 @@ - - + + + + @@ -23998,13 +24922,32 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + @@ -24080,13 +25023,32 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + @@ -24182,13 +25144,65 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -24266,13 +25280,41 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -25023,13 +26065,44 @@ - - + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + @@ -25488,13 +26561,41 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -25778,8 +26879,10 @@ - - + + + + @@ -25833,8 +26936,10 @@ - - + + + + @@ -25960,8 +27065,10 @@ - - + + + + @@ -26118,8 +27225,10 @@ - - + + + + @@ -26160,8 +27269,10 @@ - - + + + + @@ -27223,8 +28334,10 @@ - - + + + + @@ -27333,13 +28446,26 @@ - - + + + + - - + + + + + + + + + + + + + @@ -27405,13 +28531,26 @@ - - + + + + - - + + + + + + + + + + + + + @@ -27630,13 +28769,41 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -27665,13 +28832,35 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + @@ -27743,13 +28932,35 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + @@ -27932,8 +29143,13 @@ - - + + + + + + + @@ -28051,8 +29267,13 @@ - - + + + + + + + @@ -28708,8 +29929,13 @@ - - + + + + + + + @@ -28773,23 +29999,94 @@ - - + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + @@ -30164,8 +31461,10 @@ - - + + + + @@ -30409,65 +31708,254 @@ - - + + + + + + + + + + + + + + + + - - + + + + - - + + + + + + + + + + + + + + + + + + + - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + - - + + + + - - + + + + + + + - - + + + + + + + + + + + + + + + + @@ -30880,13 +32368,17 @@ - - + + + + - - + + + + @@ -30955,13 +32447,17 @@ - - + + + + - - + + + + @@ -31030,13 +32526,17 @@ - - + + + + - - + + + + @@ -31095,13 +32595,17 @@ - - + + + + - - + + + + @@ -31342,8 +32846,10 @@ - - + + + + @@ -31377,8 +32883,10 @@ - - + + + + @@ -31405,8 +32913,10 @@ - - + + + + @@ -31443,8 +32953,10 @@ - - + + + + @@ -31468,13 +32980,26 @@ - - + + + + - - + + + + + + + + + + + + + @@ -31553,8 +33078,10 @@ - - + + + + @@ -31761,13 +33288,47 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -31823,8 +33384,10 @@ - - + + + + @@ -31847,13 +33410,53 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -31948,18 +33551,72 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -32189,8 +33846,58 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -32282,8 +33989,10 @@ - - + + + + @@ -32451,8 +34160,22 @@ - - + + + + + + + + + + + + + + + + @@ -32532,38 +34255,109 @@ - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + - - + + + + + + + + + + - - + + + + + + + + + + - - + + + + - - + + + + @@ -32684,8 +34478,40 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -33191,8 +35017,10 @@ - - + + + + @@ -33262,8 +35090,10 @@ - - + + + + @@ -33283,8 +35113,10 @@ - - + + + + @@ -33363,48 +35195,177 @@ - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + - - + + + + - - + + + + @@ -33441,8 +35402,13 @@ - - + + + + + + + @@ -33467,8 +35433,10 @@ - - + + + + @@ -33482,8 +35450,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -33611,8 +35608,16 @@ - - + + + + + + + + + + @@ -33645,8 +35650,16 @@ - - + + + + + + + + + + @@ -35501,8 +37514,13 @@ - - + + + + + + + @@ -35590,8 +37608,13 @@ - - + + + + + + + @@ -35701,8 +37724,13 @@ - - + + + + + + + @@ -35770,8 +37798,13 @@ - - + + + + + + + @@ -35863,13 +37896,80 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -36006,8 +38106,10 @@ - - + + + + @@ -36225,8 +38327,10 @@ - - + + + + @@ -38688,8 +40792,10 @@ - - + + + + @@ -39047,8 +41153,16 @@ - - + + + + + + + + + + @@ -39183,13 +41297,23 @@ - - + + + + - - + + + + + + + + + + @@ -39454,8 +41578,13 @@ - - + + + + + + + @@ -39924,8 +42053,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -40196,8 +42348,10 @@ - - + + + + @@ -40224,43 +42378,188 @@ - - + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + @@ -40301,13 +42600,26 @@ - - + + + + - - + + + + + + + + + + + + + @@ -40552,8 +42864,10 @@ - - + + + + @@ -40569,53 +42883,205 @@ - - + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + - - + + + + + + + + + + - - + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + @@ -40645,8 +43111,10 @@ - - + + + + @@ -40698,8 +43166,10 @@ - - + + + + @@ -40716,8 +43186,10 @@ - - + + + + @@ -40774,8 +43246,10 @@ - - + + + + @@ -40882,13 +43356,26 @@ - - + + + + - - + + + + + + + + + + + + + @@ -40914,8 +43401,10 @@ - - + + + + @@ -41022,13 +43511,26 @@ - - + + + + - - + + + + + + + + + + + + + @@ -41171,13 +43673,17 @@ - - + + + + - - + + + + @@ -41808,8 +44314,10 @@ - - + + + + @@ -41838,8 +44346,10 @@ - - + + + + @@ -41899,8 +44409,10 @@ - - + + + + @@ -42869,8 +45381,16 @@ - - + + + + + + + + + + @@ -43344,8 +45864,16 @@ - - + + + + + + + + + + @@ -43601,8 +46129,10 @@ - - + + + + @@ -43794,13 +46324,17 @@ - - + + + + - - + + + + @@ -45030,8 +47564,10 @@ - - + + + + @@ -45440,8 +47976,10 @@ - - + + + + @@ -45453,8 +47991,10 @@ - - + + + + @@ -45587,8 +48127,10 @@ - - + + + + @@ -45627,8 +48169,10 @@ - - + + + + @@ -45993,8 +48537,10 @@ - - + + + + @@ -46253,8 +48799,13 @@ - - + + + + + + + @@ -46490,13 +49041,50 @@ - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + @@ -46644,8 +49232,22 @@ - - + + + + + + + + + + + + + + + + @@ -46766,8 +49368,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -47136,8 +49755,16 @@ - - + + + + + + + + + + @@ -47221,8 +49848,16 @@ - - + + + + + + + + + + @@ -48466,8 +51101,10 @@ - - + + + + @@ -48800,8 +51437,16 @@ - - + + + + + + + + + + @@ -48986,8 +51631,10 @@ - - + + + + @@ -49179,8 +51826,10 @@ - - + + + + @@ -49234,15 +51883,25 @@ - - + + + + + + + + + + - - + + + + @@ -49805,8 +52464,13 @@ - - + + + + + + + @@ -51780,18 +54444,108 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -52564,8 +55318,13 @@ - - + + + + + + + @@ -52717,13 +55476,80 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -53808,23 +56634,100 @@ - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -53888,8 +56791,43 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -54161,8 +57099,28 @@ - - + + + + + + + + + + + + + + + + + + + + + + @@ -54171,8 +57129,10 @@ - - + + + + @@ -54292,8 +57252,16 @@ - - + + + + + + + + + + @@ -54744,8 +57712,13 @@ - - + + + + + + + @@ -55219,8 +58192,10 @@ - - + + + + @@ -55229,15 +58204,19 @@ - - + + + + - - + + + + @@ -55281,8 +58260,22 @@ - - + + + + + + + + + + + + + + + + @@ -55294,8 +58287,10 @@ - - + + + + @@ -55397,8 +58392,16 @@ - - + + + + + + + + + + @@ -55428,8 +58431,16 @@ - - + + + + + + + + + + @@ -55441,8 +58452,34 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -55459,8 +58496,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -55561,8 +58615,31 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -55576,8 +58653,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -55602,8 +58696,19 @@ - - + + + + + + + + + + + + + @@ -55686,8 +58791,19 @@ - - + + + + + + + + + + + + + @@ -56261,8 +59377,13 @@ - - + + + + + + + @@ -56913,8 +60034,16 @@ - - + + + + + + + + + + @@ -56959,8 +60088,19 @@ - - + + + + + + + + + + + + + @@ -57035,8 +60175,19 @@ - - + + + + + + + + + + + + + @@ -57577,8 +60728,61 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -58966,8 +62170,46 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -59117,8 +62359,16 @@ - - + + + + + + + + + + @@ -60105,13 +63355,26 @@ - - + + + + - - + + + + + + + + + + + + + @@ -60133,35 +63396,104 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + - - + + + + @@ -60173,8 +63505,16 @@ - - + + + + + + + + + + @@ -60375,13 +63715,32 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + @@ -60612,8 +63971,19 @@ - - + + + + + + + + + + + + + @@ -60634,8 +64004,13 @@ - - + + + + + + + @@ -60677,8 +64052,10 @@ - - + + + + @@ -61873,8 +65250,10 @@ - - + + + + @@ -61913,8 +65292,10 @@ - - + + + + @@ -61947,8 +65328,10 @@ - - + + + + @@ -62092,8 +65475,10 @@ - - + + + + @@ -62153,8 +65538,10 @@ - - + + + + @@ -62248,18 +65635,30 @@ - - + + + + + + + - - + + + + + + + - - + + + + @@ -62300,8 +65699,10 @@ - - + + + + @@ -62333,8 +65734,10 @@ - - + + + + @@ -62415,8 +65818,10 @@ - - + + + + @@ -62439,8 +65844,10 @@ - - + + + + @@ -62648,8 +66055,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -63160,8 +66596,13 @@ - - + + + + + + + @@ -63203,8 +66644,52 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -63238,8 +66723,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -63318,8 +66820,37 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -63364,13 +66895,17 @@ - - + + + + - - + + + + @@ -63600,8 +67135,10 @@ - - + + + + @@ -63628,20 +67165,35 @@ - - + + + + - - + + + + - - + + + + + + + + + + + + + @@ -65309,13 +68861,44 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -65414,13 +68997,38 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -65473,13 +69081,32 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + @@ -65637,8 +69264,25 @@ - - + + + + + + + + + + + + + + + + + + + @@ -66176,98 +69820,295 @@ - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + - - + + + + + + + - - + + + + + + + - - + + + + + + + - - + + + + + + + - - + + + + + + + + + + + + + + + + - - + + + + - - + + + + - - + + + + - - + + + + + + + - - + + + + + + + - - + + + + + + + + + + + + + + + + - - + + + + - - + + + + + + + @@ -67110,13 +70951,47 @@ - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -67231,13 +71106,29 @@ - - + + + + - - + + + + + + + + + + + + + + + + @@ -67349,28 +71240,71 @@ - - + + + + + + + - - + + + + + + + + + + - - + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + - - + + + + @@ -67413,8 +71347,16 @@ - - + + + + + + + + + + @@ -67460,8 +71402,19 @@ - - + + + + + + + + + + + + + @@ -67553,28 +71506,83 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + - - + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + - - + + + + @@ -67654,15 +71662,22 @@ - - + + + + + + + - - + + + + @@ -67833,113 +71848,274 @@ - - + + + + + + + + + + + + + - - + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + - - + + + + - - + + + + - - + + + + - - + + + + - - + + + + - - + + + + + + + - - + + + + - - + + + + - - + + + + + + + - - + + + + - - + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + - - + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + - - + + + + - - + + + + 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 710dfe9c..6ec29f55 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/models/typechecking.samples.baseLanguage.simpleGenerics.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.simpleGenerics.mps index 0dfb91b7..1684923a 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.simpleGenerics.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.simpleGenerics.mps @@ -2,7 +2,7 @@ - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.slice.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.slice.mps index 0ff2644b..c064dee7 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.slice.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.slice.mps @@ -2,7 +2,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 627ff250..649363f5 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd @@ -13,7 +13,7 @@ 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) - +