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 c6b68c08..6c4fc57d 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 @@ -1002,10 +1002,10 @@ - + - + @@ -1122,7 +1122,7 @@ - + @@ -1438,36 +1438,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1724,5 +1694,195 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps index 60d4678f..cc8b26ec 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps @@ -158,13 +158,9 @@ - - - - @@ -195,9 +191,6 @@ - - - @@ -271,36 +264,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -308,9 +271,7 @@ - - - + @@ -556,16 +517,41 @@ - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -622,6 +608,15 @@ + + + + + + + + + @@ -716,13 +711,38 @@ - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -783,6 +803,15 @@ + + + + + + + + + @@ -1115,8 +1144,8 @@ - - + + @@ -1127,7 +1156,7 @@ - + @@ -1165,7 +1194,7 @@ - + @@ -1219,7 +1248,7 @@ - + @@ -1257,7 +1286,7 @@ - + @@ -1295,7 +1324,7 @@ - + @@ -1333,7 +1362,7 @@ - + @@ -1371,7 +1400,7 @@ - + @@ -1397,7 +1426,7 @@ - + @@ -1406,7 +1435,7 @@ - + @@ -1419,7 +1448,7 @@ - + @@ -1440,7 +1469,7 @@ - + @@ -1497,212 +1526,15 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - + + @@ -1749,183 +1581,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 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 a93eb5bd..320f92fe 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 @@ -1012,6 +1012,187 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1252,11 +1433,11 @@ - + - + @@ -1501,11 +1682,11 @@ - + - + @@ -1576,7 +1757,7 @@ - + @@ -1971,7 +2152,7 @@ - + @@ -2043,7 +2224,7 @@ - + @@ -2399,7 +2580,7 @@ - + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps index 9d1898d7..e7d0c397 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps @@ -13,6 +13,7 @@ + @@ -82,7 +83,6 @@ - @@ -169,9 +169,6 @@ - - - @@ -223,104 +220,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1625,8 +1524,8 @@ - - + + @@ -1942,8 +1841,8 @@ - - + + @@ -1970,81 +1869,11 @@ - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2101,236 +1930,17 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - + + @@ -2341,99 +1951,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2681,9 +2198,6 @@ - - - @@ -2917,13 +2431,13 @@ + + + - - - @@ -2950,101 +2464,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5166,6 +4585,9 @@ + + + @@ -5219,44 +4641,9 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -5264,9 +4651,9 @@ - - - + + + @@ -5277,114 +4664,90 @@ - + - + - - + + - + - - - + + + + - - - - + + + + - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -5434,10 +4797,10 @@ - + - + @@ -5481,15 +4844,15 @@ - + - - + + - - + + diff --git a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps index f75be8b6..149439f9 100644 --- a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps +++ b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps @@ -236,43 +236,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 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 9db63b14..1b5e1adf 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 @@ -30,6 +30,12 @@ + + + + + + @@ -46,9 +52,15 @@ + + + + + + @@ -61,6 +73,13 @@ + + + + + + + @@ -71,11 +90,15 @@ + + - + + + @@ -103,6 +126,7 @@ + @@ -132,6 +156,9 @@ + + + @@ -1649,6 +1676,63 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1945,16 +2029,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -2082,16 +2169,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -2265,16 +2355,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -2292,16 +2385,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -2347,16 +2443,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -2536,16 +2635,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -2562,16 +2664,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -2649,16 +2754,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -2839,16 +2947,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -2865,16 +2976,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -2952,16 +3066,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -3078,16 +3195,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -3159,16 +3279,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -3314,16 +3437,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -3372,29 +3498,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + @@ -3412,29 +3541,32 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + @@ -3575,16 +3707,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -3620,39 +3755,42 @@ - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + - - - - - - - - + + @@ -3774,16 +3912,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -3819,23 +3960,26 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + @@ -3923,16 +4067,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -3968,23 +4115,26 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + @@ -4095,16 +4245,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -4140,20 +4293,23 @@ - - - - - - - - - + + + + + + + + + + + + - - + + @@ -4171,38 +4327,41 @@ - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + - - - - - - - - + + @@ -4340,16 +4499,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -4379,16 +4541,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -4419,33 +4584,36 @@ - - - - - - - - - - + + + + + + + + + + + + + + + - - - + + + + + + + - - - - - - - - + + 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 a3e5f48b..04e8adb3 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 @@ -13,10 +13,18 @@ + + + + + + + + @@ -30,27 +38,48 @@ + + + + + + + + + + + + + + + + + + + + + @@ -70,6 +99,10 @@ + + + + @@ -84,6 +117,10 @@ + + + + @@ -132,6 +169,63 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -359,16 +453,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -614,16 +711,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -855,16 +955,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -1124,16 +1227,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -1548,16 +1654,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -2031,16 +2140,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -2571,16 +2683,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -3032,16 +3147,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -3517,16 +3635,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -3864,16 +3985,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -3931,6 +4055,63 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4276,16 +4457,19 @@ - - - - + + + + + + + + + + - - - - - + + 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 87b5e079..ab213a49 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 @@ -51,6 +51,12 @@ + + + + + + @@ -82,12 +88,15 @@ + + + - - + + @@ -104,6 +113,13 @@ + + + + + + + @@ -120,7 +136,9 @@ - + + + @@ -171,6 +189,7 @@ + @@ -219,6 +238,9 @@ + + + @@ -534,20 +556,23 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + @@ -1585,7 +1610,7 @@ - + @@ -1853,7 +1878,7 @@ - + @@ -1882,7 +1907,7 @@ - + @@ -1938,23 +1963,26 @@ - + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + @@ -2459,13 +2487,13 @@ - + - - + + @@ -2661,16 +2689,19 @@ - - - - + + + + + + + + + + - - - - - + + @@ -2773,16 +2804,74 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + 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 c5f90615..82e90901 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 @@ -5106,8 +5106,8 @@ - - + + @@ -5838,8 +5838,8 @@ - - + + 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 75f65209..f3d48d3f 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 @@ -44,6 +44,7 @@ + @@ -3946,8 +3947,8 @@ - - + + @@ -14520,7 +14521,7 @@ - + @@ -15052,6 +15053,9 @@ + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps index a395274b..69b0ae47 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps @@ -6389,8 +6389,8 @@ - - + + @@ -6429,8 +6429,8 @@ - - + + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/template.mps b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/template.mps index 2636a303..f4505ad3 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/template.mps +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/template.mps @@ -482,8 +482,8 @@ - - + +