From 3cf666e6332b6f0d1f744c91bfe8ef6e9e27d617 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 31 Jul 2023 10:43:54 +0200 Subject: [PATCH] Apply migrations and make project --- build.xml | 1 - .../generator/template/main@generator.mps | 32 ++++---- .../jetbrains.mps.lang.coderules.mpl | 1 - .../languageModels/behavior.mps | 24 +++--- .../languageModels/constraints.mps | 22 +++--- .../languageModels/editor.mps | 20 ++--- .../languageModels/intentions.mps | 8 +- .../jetbrains.mps.lang.coderules.analysis.mps | 78 +++++++++---------- .../languageModels/migration.mps | 26 +++---- .../languageModels/typesystem.mps | 10 +-- .../languageModels/util.mps | 12 +-- .../jetbrains.mps.lang.coderules.eval.mps | 48 ++++++------ .../jetbrains.mps.lang.coderules.program.mps | 38 ++++----- ...ps.lang.typechecking.generator.genutil.mps | 8 +- .../generator/template/main@generator.mps | 30 +++---- .../jetbrains.mps.lang.typechecking.mpl | 1 - .../models/constraints.mps | 4 +- ...brains.mps.lang.typechecking.migration.mps | 2 +- .../generator/template/main@generator.mps | 4 +- .../jetbrains.mps.logic.mpl | 1 - .../languageModels/constraints.mps | 2 +- .../languageModels/migration.mps | 10 +-- .../models/jetbrains.mps.logic.dataform.mps | 2 +- ...jetbrains.mps.coderules.runtime.result.mps | 8 +- .../jetbrains.mps.coderules.aspect@tests.mps | 12 +-- ...ains.mps.coderules.testhelper.testutil.mps | 26 +++---- ...ins.mps.coderules.incrementality@tests.mps | 12 +-- ...rains.mps.coderules.typechecking@tests.mps | 2 +- ...ains.mps.coderules.typechecking.plugin.mps | 14 ++-- ...ins.mps.coderules.typechecking.service.mps | 40 +++++----- .../models/plugin.mps | 36 ++++----- .../jetbrains.mps.coderules/models/plugin.mps | 6 +- .../models/service.mps | 12 +-- .../jetbrains.mps.lang.coderules.aspect.mps | 18 ++--- .../jetbrains.mps.lang.coderules.template.mps | 6 +- ...rains.mps.baseLanguageExt2.controlflow.mps | 12 +-- .../models/types.mps | 8 +- .../models/types.mps | 16 ++-- .../samples.fitch/models/constraints.mps | 6 +- .../languages/samples.fitch/models/editor.mps | 6 +- .../samples.lambdacalc/models/behavior.mps | 2 +- .../samples.lambdacalc/models/constraints.mps | 10 +-- .../samples.lambdacalc/models/types.mps | 2 +- ...ins.mps.baseLanguage.closuresExt.types.mps | 24 +++--- .../jetbrains.mps.baseLanguageExt.scripts.mps | 12 +-- .../jetbrains.mps.baseLanguageExt.types.mps | 44 +++++------ .../jetbrains.mps.lang.coderulesExt.types.mps | 4 +- ...g.generator.generationContextExt.types.mps | 2 +- ...eLanguage.closuresExt.test.collections.mps | 72 ++++++++--------- ...nguage.collectionsExt.test.collections.mps | 8 +- ....collectionsExt.test.incremental@tests.mps | 4 +- ...baseLanguageExt.test.incremental@tests.mps | 12 +-- ...s.mps.baseLanguageExt.test.types@tests.mps | 44 +++++------ ...ns.mps.lang.smodelExt.test.types@tests.mps | 6 +- 54 files changed, 433 insertions(+), 437 deletions(-) diff --git a/build.xml b/build.xml index a21113f6..e50f7cae 100644 --- a/build.xml +++ b/build.xml @@ -4064,7 +4064,6 @@ - diff --git a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps index 98fc9647..61b83ba8 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 @@ -2323,7 +2323,7 @@ - + @@ -2408,7 +2408,7 @@ - + @@ -2419,11 +2419,11 @@ - + - + @@ -2471,7 +2471,7 @@ - + @@ -2486,7 +2486,7 @@ - + @@ -2536,7 +2536,7 @@ - + @@ -3841,7 +3841,7 @@ - + @@ -3851,7 +3851,7 @@ - + @@ -4540,7 +4540,7 @@ - + @@ -10606,7 +10606,7 @@ - + @@ -13701,7 +13701,7 @@ - + @@ -13976,7 +13976,7 @@ - + @@ -14464,7 +14464,7 @@ - + @@ -14580,7 +14580,7 @@ - + @@ -15255,7 +15255,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl index 6fac0d92..d6b82de3 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 @@ -50,7 +50,6 @@ - diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps index 65e64c1c..ed380843 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps @@ -346,7 +346,7 @@ - + @@ -690,7 +690,7 @@ - + @@ -726,7 +726,7 @@ - + @@ -787,7 +787,7 @@ - + @@ -1442,7 +1442,7 @@ - + @@ -1471,7 +1471,7 @@ - + @@ -1523,7 +1523,7 @@ - + @@ -1552,7 +1552,7 @@ - + @@ -1765,7 +1765,7 @@ - + @@ -2335,7 +2335,7 @@ - + @@ -2378,7 +2378,7 @@ - + @@ -2421,7 +2421,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps index 68c1b523..9498dfd7 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps @@ -796,7 +796,7 @@ - + @@ -1539,7 +1539,7 @@ - + @@ -1677,7 +1677,7 @@ - + @@ -1846,7 +1846,7 @@ - + @@ -1978,7 +1978,7 @@ - + @@ -2000,7 +2000,7 @@ - + @@ -2008,7 +2008,7 @@ - + @@ -2108,7 +2108,7 @@ - + @@ -2263,7 +2263,7 @@ - + @@ -2291,12 +2291,12 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps index fbafa99c..b39cb176 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps @@ -6020,7 +6020,7 @@ - + @@ -6042,7 +6042,7 @@ - + @@ -6050,7 +6050,7 @@ - + @@ -6138,7 +6138,7 @@ - + @@ -6730,7 +6730,7 @@ - + @@ -7002,7 +7002,7 @@ - + @@ -7205,7 +7205,7 @@ - + @@ -7638,7 +7638,7 @@ - + @@ -7843,7 +7843,7 @@ - + @@ -8532,7 +8532,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps index fb212fe4..ae5842dc 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps @@ -515,7 +515,7 @@ - + @@ -599,7 +599,7 @@ - + @@ -729,7 +729,7 @@ - + @@ -849,7 +849,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/jetbrains.mps.lang.coderules.analysis.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/jetbrains.mps.lang.coderules.analysis.mps index 0e169df8..db220263 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/jetbrains.mps.lang.coderules.analysis.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/jetbrains.mps.lang.coderules.analysis.mps @@ -412,7 +412,7 @@ - + @@ -430,7 +430,7 @@ - + @@ -520,7 +520,7 @@ - + @@ -556,7 +556,7 @@ - + @@ -576,7 +576,7 @@ - + @@ -628,7 +628,7 @@ - + @@ -689,7 +689,7 @@ - + @@ -757,7 +757,7 @@ - + @@ -779,7 +779,7 @@ - + @@ -1915,7 +1915,7 @@ - + @@ -2603,7 +2603,7 @@ - + @@ -2644,7 +2644,7 @@ - + @@ -2715,7 +2715,7 @@ - + @@ -2752,7 +2752,7 @@ - + @@ -2790,7 +2790,7 @@ - + @@ -3749,7 +3749,7 @@ - + @@ -3910,7 +3910,7 @@ - + @@ -4153,7 +4153,7 @@ - + @@ -4162,7 +4162,7 @@ - + @@ -4228,7 +4228,7 @@ - + @@ -4274,7 +4274,7 @@ - + @@ -4406,7 +4406,7 @@ - + @@ -4453,7 +4453,7 @@ - + @@ -4502,7 +4502,7 @@ - + @@ -4713,7 +4713,7 @@ - + @@ -4736,7 +4736,7 @@ - + @@ -4985,7 +4985,7 @@ - + @@ -5077,7 +5077,7 @@ - + @@ -5099,7 +5099,7 @@ - + @@ -5237,7 +5237,7 @@ - + @@ -5836,7 +5836,7 @@ - + @@ -6436,7 +6436,7 @@ - + @@ -6462,7 +6462,7 @@ - + @@ -6489,7 +6489,7 @@ - + @@ -6565,7 +6565,7 @@ - + @@ -6587,7 +6587,7 @@ - + @@ -6614,7 +6614,7 @@ - + @@ -6664,7 +6664,7 @@ - + @@ -6727,7 +6727,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps index 243f8a20..0ac35f8f 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps @@ -1499,7 +1499,7 @@ - + @@ -1523,7 +1523,7 @@ - + @@ -1623,7 +1623,7 @@ - + @@ -1656,7 +1656,7 @@ - + @@ -1686,7 +1686,7 @@ - + @@ -1721,7 +1721,7 @@ - + @@ -1754,7 +1754,7 @@ - + @@ -1794,7 +1794,7 @@ - + @@ -1896,7 +1896,7 @@ - + @@ -1907,7 +1907,7 @@ - + @@ -1925,7 +1925,7 @@ - + @@ -1964,7 +1964,7 @@ - + @@ -1978,7 +1978,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps index a7a5b7c2..f29e044a 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps @@ -386,7 +386,7 @@ - + @@ -398,7 +398,7 @@ - + @@ -455,7 +455,7 @@ - + @@ -543,7 +543,7 @@ - + @@ -596,7 +596,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps index 45c126e2..44af1309 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps @@ -258,7 +258,7 @@ - + @@ -303,7 +303,7 @@ - + @@ -347,7 +347,7 @@ - + @@ -492,7 +492,7 @@ - + @@ -537,7 +537,7 @@ - + @@ -583,7 +583,7 @@ - + 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 4b0e60bf..8ad03099 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 @@ -1577,7 +1577,7 @@ - + @@ -5415,7 +5415,7 @@ - + @@ -5436,7 +5436,7 @@ - + @@ -7525,7 +7525,7 @@ - + @@ -7582,7 +7582,7 @@ - + @@ -7777,7 +7777,7 @@ - + @@ -7893,7 +7893,7 @@ - + @@ -8148,7 +8148,7 @@ - + @@ -8278,7 +8278,7 @@ - + @@ -8300,7 +8300,7 @@ - + @@ -8324,7 +8324,7 @@ - + @@ -8342,7 +8342,7 @@ - + @@ -8393,7 +8393,7 @@ - + @@ -8406,7 +8406,7 @@ - + @@ -8417,7 +8417,7 @@ - + @@ -8430,7 +8430,7 @@ - + @@ -8481,7 +8481,7 @@ - + @@ -8498,7 +8498,7 @@ - + @@ -8506,7 +8506,7 @@ - + @@ -9191,7 +9191,7 @@ - + @@ -9415,7 +9415,7 @@ - + @@ -9552,7 +9552,7 @@ - + @@ -9755,7 +9755,7 @@ - + @@ -9767,7 +9767,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps index 7df85051..18b6f396 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 @@ -760,7 +760,7 @@ - + @@ -2422,7 +2422,7 @@ - + @@ -2665,7 +2665,7 @@ - + @@ -2806,7 +2806,7 @@ - + @@ -5072,7 +5072,7 @@ - + @@ -5200,7 +5200,7 @@ - + @@ -5228,7 +5228,7 @@ - + @@ -5251,7 +5251,7 @@ - + @@ -10107,7 +10107,7 @@ - + @@ -12367,7 +12367,7 @@ - + @@ -12425,7 +12425,7 @@ - + @@ -12459,7 +12459,7 @@ - + @@ -12966,7 +12966,7 @@ - + @@ -12979,7 +12979,7 @@ - + @@ -13019,7 +13019,7 @@ - + @@ -13083,7 +13083,7 @@ - + @@ -14734,7 +14734,7 @@ - + @@ -14757,7 +14757,7 @@ - + @@ -14954,7 +14954,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/jetbrains.mps.lang.typechecking.generator.genutil.mps b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/jetbrains.mps.lang.typechecking.generator.genutil.mps index 7d776b2f..3be2f23d 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/jetbrains.mps.lang.typechecking.generator.genutil.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/generator/template/jetbrains.mps.lang.typechecking.generator.genutil.mps @@ -283,7 +283,7 @@ - + @@ -338,7 +338,7 @@ - + @@ -496,7 +496,7 @@ - + @@ -655,7 +655,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 97e1ce20..43023284 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 @@ -690,7 +690,7 @@ - + @@ -832,7 +832,7 @@ - + @@ -993,7 +993,7 @@ - + @@ -1985,7 +1985,7 @@ - + @@ -2379,7 +2379,7 @@ - + @@ -2503,7 +2503,7 @@ - + @@ -2602,7 +2602,7 @@ - + @@ -2999,7 +2999,7 @@ - + @@ -3086,7 +3086,7 @@ - + @@ -3157,7 +3157,7 @@ - + @@ -3280,7 +3280,7 @@ - + @@ -3351,7 +3351,7 @@ - + @@ -3460,7 +3460,7 @@ - + @@ -3502,7 +3502,7 @@ - + @@ -3544,7 +3544,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 acf5e7d3..311a6216 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 @@ -51,7 +51,6 @@ - diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps index 5f8fcbc7..d372244a 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps @@ -258,7 +258,7 @@ - + @@ -267,7 +267,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/jetbrains.mps.lang.typechecking.migration.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/jetbrains.mps.lang.typechecking.migration.mps index b84b913f..8ec16f08 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/jetbrains.mps.lang.typechecking.migration.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/jetbrains.mps.lang.typechecking.migration.mps @@ -297,7 +297,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 bdfe8263..d44bda69 100644 --- a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -534,7 +534,7 @@ - + @@ -566,7 +566,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl index 9b8e8b7a..b7f590cb 100644 --- a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -43,7 +43,6 @@ - diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps index 93f6ceea..b69eaf39 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps @@ -693,7 +693,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps index 781688f9..24bbe7b2 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps @@ -995,7 +995,7 @@ - + @@ -1021,7 +1021,7 @@ - + @@ -1029,7 +1029,7 @@ - + @@ -1107,7 +1107,7 @@ - + @@ -1138,7 +1138,7 @@ - + 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 b4fa2958..2dea57ba 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 @@ -10728,7 +10728,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.result.mps b/coderules/solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.result.mps index 6654622f..bda7ba45 100644 --- a/coderules/solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.result.mps +++ b/coderules/solutions/jetbrains.mps.coderules.runtime/models/jetbrains.mps.coderules.runtime.result.mps @@ -714,7 +714,7 @@ - + @@ -754,7 +754,7 @@ - + @@ -1072,7 +1072,7 @@ - + @@ -1112,7 +1112,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.aspect@tests.mps b/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.aspect@tests.mps index a8e3ccd2..fc9031bf 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.aspect@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.aspect@tests.mps @@ -668,7 +668,7 @@ - + @@ -987,7 +987,7 @@ - + @@ -1359,7 +1359,7 @@ - + @@ -1666,7 +1666,7 @@ - + @@ -1949,7 +1949,7 @@ - + @@ -2136,7 +2136,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.testhelper/models/jetbrains.mps.coderules.testhelper.testutil.mps b/coderules/solutions/jetbrains.mps.coderules.testhelper/models/jetbrains.mps.coderules.testhelper.testutil.mps index cf622eae..a9c04991 100644 --- a/coderules/solutions/jetbrains.mps.coderules.testhelper/models/jetbrains.mps.coderules.testhelper.testutil.mps +++ b/coderules/solutions/jetbrains.mps.coderules.testhelper/models/jetbrains.mps.coderules.testhelper.testutil.mps @@ -1324,7 +1324,7 @@ - + @@ -1358,7 +1358,7 @@ - + @@ -2054,7 +2054,7 @@ - + @@ -3651,7 +3651,7 @@ - + @@ -3798,7 +3798,7 @@ - + @@ -3848,7 +3848,7 @@ - + @@ -3898,7 +3898,7 @@ - + @@ -5544,7 +5544,7 @@ - + @@ -5581,7 +5581,7 @@ - + @@ -9196,7 +9196,7 @@ - + @@ -9315,7 +9315,7 @@ - + @@ -9461,7 +9461,7 @@ - + @@ -10227,7 +10227,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps index 6f6a3e6e..447af525 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps @@ -1698,7 +1698,7 @@ - + @@ -1771,7 +1771,7 @@ - + @@ -1836,7 +1836,7 @@ - + @@ -1858,7 +1858,7 @@ - + @@ -2977,7 +2977,7 @@ - + @@ -3050,7 +3050,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps index 48c46fac..b7914b74 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 @@ -3285,7 +3285,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 4a395f13..85a2ae95 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 @@ -739,7 +739,7 @@ - + @@ -788,7 +788,7 @@ - + @@ -1256,7 +1256,7 @@ - + @@ -1292,7 +1292,7 @@ - + @@ -1328,7 +1328,7 @@ - + @@ -2495,7 +2495,7 @@ - + @@ -3511,7 +3511,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps index 21dafbd8..c282d47c 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 @@ -1137,7 +1137,7 @@ - + @@ -1162,11 +1162,11 @@ - + - + @@ -1212,7 +1212,7 @@ - + @@ -1257,7 +1257,7 @@ - + @@ -1273,7 +1273,7 @@ - + @@ -1296,7 +1296,7 @@ - + @@ -1785,7 +1785,7 @@ - + @@ -1870,13 +1870,13 @@ - + - + @@ -2177,7 +2177,7 @@ - + @@ -2328,7 +2328,7 @@ - + @@ -3302,7 +3302,7 @@ - + @@ -4142,7 +4142,7 @@ - + @@ -4187,7 +4187,7 @@ - + @@ -9917,7 +9917,7 @@ - + @@ -10099,7 +10099,7 @@ - + @@ -14017,7 +14017,7 @@ - + @@ -15982,7 +15982,7 @@ - + @@ -16073,7 +16073,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index 16779ac3..14dd4ea6 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps @@ -886,7 +886,7 @@ - + @@ -1180,7 +1180,7 @@ - + @@ -1680,7 +1680,7 @@ - + @@ -2967,7 +2967,7 @@ - + @@ -14602,7 +14602,7 @@ - + @@ -28119,7 +28119,7 @@ - + @@ -28215,7 +28215,7 @@ - + @@ -28223,7 +28223,7 @@ - + @@ -29688,7 +29688,7 @@ - + @@ -29706,7 +29706,7 @@ - + @@ -29745,7 +29745,7 @@ - + @@ -29783,7 +29783,7 @@ - + @@ -29818,7 +29818,7 @@ - + @@ -29856,7 +29856,7 @@ - + @@ -31724,7 +31724,7 @@ - + @@ -31963,7 +31963,7 @@ - + @@ -32244,7 +32244,7 @@ - + @@ -32577,7 +32577,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps index 12a1c757..cf78be75 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps @@ -3761,7 +3761,7 @@ - + @@ -4720,7 +4720,7 @@ - + @@ -4773,7 +4773,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps index 3d8b3bf8..a0209dc3 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps @@ -735,7 +735,7 @@ - + @@ -4799,7 +4799,7 @@ - + @@ -6621,7 +6621,7 @@ - + @@ -6766,7 +6766,7 @@ - + @@ -6808,7 +6808,7 @@ - + @@ -6874,7 +6874,7 @@ - + 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 7950471b..b9862376 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 @@ -608,7 +608,7 @@ - + @@ -2156,7 +2156,7 @@ - + @@ -2200,7 +2200,7 @@ - + @@ -2219,7 +2219,7 @@ - + @@ -2240,7 +2240,7 @@ - + @@ -2267,7 +2267,7 @@ - + @@ -2324,7 +2324,7 @@ - + @@ -4510,7 +4510,7 @@ - + @@ -4728,7 +4728,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 1f80453e..d9931859 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 @@ -3431,7 +3431,7 @@ - + @@ -3512,7 +3512,7 @@ - + @@ -5389,7 +5389,7 @@ - + diff --git a/samples/controlflow/jetbrains.mps.baseLanguageExt2/models/jetbrains.mps.baseLanguageExt2.controlflow.mps b/samples/controlflow/jetbrains.mps.baseLanguageExt2/models/jetbrains.mps.baseLanguageExt2.controlflow.mps index 1712350b..37f0df9b 100644 --- a/samples/controlflow/jetbrains.mps.baseLanguageExt2/models/jetbrains.mps.baseLanguageExt2.controlflow.mps +++ b/samples/controlflow/jetbrains.mps.baseLanguageExt2/models/jetbrains.mps.baseLanguageExt2.controlflow.mps @@ -6145,19 +6145,19 @@ - + - + - + @@ -6201,19 +6201,19 @@ - + - + - + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps index 5139c4c5..894d01cf 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps @@ -848,7 +848,7 @@ - + @@ -935,7 +935,7 @@ - + @@ -1626,7 +1626,7 @@ - + @@ -1713,7 +1713,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps index c6d3443f..25815ce6 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps @@ -1041,7 +1041,7 @@ - + @@ -1587,7 +1587,7 @@ - + @@ -1684,7 +1684,7 @@ - + @@ -2732,7 +2732,7 @@ - + @@ -2942,7 +2942,7 @@ - + @@ -3026,7 +3026,7 @@ - + @@ -3307,7 +3307,7 @@ - + @@ -3384,7 +3384,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/constraints.mps b/samples/fitch/languages/samples.fitch/models/constraints.mps index d83bfd2a..f197c120 100644 --- a/samples/fitch/languages/samples.fitch/models/constraints.mps +++ b/samples/fitch/languages/samples.fitch/models/constraints.mps @@ -207,7 +207,7 @@ - + @@ -313,7 +313,7 @@ - + @@ -481,7 +481,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/editor.mps b/samples/fitch/languages/samples.fitch/models/editor.mps index 08c3a8e9..8bf9070f 100644 --- a/samples/fitch/languages/samples.fitch/models/editor.mps +++ b/samples/fitch/languages/samples.fitch/models/editor.mps @@ -985,7 +985,7 @@ - + @@ -995,7 +995,7 @@ - + @@ -1049,7 +1049,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps index e85fda16..0aa3f730 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps @@ -359,7 +359,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps index d48d8005..94f30cb1 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps @@ -818,7 +818,7 @@ - + @@ -1816,7 +1816,7 @@ - + @@ -1866,7 +1866,7 @@ - + @@ -2245,7 +2245,7 @@ - + @@ -2263,7 +2263,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index 27f5fdd9..14a93635 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -9873,7 +9873,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps index 1465bc56..b698e8b2 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps @@ -1305,7 +1305,7 @@ - + @@ -1382,7 +1382,7 @@ - + @@ -1481,7 +1481,7 @@ - + @@ -1524,7 +1524,7 @@ - + @@ -2312,7 +2312,7 @@ - + @@ -4000,7 +4000,7 @@ - + @@ -4033,7 +4033,7 @@ - + @@ -4321,7 +4321,7 @@ - + @@ -4747,7 +4747,7 @@ - + @@ -5333,7 +5333,7 @@ - + @@ -15364,7 +15364,7 @@ - + @@ -15379,7 +15379,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.scripts.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.scripts.mps index 1c711247..76677c57 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.scripts.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.scripts.mps @@ -424,7 +424,7 @@ - + @@ -450,7 +450,7 @@ - + @@ -472,7 +472,7 @@ - + @@ -575,7 +575,7 @@ - + @@ -646,7 +646,7 @@ - + @@ -686,7 +686,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index ae06e21d..668e7b52 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 @@ -2184,7 +2184,7 @@ - + @@ -2205,7 +2205,7 @@ - + @@ -3232,7 +3232,7 @@ - + @@ -31816,7 +31816,7 @@ - + @@ -38619,7 +38619,7 @@ - + @@ -38664,7 +38664,7 @@ - + @@ -49565,7 +49565,7 @@ - + @@ -49649,7 +49649,7 @@ - + @@ -49776,7 +49776,7 @@ - + @@ -49802,7 +49802,7 @@ - + @@ -50026,7 +50026,7 @@ - + @@ -50200,7 +50200,7 @@ - + @@ -50222,7 +50222,7 @@ - + @@ -51476,7 +51476,7 @@ - + @@ -51491,7 +51491,7 @@ - + @@ -51502,7 +51502,7 @@ - + @@ -52427,7 +52427,7 @@ - + @@ -52478,7 +52478,7 @@ - + @@ -52593,7 +52593,7 @@ - + @@ -52644,7 +52644,7 @@ - + @@ -56311,7 +56311,7 @@ - + @@ -56397,7 +56397,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps index 6d7cc9fa..e8e24b78 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps @@ -1752,7 +1752,7 @@ - + @@ -1784,7 +1784,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps index e40a0fab..d4d3d26a 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps @@ -339,7 +339,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.collections.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.collections.mps index 8f174bce..d84bdc44 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.collections.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.collections.mps @@ -1294,10 +1294,10 @@ - + - + @@ -1364,10 +1364,10 @@ - + - + @@ -1394,10 +1394,10 @@ - + - + @@ -1423,10 +1423,10 @@ - + - + @@ -1452,10 +1452,10 @@ - + - + @@ -1479,10 +1479,10 @@ - + - + @@ -1518,10 +1518,10 @@ - + - + @@ -1547,10 +1547,10 @@ - + - + @@ -1618,10 +1618,10 @@ - + - + @@ -1645,10 +1645,10 @@ - + - + @@ -1684,10 +1684,10 @@ - + - + @@ -1713,10 +1713,10 @@ - + - + @@ -1754,10 +1754,10 @@ - + - + @@ -1942,7 +1942,7 @@ - + @@ -1968,7 +1968,7 @@ - + @@ -2038,7 +2038,7 @@ - + @@ -2113,7 +2113,7 @@ - + @@ -2143,7 +2143,7 @@ - + @@ -2261,10 +2261,10 @@ - + - + @@ -2497,10 +2497,10 @@ - + - + @@ -2529,7 +2529,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.collections.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.collections.mps index c13dcf3c..6ddd911a 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.collections.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.collections.mps @@ -7092,7 +7092,7 @@ - + @@ -7123,7 +7123,7 @@ - + @@ -7184,7 +7184,7 @@ - + @@ -7670,7 +7670,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps index 68cd9dd7..fcca9d1a 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps @@ -310,7 +310,7 @@ - + @@ -2381,7 +2381,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps index 5c24b833..8dff8b6f 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps @@ -786,7 +786,7 @@ - + @@ -797,7 +797,7 @@ - + @@ -816,7 +816,7 @@ - + @@ -882,7 +882,7 @@ - + @@ -985,7 +985,7 @@ - + @@ -2549,7 +2549,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps index 053b510a..ff599a31 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 @@ -1104,7 +1104,7 @@ - + @@ -1119,7 +1119,7 @@ - + @@ -1142,7 +1142,7 @@ - + @@ -1217,7 +1217,7 @@ - + @@ -1559,7 +1559,7 @@ - + @@ -1591,7 +1591,7 @@ - + @@ -1696,7 +1696,7 @@ - + @@ -1765,7 +1765,7 @@ - + @@ -1839,7 +1839,7 @@ - + @@ -1948,7 +1948,7 @@ - + @@ -2020,7 +2020,7 @@ - + @@ -2097,7 +2097,7 @@ - + @@ -2168,7 +2168,7 @@ - + @@ -4321,7 +4321,7 @@ - + @@ -4598,7 +4598,7 @@ - + @@ -4613,7 +4613,7 @@ - + @@ -4636,7 +4636,7 @@ - + @@ -4710,7 +4710,7 @@ - + @@ -5000,7 +5000,7 @@ - + @@ -5203,7 +5203,7 @@ - + @@ -5453,7 +5453,7 @@ - + @@ -5607,7 +5607,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.types@tests.mps b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.types@tests.mps index 5edfc409..37ffc4e5 100644 --- a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.types@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.types@tests.mps @@ -635,7 +635,7 @@ - + @@ -650,7 +650,7 @@ - + @@ -673,7 +673,7 @@ - +