From a27cdecc6718730854e3de403722ea6d65720f05 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 31 Aug 2016 12:02:05 +0200 Subject: [PATCH] Renamings and refactorings in the logic api. Use TreeForm name for the tree abstraction. Rename Atom, Func etc. and the usages. --- .../languageModels/plugin.mps | 2 +- .../generator/template/main@generator.mps | 18 +- .../lang/typesystem2/samplechecker/runner.mps | 14 +- .../lang/typesystem2/samplechecker/util.mps | 36 +- .../typesystem2/sampleplugin/jchr/plugin.mps | 62 +- .../jetbrains/mps/logic/jchr/predicate.mps | 96 +-- .../generator/template/main@generator.mps | 8 +- .../languageModels/behavior.mps | 14 +- .../languageModels/typesystem.mps | 2 +- .../models/jetbrains/mps/logic/builtin.mps | 66 +- .../jetbrains/mps/logic/builtin/program.mps | 26 +- .../mps/logic/builtin/unification.mps | 14 +- .../models/jetbrains/mps/logic/atom.mps | 644 +++++++++--------- .../mps/logic/test/logical@tests.mps | 406 +++++------ .../mps/logic/test/unification@tests.mps | 206 +++--- .../models/types.mps | 2 +- .../samplechecker/handle/test/util@tests.mps | 110 +-- .../typesystem2/samplechecker/handle/util.mps | 200 +++--- .../lang/typesystem2/sampleplugin/plugin.mps | 164 ++--- .../generator/template/main@generator.mps | 22 +- .../mps/lang/typesystem2/program.mps | 12 +- 21 files changed, 1062 insertions(+), 1062 deletions(-) diff --git a/jchr/languages/jetbrains.mps.jchr/languageModels/plugin.mps b/jchr/languages/jetbrains.mps.jchr/languageModels/plugin.mps index 9546f85f..e390f93b 100644 --- a/jchr/languages/jetbrains.mps.jchr/languageModels/plugin.mps +++ b/jchr/languages/jetbrains.mps.jchr/languageModels/plugin.mps @@ -1318,7 +1318,7 @@ - + diff --git a/jchr/languages/jetbrains.mps.logic_jchr/generator/template/main@generator.mps b/jchr/languages/jetbrains.mps.logic_jchr/generator/template/main@generator.mps index 795f503a..27dba340 100644 --- a/jchr/languages/jetbrains.mps.logic_jchr/generator/template/main@generator.mps +++ b/jchr/languages/jetbrains.mps.logic_jchr/generator/template/main@generator.mps @@ -304,7 +304,7 @@ - + @@ -482,7 +482,7 @@ - + @@ -617,7 +617,7 @@ - + @@ -671,7 +671,7 @@ - + @@ -685,13 +685,13 @@ - + - + @@ -752,7 +752,7 @@ - + @@ -939,7 +939,7 @@ - + @@ -1119,7 +1119,7 @@ - + diff --git a/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps b/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps index 07ecaf00..8785df9a 100644 --- a/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps +++ b/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps @@ -394,9 +394,9 @@ - + - + @@ -412,7 +412,7 @@ - + @@ -957,13 +957,13 @@ - + - + @@ -1010,7 +1010,7 @@ - + @@ -1018,7 +1018,7 @@ - + diff --git a/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/util.mps b/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/util.mps index e24330fd..a7ed3631 100644 --- a/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/util.mps +++ b/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/util.mps @@ -320,9 +320,9 @@ - + - + @@ -343,7 +343,7 @@ - + @@ -376,9 +376,9 @@ - + - + @@ -405,7 +405,7 @@ - + @@ -436,9 +436,9 @@ - + - + @@ -467,7 +467,7 @@ - + @@ -484,7 +484,7 @@ - + @@ -493,7 +493,7 @@ - + @@ -511,9 +511,9 @@ - + - + @@ -592,7 +592,7 @@ - + @@ -604,7 +604,7 @@ - + @@ -889,7 +889,7 @@ - + @@ -983,7 +983,7 @@ - + @@ -1066,7 +1066,7 @@ - + diff --git a/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/models/jetbrains/mps/lang/typesystem2/sampleplugin/jchr/plugin.mps b/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/models/jetbrains/mps/lang/typesystem2/sampleplugin/jchr/plugin.mps index d1769420..0eac170f 100644 --- a/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/models/jetbrains/mps/lang/typesystem2/sampleplugin/jchr/plugin.mps +++ b/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/models/jetbrains/mps/lang/typesystem2/sampleplugin/jchr/plugin.mps @@ -527,11 +527,11 @@ - + - + @@ -541,12 +541,12 @@ - + - + - + @@ -558,7 +558,7 @@ - + @@ -566,15 +566,15 @@ - + - + - + @@ -594,7 +594,7 @@ - + @@ -615,7 +615,7 @@ - + @@ -638,7 +638,7 @@ - + @@ -650,7 +650,7 @@ - + @@ -734,7 +734,7 @@ - + @@ -754,7 +754,7 @@ - + @@ -944,7 +944,7 @@ - + @@ -964,7 +964,7 @@ - + @@ -1354,7 +1354,7 @@ - + @@ -1654,7 +1654,7 @@ - + @@ -1702,7 +1702,7 @@ - + @@ -2085,7 +2085,7 @@ - + @@ -2892,7 +2892,7 @@ - + @@ -2901,7 +2901,7 @@ - + @@ -3419,7 +3419,7 @@ - + @@ -3430,7 +3430,7 @@ - + @@ -5409,7 +5409,7 @@ - + @@ -5436,15 +5436,15 @@ - - + + - + - + @@ -5460,7 +5460,7 @@ - + diff --git a/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/predicate.mps b/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/predicate.mps index f982fc3a..4c6be324 100644 --- a/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/predicate.mps +++ b/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/predicate.mps @@ -417,13 +417,13 @@ - + - + @@ -447,13 +447,13 @@ - + - + @@ -477,13 +477,13 @@ - + - + @@ -507,13 +507,13 @@ - + - + @@ -537,13 +537,13 @@ - + - + @@ -567,13 +567,13 @@ - + - + @@ -597,13 +597,13 @@ - + - + @@ -627,13 +627,13 @@ - + - + @@ -4459,13 +4459,13 @@ - + - + @@ -4504,13 +4504,13 @@ - + - + @@ -4549,13 +4549,13 @@ - + - + @@ -4594,13 +4594,13 @@ - + - + @@ -4639,13 +4639,13 @@ - + - + @@ -4684,13 +4684,13 @@ - + - + @@ -4729,13 +4729,13 @@ - + - + @@ -4774,13 +4774,13 @@ - + - + @@ -5127,7 +5127,7 @@ - + @@ -5225,7 +5225,7 @@ - + @@ -5317,15 +5317,15 @@ - + - + - + @@ -5342,7 +5342,7 @@ - + @@ -5352,9 +5352,9 @@ - + - + @@ -5391,7 +5391,7 @@ - + @@ -5399,14 +5399,14 @@ - + - + @@ -5427,7 +5427,7 @@ - + @@ -5473,7 +5473,7 @@ - + @@ -5485,7 +5485,7 @@ - + @@ -5572,13 +5572,13 @@ - + - + diff --git a/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps index 9b5bad87..7f9e87d6 100644 --- a/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -345,7 +345,7 @@ - + @@ -405,7 +405,7 @@ - + @@ -593,7 +593,7 @@ - + @@ -773,7 +773,7 @@ - + diff --git a/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps b/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps index 832c5064..c4da5e23 100644 --- a/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps +++ b/logic/languages/jetbrains.mps.logic/languageModels/behavior.mps @@ -168,7 +168,7 @@ - + @@ -185,7 +185,7 @@ - + @@ -196,7 +196,7 @@ - + @@ -216,7 +216,7 @@ - + @@ -264,7 +264,7 @@ - + @@ -315,7 +315,7 @@ - + @@ -339,7 +339,7 @@ - + diff --git a/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps index d5f3cf32..94cceead 100644 --- a/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps +++ b/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps @@ -188,7 +188,7 @@ - + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps index 1762193c..ccf87cfc 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps @@ -241,7 +241,7 @@ - + @@ -250,7 +250,7 @@ - + @@ -260,7 +260,7 @@ - + @@ -276,7 +276,7 @@ - + @@ -295,7 +295,7 @@ - + @@ -346,7 +346,7 @@ - + @@ -358,14 +358,14 @@ - + - + @@ -376,7 +376,7 @@ - + @@ -387,14 +387,14 @@ - + - + @@ -435,16 +435,16 @@ - + - + - + @@ -454,7 +454,7 @@ - + @@ -499,9 +499,9 @@ - + - + @@ -514,7 +514,7 @@ - + @@ -529,20 +529,20 @@ - + - + - + - + @@ -550,7 +550,7 @@ - + @@ -561,10 +561,10 @@ - + - + @@ -581,10 +581,10 @@ - + - + @@ -592,7 +592,7 @@ - + @@ -1000,7 +1000,7 @@ - + @@ -1025,7 +1025,7 @@ - + @@ -1042,7 +1042,7 @@ - + @@ -1320,7 +1320,7 @@ - + @@ -1340,7 +1340,7 @@ - + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps index 1016a2a1..2d7232a0 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps @@ -1869,7 +1869,7 @@ - + @@ -1885,13 +1885,13 @@ - + - + @@ -1919,7 +1919,7 @@ - + @@ -1943,7 +1943,7 @@ - + @@ -1957,7 +1957,7 @@ - + @@ -1994,7 +1994,7 @@ - + @@ -2024,7 +2024,7 @@ - + @@ -2045,7 +2045,7 @@ - + @@ -2056,7 +2056,7 @@ - + @@ -2074,7 +2074,7 @@ - + @@ -2099,7 +2099,7 @@ - + @@ -2116,7 +2116,7 @@ - + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps index c266169d..bdf38860 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps @@ -166,7 +166,7 @@ - + @@ -256,7 +256,7 @@ - + @@ -325,7 +325,7 @@ - + @@ -538,7 +538,7 @@ - + @@ -682,7 +682,7 @@ - + @@ -707,7 +707,7 @@ - + @@ -766,7 +766,7 @@ - + diff --git a/logic/solutions/jetbrains.mps.logic.atom/models/jetbrains/mps/logic/atom.mps b/logic/solutions/jetbrains.mps.logic.atom/models/jetbrains/mps/logic/atom.mps index ca421d3c..56ad0b5c 100644 --- a/logic/solutions/jetbrains.mps.logic.atom/models/jetbrains/mps/logic/atom.mps +++ b/logic/solutions/jetbrains.mps.logic.atom/models/jetbrains/mps/logic/atom.mps @@ -559,11 +559,11 @@ - + - + @@ -603,7 +603,7 @@ - + @@ -626,7 +626,7 @@ - + @@ -693,7 +693,7 @@ - + @@ -901,7 +901,7 @@ - + @@ -921,7 +921,7 @@ - + @@ -990,7 +990,7 @@ - + @@ -1013,7 +1013,7 @@ - + @@ -1024,7 +1024,7 @@ - + @@ -1047,7 +1047,7 @@ - + @@ -1102,7 +1102,7 @@ - + @@ -1223,7 +1223,7 @@ - + @@ -1232,7 +1232,7 @@ - + @@ -1254,7 +1254,7 @@ - + @@ -1275,7 +1275,7 @@ - + @@ -1287,7 +1287,7 @@ - + @@ -1380,7 +1380,7 @@ - + @@ -1394,7 +1394,7 @@ - + @@ -1529,7 +1529,7 @@ - + @@ -1541,7 +1541,7 @@ - + @@ -1554,7 +1554,7 @@ - + @@ -1674,7 +1674,7 @@ - + @@ -1709,15 +1709,15 @@ - + - + - + @@ -1774,7 +1774,7 @@ - + @@ -1794,7 +1794,7 @@ - + @@ -1945,7 +1945,7 @@ - + @@ -1960,11 +1960,11 @@ - + - + @@ -2001,7 +2001,7 @@ - + @@ -2014,7 +2014,7 @@ - + @@ -2147,11 +2147,11 @@ - + - + @@ -2402,7 +2402,7 @@ - + @@ -2433,7 +2433,7 @@ - + @@ -2455,7 +2455,7 @@ - + @@ -2478,10 +2478,10 @@ - + - + @@ -2498,7 +2498,7 @@ - + @@ -2583,11 +2583,11 @@ - + - + @@ -2620,7 +2620,7 @@ - + @@ -2635,7 +2635,7 @@ - + @@ -2643,7 +2643,7 @@ - + @@ -2666,7 +2666,7 @@ - + @@ -2680,7 +2680,7 @@ - + @@ -2689,7 +2689,7 @@ - + @@ -2703,7 +2703,7 @@ - + @@ -2764,7 +2764,7 @@ - + @@ -2785,7 +2785,7 @@ - + @@ -2806,7 +2806,7 @@ - + @@ -2818,7 +2818,7 @@ - + @@ -2911,7 +2911,7 @@ - + @@ -2925,7 +2925,7 @@ - + @@ -3060,7 +3060,7 @@ - + @@ -3072,7 +3072,7 @@ - + @@ -3082,7 +3082,7 @@ - + @@ -3136,7 +3136,7 @@ - + @@ -3146,7 +3146,7 @@ - + @@ -3265,7 +3265,7 @@ - + @@ -3281,7 +3281,7 @@ - + @@ -3310,7 +3310,7 @@ - + @@ -3326,7 +3326,7 @@ - + @@ -3334,7 +3334,7 @@ - + @@ -3423,7 +3423,7 @@ - + @@ -3436,7 +3436,7 @@ - + @@ -3462,7 +3462,7 @@ - + @@ -3592,7 +3592,7 @@ - + @@ -3615,7 +3615,7 @@ - + @@ -3822,11 +3822,11 @@ - + - + @@ -3863,7 +3863,7 @@ - + @@ -3886,7 +3886,7 @@ - + @@ -4088,10 +4088,10 @@ - + - + @@ -4116,7 +4116,7 @@ - + @@ -4133,7 +4133,7 @@ - + @@ -4141,7 +4141,7 @@ - + @@ -4279,13 +4279,13 @@ - + - + @@ -4307,11 +4307,11 @@ - + - + @@ -4398,7 +4398,7 @@ - + @@ -4416,7 +4416,7 @@ - + @@ -4565,7 +4565,7 @@ - + @@ -5062,13 +5062,13 @@ - + - + @@ -5080,11 +5080,11 @@ - + - + @@ -5097,7 +5097,7 @@ - + @@ -5107,7 +5107,7 @@ - + @@ -5121,7 +5121,7 @@ - + @@ -5149,13 +5149,13 @@ - + - + @@ -5177,7 +5177,7 @@ - + @@ -5188,7 +5188,7 @@ - + @@ -5211,7 +5211,7 @@ - + @@ -5232,7 +5232,7 @@ - + @@ -5288,7 +5288,7 @@ - + @@ -5306,7 +5306,7 @@ - + @@ -5335,7 +5335,7 @@ - + @@ -5361,7 +5361,7 @@ - + @@ -5425,7 +5425,7 @@ - + @@ -5437,7 +5437,7 @@ - + @@ -5453,7 +5453,7 @@ - + @@ -5472,7 +5472,7 @@ - + @@ -5491,7 +5491,7 @@ - + @@ -5507,7 +5507,7 @@ - + @@ -5570,7 +5570,7 @@ - + @@ -5603,7 +5603,7 @@ - + @@ -5628,7 +5628,7 @@ - + @@ -5650,7 +5650,7 @@ - + @@ -5708,7 +5708,7 @@ - + @@ -5733,7 +5733,7 @@ - + @@ -5743,7 +5743,7 @@ - + @@ -5780,7 +5780,7 @@ - + @@ -5847,7 +5847,7 @@ - + @@ -5898,7 +5898,7 @@ - + @@ -5997,7 +5997,7 @@ - + @@ -6100,7 +6100,7 @@ - + @@ -6298,7 +6298,7 @@ - + @@ -6470,7 +6470,7 @@ - + @@ -6504,7 +6504,7 @@ - + @@ -6517,7 +6517,7 @@ - + @@ -6529,7 +6529,7 @@ - + @@ -6539,7 +6539,7 @@ - + @@ -6565,7 +6565,7 @@ - + @@ -6590,7 +6590,7 @@ - + @@ -6611,7 +6611,7 @@ - + @@ -6650,7 +6650,7 @@ - + @@ -6686,7 +6686,7 @@ - + @@ -6716,7 +6716,7 @@ - + @@ -6757,7 +6757,7 @@ - + @@ -6784,7 +6784,7 @@ - + @@ -6834,7 +6834,7 @@ - + @@ -6886,7 +6886,7 @@ - + @@ -6902,7 +6902,7 @@ - + @@ -6986,7 +6986,7 @@ - + @@ -7015,7 +7015,7 @@ - + @@ -7044,7 +7044,7 @@ - + @@ -7117,7 +7117,7 @@ - + @@ -7161,7 +7161,7 @@ - + @@ -7170,7 +7170,7 @@ - + @@ -7178,11 +7178,11 @@ - + - + @@ -7254,7 +7254,7 @@ - + @@ -7385,7 +7385,7 @@ - + @@ -7400,7 +7400,7 @@ - + @@ -7508,7 +7508,7 @@ - + @@ -7537,7 +7537,7 @@ - + @@ -7568,7 +7568,7 @@ - + @@ -7588,13 +7588,13 @@ - + - + @@ -7690,7 +7690,7 @@ - + @@ -7773,7 +7773,7 @@ - + @@ -7890,7 +7890,7 @@ - + @@ -7982,7 +7982,7 @@ - + @@ -8089,7 +8089,7 @@ - + @@ -8227,7 +8227,7 @@ - + @@ -8236,12 +8236,12 @@ - + - + @@ -8264,13 +8264,13 @@ - + - + @@ -8279,11 +8279,11 @@ - + - + @@ -8328,7 +8328,7 @@ - + @@ -8346,11 +8346,11 @@ - + - + @@ -8379,7 +8379,7 @@ - + @@ -8391,7 +8391,7 @@ - + @@ -8410,7 +8410,7 @@ - + @@ -8426,7 +8426,7 @@ - + @@ -8475,7 +8475,7 @@ - + @@ -8483,10 +8483,10 @@ - + - + @@ -8534,11 +8534,11 @@ - + - + @@ -8564,7 +8564,7 @@ - + @@ -8615,10 +8615,10 @@ - + - + @@ -8668,7 +8668,7 @@ - + @@ -8687,7 +8687,7 @@ - + @@ -8716,7 +8716,7 @@ - + @@ -8729,7 +8729,7 @@ - + @@ -8763,13 +8763,13 @@ - + - + @@ -8778,14 +8778,14 @@ - + - + @@ -8807,7 +8807,7 @@ - + @@ -8817,7 +8817,7 @@ - + @@ -8841,7 +8841,7 @@ - + @@ -8853,7 +8853,7 @@ - + @@ -8865,14 +8865,14 @@ - + - + @@ -8910,7 +8910,7 @@ - + @@ -8939,7 +8939,7 @@ - + @@ -8954,11 +8954,11 @@ - + - + @@ -9062,7 +9062,7 @@ - + @@ -9130,7 +9130,7 @@ - + @@ -9156,14 +9156,14 @@ - + - + @@ -9186,25 +9186,25 @@ - + - + - + - + @@ -9222,7 +9222,7 @@ - + @@ -9233,7 +9233,7 @@ - + @@ -9249,7 +9249,7 @@ - + @@ -9264,7 +9264,7 @@ - + @@ -9282,7 +9282,7 @@ - + @@ -9305,7 +9305,7 @@ - + @@ -9313,7 +9313,7 @@ - + @@ -9331,7 +9331,7 @@ - + @@ -9342,7 +9342,7 @@ - + @@ -9373,7 +9373,7 @@ - + @@ -9392,7 +9392,7 @@ - + @@ -9435,7 +9435,7 @@ - + @@ -9465,7 +9465,7 @@ - + @@ -9484,20 +9484,20 @@ - + - + - + @@ -9511,13 +9511,13 @@ - + - + @@ -9536,13 +9536,13 @@ - + - + @@ -9552,7 +9552,7 @@ - + @@ -9563,13 +9563,13 @@ - + - + @@ -9596,7 +9596,7 @@ - + @@ -9617,7 +9617,7 @@ - + @@ -9636,7 +9636,7 @@ - + @@ -9656,13 +9656,13 @@ - + - + @@ -9677,7 +9677,7 @@ - + @@ -9703,7 +9703,7 @@ - + @@ -9718,7 +9718,7 @@ - + @@ -9728,9 +9728,9 @@ - + - + @@ -9750,13 +9750,13 @@ - + - + @@ -9768,7 +9768,7 @@ - + @@ -9776,9 +9776,9 @@ - + - + @@ -9786,10 +9786,10 @@ - + - + @@ -9801,7 +9801,7 @@ - + @@ -9815,7 +9815,7 @@ - + @@ -9892,7 +9892,7 @@ - + @@ -9917,7 +9917,7 @@ - + @@ -9947,7 +9947,7 @@ - + @@ -9961,7 +9961,7 @@ - + @@ -10013,21 +10013,21 @@ - + - + - + @@ -10042,14 +10042,14 @@ - + - + @@ -10094,7 +10094,7 @@ - + @@ -10148,7 +10148,7 @@ - + @@ -10158,7 +10158,7 @@ - + @@ -10170,7 +10170,7 @@ - + @@ -10253,7 +10253,7 @@ - + @@ -10390,7 +10390,7 @@ - + @@ -10423,7 +10423,7 @@ - + @@ -10572,7 +10572,7 @@ - + @@ -10667,7 +10667,7 @@ - + @@ -10795,7 +10795,7 @@ - + @@ -11464,7 +11464,7 @@ - + @@ -11486,7 +11486,7 @@ - + @@ -11518,7 +11518,7 @@ - + @@ -11548,7 +11548,7 @@ - + @@ -11619,7 +11619,7 @@ - + @@ -11684,7 +11684,7 @@ - + @@ -11749,9 +11749,9 @@ - + - + @@ -11762,7 +11762,7 @@ - + @@ -11888,7 +11888,7 @@ - + @@ -11922,7 +11922,7 @@ - + @@ -11942,9 +11942,9 @@ - + - + @@ -11955,21 +11955,21 @@ - + - + - + - + @@ -11984,14 +11984,14 @@ - + - + @@ -12003,7 +12003,7 @@ - + @@ -12037,18 +12037,18 @@ - + - + - + @@ -12077,7 +12077,7 @@ - + @@ -12105,7 +12105,7 @@ - + @@ -12129,7 +12129,7 @@ - + @@ -12197,7 +12197,7 @@ - + @@ -12258,9 +12258,9 @@ - + - + @@ -12274,7 +12274,7 @@ - + @@ -12289,7 +12289,7 @@ - + @@ -12297,7 +12297,7 @@ - + @@ -12308,10 +12308,10 @@ - + - + @@ -12325,7 +12325,7 @@ - + @@ -12333,9 +12333,9 @@ - + - + @@ -12347,14 +12347,14 @@ - + - + @@ -12378,9 +12378,9 @@ - + - + @@ -12401,7 +12401,7 @@ - + @@ -12420,7 +12420,7 @@ - + @@ -12436,20 +12436,20 @@ - + - + - + - + @@ -12463,19 +12463,19 @@ - + - + - + @@ -12500,7 +12500,7 @@ - + @@ -12508,7 +12508,7 @@ - + @@ -12533,7 +12533,7 @@ - + diff --git a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps index 7824399d..0c2cdc11 100644 --- a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps +++ b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps @@ -198,12 +198,12 @@ - + - + @@ -213,7 +213,7 @@ - + @@ -263,14 +263,14 @@ - + - + @@ -284,14 +284,14 @@ - + - + @@ -303,10 +303,10 @@ - + - + @@ -315,7 +315,7 @@ - + @@ -328,12 +328,12 @@ - + - + @@ -349,7 +349,7 @@ - + @@ -414,7 +414,7 @@ - + @@ -424,18 +424,18 @@ - + - + - + @@ -454,11 +454,11 @@ - + - + @@ -468,7 +468,7 @@ - + @@ -496,9 +496,9 @@ - + - + @@ -510,13 +510,13 @@ - + - + @@ -552,7 +552,7 @@ - + @@ -561,7 +561,7 @@ - + @@ -580,13 +580,13 @@ - + - + @@ -628,7 +628,7 @@ - + @@ -642,13 +642,13 @@ - + - + - + @@ -673,13 +673,13 @@ - + - + @@ -741,7 +741,7 @@ - + @@ -750,7 +750,7 @@ - + @@ -770,7 +770,7 @@ - + @@ -847,7 +847,7 @@ - + @@ -863,11 +863,11 @@ - + - + @@ -891,11 +891,11 @@ - + - + @@ -914,13 +914,13 @@ - + - + - + @@ -944,13 +944,13 @@ - + - + @@ -1012,7 +1012,7 @@ - + @@ -1021,7 +1021,7 @@ - + @@ -1041,7 +1041,7 @@ - + @@ -1182,13 +1182,13 @@ - + - + @@ -1224,7 +1224,7 @@ - + @@ -1310,11 +1310,11 @@ - + - + @@ -1339,11 +1339,11 @@ - + - + @@ -1368,11 +1368,11 @@ - + - + @@ -1398,7 +1398,7 @@ - + @@ -1472,7 +1472,7 @@ - + @@ -1494,13 +1494,13 @@ - + - + @@ -1588,7 +1588,7 @@ - + @@ -1737,11 +1737,11 @@ - + - + @@ -1766,11 +1766,11 @@ - + - + @@ -1795,11 +1795,11 @@ - + - + @@ -1825,7 +1825,7 @@ - + @@ -1858,7 +1858,7 @@ - + @@ -1879,13 +1879,13 @@ - + - + @@ -1973,7 +1973,7 @@ - + @@ -2087,7 +2087,7 @@ - + @@ -2111,7 +2111,7 @@ - + @@ -2135,7 +2135,7 @@ - + @@ -2160,7 +2160,7 @@ - + @@ -2198,7 +2198,7 @@ - + @@ -2221,7 +2221,7 @@ - + @@ -2232,7 +2232,7 @@ - + @@ -2248,16 +2248,16 @@ - + - + - + @@ -2275,7 +2275,7 @@ - + @@ -2299,7 +2299,7 @@ - + @@ -2323,7 +2323,7 @@ - + @@ -2347,7 +2347,7 @@ - + @@ -2372,7 +2372,7 @@ - + @@ -2402,17 +2402,17 @@ - + - + - + @@ -2426,7 +2426,7 @@ - + @@ -2446,7 +2446,7 @@ - + @@ -2454,7 +2454,7 @@ - + @@ -2474,7 +2474,7 @@ - + @@ -2485,7 +2485,7 @@ - + @@ -2498,16 +2498,16 @@ - + - + - + @@ -2518,7 +2518,7 @@ - + @@ -2531,16 +2531,16 @@ - + - + - + @@ -2558,7 +2558,7 @@ - + @@ -2582,7 +2582,7 @@ - + @@ -2606,7 +2606,7 @@ - + @@ -2630,7 +2630,7 @@ - + @@ -2655,7 +2655,7 @@ - + @@ -2727,7 +2727,7 @@ - + @@ -2735,7 +2735,7 @@ - + @@ -2763,7 +2763,7 @@ - + @@ -2771,7 +2771,7 @@ - + @@ -2799,7 +2799,7 @@ - + @@ -2810,7 +2810,7 @@ - + @@ -2823,16 +2823,16 @@ - + - + - + @@ -2843,7 +2843,7 @@ - + @@ -2856,16 +2856,16 @@ - + - + - + @@ -2880,7 +2880,7 @@ - + @@ -2888,7 +2888,7 @@ - + @@ -2899,12 +2899,12 @@ - + - + @@ -2913,21 +2913,21 @@ - + - + - + - + @@ -2940,10 +2940,10 @@ - + - + @@ -2964,11 +2964,11 @@ - + - + @@ -2981,11 +2981,11 @@ - + - + @@ -2998,11 +2998,11 @@ - + - + @@ -3059,7 +3059,7 @@ - + @@ -3069,11 +3069,11 @@ - + - + @@ -3093,11 +3093,11 @@ - + - + @@ -3117,11 +3117,11 @@ - + - + @@ -3144,11 +3144,11 @@ - + - + @@ -3161,11 +3161,11 @@ - + - + @@ -3336,15 +3336,15 @@ - + - + - + @@ -3354,7 +3354,7 @@ - + @@ -3375,7 +3375,7 @@ - + @@ -3398,7 +3398,7 @@ - + @@ -3422,7 +3422,7 @@ - + @@ -3444,7 +3444,7 @@ - + @@ -3467,7 +3467,7 @@ - + @@ -3492,7 +3492,7 @@ - + @@ -3525,7 +3525,7 @@ - + @@ -3566,7 +3566,7 @@ - + @@ -3594,7 +3594,7 @@ - + @@ -3617,7 +3617,7 @@ - + @@ -3640,7 +3640,7 @@ - + @@ -3674,7 +3674,7 @@ - + @@ -3709,7 +3709,7 @@ - + @@ -3729,7 +3729,7 @@ - + @@ -3762,7 +3762,7 @@ - + @@ -3796,7 +3796,7 @@ - + @@ -3821,7 +3821,7 @@ - + @@ -3841,7 +3841,7 @@ - + @@ -3857,7 +3857,7 @@ - + @@ -3874,7 +3874,7 @@ - + @@ -3899,7 +3899,7 @@ - + @@ -3919,7 +3919,7 @@ - + @@ -3939,7 +3939,7 @@ - + @@ -3964,7 +3964,7 @@ - + @@ -3993,7 +3993,7 @@ - + @@ -4013,7 +4013,7 @@ - + @@ -4031,7 +4031,7 @@ - + @@ -4048,7 +4048,7 @@ - + @@ -4071,7 +4071,7 @@ - + @@ -4114,11 +4114,11 @@ - + - + @@ -4144,11 +4144,11 @@ - + - + @@ -4180,7 +4180,7 @@ - + @@ -4191,7 +4191,7 @@ - + @@ -4204,7 +4204,7 @@ - + @@ -4216,7 +4216,7 @@ - + @@ -4244,7 +4244,7 @@ - + @@ -4263,7 +4263,7 @@ - + @@ -4298,7 +4298,7 @@ - + @@ -4322,7 +4322,7 @@ - + @@ -4362,7 +4362,7 @@ - + @@ -4396,7 +4396,7 @@ - + @@ -4446,7 +4446,7 @@ - + @@ -4480,7 +4480,7 @@ - + @@ -4530,7 +4530,7 @@ - + @@ -4547,7 +4547,7 @@ - + @@ -4580,7 +4580,7 @@ - + @@ -4597,7 +4597,7 @@ - + diff --git a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps index 5576e8ee..e8f655ba 100644 --- a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps +++ b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps @@ -237,7 +237,7 @@ - + @@ -278,7 +278,7 @@ - + @@ -315,12 +315,12 @@ - + - + @@ -341,7 +341,7 @@ - + @@ -352,7 +352,7 @@ - + @@ -388,7 +388,7 @@ - + @@ -406,7 +406,7 @@ - + @@ -449,7 +449,7 @@ - + @@ -467,7 +467,7 @@ - + @@ -518,7 +518,7 @@ - + @@ -551,7 +551,7 @@ - + @@ -609,7 +609,7 @@ - + @@ -640,7 +640,7 @@ - + @@ -698,7 +698,7 @@ - + @@ -737,7 +737,7 @@ - + @@ -793,7 +793,7 @@ - + @@ -832,7 +832,7 @@ - + @@ -898,7 +898,7 @@ - + @@ -937,7 +937,7 @@ - + @@ -1008,7 +1008,7 @@ - + @@ -1030,7 +1030,7 @@ - + @@ -1084,7 +1084,7 @@ - + @@ -1102,7 +1102,7 @@ - + @@ -1120,7 +1120,7 @@ - + @@ -1138,7 +1138,7 @@ - + @@ -1203,7 +1203,7 @@ - + @@ -1266,7 +1266,7 @@ - + @@ -1325,7 +1325,7 @@ - + @@ -1343,7 +1343,7 @@ - + @@ -1394,7 +1394,7 @@ - + @@ -1457,7 +1457,7 @@ - + @@ -1491,7 +1491,7 @@ - + @@ -1534,7 +1534,7 @@ - + @@ -1683,7 +1683,7 @@ - + @@ -1724,7 +1724,7 @@ - + @@ -1761,12 +1761,12 @@ - + - + @@ -1798,7 +1798,7 @@ - + @@ -1873,7 +1873,7 @@ - + @@ -1915,7 +1915,7 @@ - + @@ -2017,7 +2017,7 @@ - + @@ -2051,7 +2051,7 @@ - + @@ -2153,7 +2153,7 @@ - + @@ -2187,7 +2187,7 @@ - + @@ -2217,7 +2217,7 @@ - + @@ -2240,7 +2240,7 @@ - + @@ -2380,7 +2380,7 @@ - + @@ -2423,7 +2423,7 @@ - + @@ -2465,7 +2465,7 @@ - + @@ -2612,7 +2612,7 @@ - + @@ -2630,7 +2630,7 @@ - + @@ -2682,7 +2682,7 @@ - + @@ -2725,7 +2725,7 @@ - + @@ -2768,7 +2768,7 @@ - + @@ -2915,7 +2915,7 @@ - + @@ -2933,7 +2933,7 @@ - + @@ -2985,7 +2985,7 @@ - + @@ -3038,7 +3038,7 @@ - + @@ -3122,7 +3122,7 @@ - + @@ -3140,7 +3140,7 @@ - + @@ -3192,7 +3192,7 @@ - + @@ -3267,7 +3267,7 @@ - + @@ -3458,7 +3458,7 @@ - + @@ -3527,7 +3527,7 @@ - + @@ -3676,7 +3676,7 @@ - + @@ -3726,7 +3726,7 @@ - + @@ -3858,7 +3858,7 @@ - + @@ -3891,7 +3891,7 @@ - + @@ -4007,7 +4007,7 @@ - + @@ -4067,7 +4067,7 @@ - + @@ -4226,7 +4226,7 @@ - + @@ -4286,7 +4286,7 @@ - + @@ -4312,7 +4312,7 @@ - + @@ -4564,7 +4564,7 @@ - + @@ -4577,7 +4577,7 @@ - + @@ -4594,7 +4594,7 @@ - + @@ -4612,7 +4612,7 @@ - + @@ -4623,7 +4623,7 @@ - + @@ -4642,7 +4642,7 @@ - + @@ -4665,7 +4665,7 @@ - + @@ -4675,7 +4675,7 @@ - + @@ -4729,7 +4729,7 @@ - + @@ -4741,7 +4741,7 @@ - + @@ -4778,7 +4778,7 @@ - + @@ -4788,7 +4788,7 @@ - + @@ -4835,7 +4835,7 @@ - + @@ -4856,7 +4856,7 @@ - + @@ -4922,7 +4922,7 @@ - + @@ -4930,7 +4930,7 @@ - + @@ -4961,7 +4961,7 @@ - + @@ -5004,7 +5004,7 @@ - + @@ -5021,7 +5021,7 @@ - + @@ -5031,7 +5031,7 @@ - + @@ -5073,7 +5073,7 @@ - + @@ -5081,7 +5081,7 @@ - + @@ -5116,7 +5116,7 @@ - + @@ -5126,7 +5126,7 @@ - + @@ -5191,7 +5191,7 @@ - + @@ -5212,7 +5212,7 @@ - + @@ -5278,7 +5278,7 @@ - + @@ -5286,7 +5286,7 @@ - + @@ -5317,7 +5317,7 @@ - + diff --git a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps index 08608596..7867214e 100644 --- a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps +++ b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps @@ -9993,7 +9993,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.test/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/test/util@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.test/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/test/util@tests.mps index 101d455f..37627c9c 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.test/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/test/util@tests.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.test/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/test/util@tests.mps @@ -143,7 +143,7 @@ - + @@ -205,7 +205,7 @@ - + @@ -256,7 +256,7 @@ - + @@ -266,7 +266,7 @@ - + @@ -322,7 +322,7 @@ - + @@ -384,7 +384,7 @@ - + @@ -446,7 +446,7 @@ - + @@ -511,7 +511,7 @@ - + @@ -521,7 +521,7 @@ - + @@ -577,7 +577,7 @@ - + @@ -639,7 +639,7 @@ - + @@ -701,7 +701,7 @@ - + @@ -752,7 +752,7 @@ - + @@ -762,7 +762,7 @@ - + @@ -818,7 +818,7 @@ - + @@ -880,7 +880,7 @@ - + @@ -942,7 +942,7 @@ - + @@ -1021,7 +1021,7 @@ - + @@ -1031,7 +1031,7 @@ - + @@ -1087,7 +1087,7 @@ - + @@ -1149,7 +1149,7 @@ - + @@ -1258,7 +1258,7 @@ - + @@ -1431,7 +1431,7 @@ - + @@ -1441,7 +1441,7 @@ - + @@ -1497,7 +1497,7 @@ - + @@ -1589,7 +1589,7 @@ - + @@ -1757,7 +1757,7 @@ - + @@ -1934,7 +1934,7 @@ - + @@ -1944,7 +1944,7 @@ - + @@ -2000,7 +2000,7 @@ - + @@ -2072,7 +2072,7 @@ - + @@ -2295,7 +2295,7 @@ - + @@ -2474,7 +2474,7 @@ - + @@ -2484,7 +2484,7 @@ - + @@ -2540,7 +2540,7 @@ - + @@ -2612,7 +2612,7 @@ - + @@ -2780,7 +2780,7 @@ - + @@ -2935,7 +2935,7 @@ - + @@ -2945,7 +2945,7 @@ - + @@ -3001,7 +3001,7 @@ - + @@ -3057,7 +3057,7 @@ - + @@ -3225,7 +3225,7 @@ - + @@ -3400,7 +3400,7 @@ - + @@ -3410,7 +3410,7 @@ - + @@ -3466,7 +3466,7 @@ - + @@ -3542,7 +3542,7 @@ - + @@ -3710,7 +3710,7 @@ - + @@ -3761,7 +3761,7 @@ - + @@ -3771,7 +3771,7 @@ - + @@ -3827,7 +3827,7 @@ - + @@ -3942,7 +3942,7 @@ - + @@ -4110,7 +4110,7 @@ - + @@ -4137,7 +4137,7 @@ - + @@ -4147,7 +4147,7 @@ - + @@ -4203,7 +4203,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps index 9729db98..b2cf293d 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps @@ -350,7 +350,7 @@ - + @@ -359,7 +359,7 @@ - + @@ -368,7 +368,7 @@ - + @@ -379,7 +379,7 @@ - + @@ -400,7 +400,7 @@ - + @@ -464,7 +464,7 @@ - + @@ -698,7 +698,7 @@ - + @@ -710,7 +710,7 @@ - + @@ -730,7 +730,7 @@ - + @@ -820,14 +820,14 @@ - + - + @@ -867,7 +867,7 @@ - + @@ -883,13 +883,13 @@ - + - + @@ -910,7 +910,7 @@ - + @@ -930,7 +930,7 @@ - + @@ -951,7 +951,7 @@ - + @@ -972,7 +972,7 @@ - + @@ -990,7 +990,7 @@ - + @@ -1001,7 +1001,7 @@ - + @@ -1017,7 +1017,7 @@ - + @@ -1172,7 +1172,7 @@ - + @@ -1183,7 +1183,7 @@ - + @@ -1197,7 +1197,7 @@ - + @@ -1208,7 +1208,7 @@ - + @@ -1269,7 +1269,7 @@ - + @@ -1283,14 +1283,14 @@ - + - + @@ -1303,7 +1303,7 @@ - + @@ -1320,7 +1320,7 @@ - + @@ -1506,7 +1506,7 @@ - + @@ -1532,7 +1532,7 @@ - + @@ -1597,14 +1597,14 @@ - + - + @@ -1616,14 +1616,14 @@ - + - + @@ -1641,7 +1641,7 @@ - + @@ -1673,7 +1673,7 @@ - + @@ -1695,7 +1695,7 @@ - + @@ -1709,7 +1709,7 @@ - + @@ -1732,7 +1732,7 @@ - + @@ -1748,7 +1748,7 @@ - + @@ -1757,7 +1757,7 @@ - + @@ -1766,7 +1766,7 @@ - + @@ -1777,7 +1777,7 @@ - + @@ -1798,7 +1798,7 @@ - + @@ -1862,7 +1862,7 @@ - + @@ -2101,19 +2101,19 @@ - + - + - + @@ -2125,7 +2125,7 @@ - + @@ -2170,7 +2170,7 @@ - + @@ -2184,14 +2184,14 @@ - + - + @@ -2205,7 +2205,7 @@ - + @@ -2224,7 +2224,7 @@ - + @@ -2303,7 +2303,7 @@ - + @@ -2393,7 +2393,7 @@ - + @@ -2476,12 +2476,12 @@ - + - + @@ -2490,7 +2490,7 @@ - + @@ -2506,7 +2506,7 @@ - + @@ -2624,14 +2624,14 @@ - + - + @@ -2667,13 +2667,13 @@ - + - + @@ -2698,7 +2698,7 @@ - + @@ -2709,7 +2709,7 @@ - + @@ -2723,9 +2723,9 @@ - + - + @@ -2733,7 +2733,7 @@ - + @@ -2780,7 +2780,7 @@ - + @@ -2791,7 +2791,7 @@ - + @@ -2801,7 +2801,7 @@ - + @@ -2815,7 +2815,7 @@ - + @@ -2845,7 +2845,7 @@ - + @@ -2868,13 +2868,13 @@ - + - + @@ -2885,7 +2885,7 @@ - + @@ -2894,7 +2894,7 @@ - + @@ -2904,7 +2904,7 @@ - + @@ -2918,7 +2918,7 @@ - + @@ -2948,7 +2948,7 @@ - + @@ -2969,13 +2969,13 @@ - + - + @@ -2990,13 +2990,13 @@ - + - + @@ -3018,13 +3018,13 @@ - + - + @@ -3045,7 +3045,7 @@ - + @@ -3152,7 +3152,7 @@ - + @@ -3164,7 +3164,7 @@ - + @@ -3310,7 +3310,7 @@ - + @@ -3324,7 +3324,7 @@ - + @@ -3375,7 +3375,7 @@ - + @@ -3411,13 +3411,13 @@ - + - + @@ -3460,7 +3460,7 @@ - + @@ -3551,7 +3551,7 @@ - + @@ -3593,7 +3593,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps index 72000e06..aba7a5ac 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps @@ -2734,14 +2734,14 @@ - + - + @@ -2763,7 +2763,7 @@ - + @@ -2792,7 +2792,7 @@ - + @@ -2807,7 +2807,7 @@ - + @@ -2832,7 +2832,7 @@ - + @@ -3029,14 +3029,14 @@ - + - + @@ -3134,14 +3134,14 @@ - + - + @@ -3164,14 +3164,14 @@ - + - + @@ -7608,9 +7608,9 @@ - + - + @@ -7626,7 +7626,7 @@ - + @@ -9148,9 +9148,9 @@ - + - + @@ -9166,7 +9166,7 @@ - + @@ -17480,7 +17480,7 @@ - + @@ -17488,7 +17488,7 @@ - + @@ -17538,7 +17538,7 @@ - + @@ -17565,12 +17565,12 @@ - + - + @@ -18405,7 +18405,7 @@ - + @@ -18437,7 +18437,7 @@ - + @@ -18469,7 +18469,7 @@ - + @@ -18624,7 +18624,7 @@ - + @@ -18640,7 +18640,7 @@ - + @@ -18649,7 +18649,7 @@ - + @@ -18682,7 +18682,7 @@ - + @@ -18723,7 +18723,7 @@ - + @@ -18756,7 +18756,7 @@ - + @@ -18839,14 +18839,14 @@ - + - + @@ -18956,7 +18956,7 @@ - + @@ -18990,7 +18990,7 @@ - + @@ -19021,7 +19021,7 @@ - + @@ -19165,7 +19165,7 @@ - + @@ -19178,7 +19178,7 @@ - + @@ -19466,15 +19466,15 @@ - + - + - + @@ -19644,7 +19644,7 @@ - + @@ -19657,11 +19657,11 @@ - + - + @@ -20250,9 +20250,9 @@ - + - + @@ -20268,9 +20268,9 @@ - + - + @@ -20279,7 +20279,7 @@ - + @@ -20304,7 +20304,7 @@ - + @@ -20509,9 +20509,9 @@ - + - + @@ -20525,7 +20525,7 @@ - + @@ -20533,7 +20533,7 @@ - + @@ -20584,20 +20584,20 @@ - + - + - + - + @@ -20606,21 +20606,21 @@ - + - + - + @@ -20674,7 +20674,7 @@ - + @@ -20700,7 +20700,7 @@ - + @@ -31062,9 +31062,9 @@ - + - + @@ -31085,7 +31085,7 @@ - + @@ -31118,9 +31118,9 @@ - + - + @@ -31147,7 +31147,7 @@ - + @@ -31178,9 +31178,9 @@ - + - + @@ -31209,7 +31209,7 @@ - + @@ -31226,7 +31226,7 @@ - + @@ -31235,7 +31235,7 @@ - + @@ -31253,9 +31253,9 @@ - + - + @@ -31334,7 +31334,7 @@ - + @@ -31346,7 +31346,7 @@ - + @@ -31631,7 +31631,7 @@ - + @@ -31725,7 +31725,7 @@ - + @@ -31808,7 +31808,7 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps index 409707bb..c6b7730c 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps @@ -9724,7 +9724,7 @@ - + @@ -10465,7 +10465,7 @@ - + @@ -11225,7 +11225,7 @@ - + @@ -11300,7 +11300,7 @@ - + @@ -11742,7 +11742,7 @@ - + @@ -16756,7 +16756,7 @@ - + @@ -16784,7 +16784,7 @@ - + @@ -16793,7 +16793,7 @@ - + @@ -16963,7 +16963,7 @@ - + @@ -16991,7 +16991,7 @@ - + @@ -17000,7 +17000,7 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps index 203f39c4..295bc087 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps @@ -3148,7 +3148,7 @@ - + @@ -3223,7 +3223,7 @@ - + @@ -3287,7 +3287,7 @@ - + @@ -3525,7 +3525,7 @@ - + @@ -3716,7 +3716,7 @@ - + @@ -3732,7 +3732,7 @@ - +