diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps index f9006562..066f88be 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps @@ -109,10 +109,6 @@ - - - - @@ -444,140 +440,48 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -637,52 +541,44 @@ - - - - - - - - @@ -697,26 +593,22 @@ - - - - @@ -735,26 +627,22 @@ - - - - @@ -766,26 +654,22 @@ - - - - @@ -795,26 +679,22 @@ - - - - @@ -824,26 +704,22 @@ - - - - @@ -853,26 +729,22 @@ - - - - @@ -882,26 +754,22 @@ - - - - @@ -911,26 +779,22 @@ - - - - @@ -940,26 +804,22 @@ - - - - @@ -996,19 +856,16 @@ - - - @@ -1027,19 +884,16 @@ - - - @@ -1056,19 +910,16 @@ - - - @@ -1090,52 +941,44 @@ - - - - - - - - @@ -1156,19 +999,16 @@ - - - @@ -1185,52 +1025,44 @@ - - - - - - - - @@ -1248,52 +1080,44 @@ - - - - - - - - @@ -1308,26 +1132,22 @@ - - - - @@ -1346,26 +1166,22 @@ - - - - @@ -1377,26 +1193,22 @@ - - - - @@ -1433,19 +1245,16 @@ - - - @@ -1464,19 +1273,16 @@ - - - @@ -1493,19 +1299,16 @@ - - - @@ -1527,52 +1330,44 @@ - - - - - - - - @@ -1593,19 +1388,16 @@ - - - @@ -1622,52 +1414,44 @@ - - - - - - - - @@ -1685,52 +1469,44 @@ - - - - - - - - @@ -1745,26 +1521,22 @@ - - - - @@ -1783,26 +1555,22 @@ - - - - @@ -1844,19 +1612,16 @@ - - - @@ -1875,19 +1640,16 @@ - - - @@ -1904,19 +1666,16 @@ - - - @@ -1938,52 +1697,44 @@ - - - - - - - - @@ -2004,19 +1755,16 @@ - - - @@ -2033,52 +1781,44 @@ - - - - - - - - @@ -2093,45 +1833,38 @@ - - - - - - - @@ -2152,19 +1885,16 @@ - - - @@ -2186,52 +1916,44 @@ - - - - - - - - @@ -2247,52 +1969,44 @@ - - - - - - - - @@ -2316,33 +2030,28 @@ - - - - - @@ -2360,26 +2069,22 @@ - - - - @@ -2391,26 +2096,22 @@ - - - - @@ -2420,26 +2121,22 @@ - - - - @@ -2452,52 +2149,44 @@ - - - - - - - - @@ -2534,27 +2223,22 @@ - - - - - - + @@ -2568,26 +2252,22 @@ - - - - @@ -2603,26 +2283,22 @@ - - - - @@ -2649,52 +2325,44 @@ - - - - - - - - @@ -2715,26 +2383,22 @@ - - - - @@ -2750,52 +2414,44 @@ - - - - - - - - @@ -2825,52 +2481,44 @@ - - - - - - - - @@ -2885,26 +2533,22 @@ - - - - @@ -2923,26 +2567,22 @@ - - - - @@ -2984,19 +2624,16 @@ - - - @@ -3015,19 +2652,16 @@ - - - @@ -3044,19 +2678,16 @@ - - - @@ -3078,52 +2709,44 @@ - - - - - - - - @@ -3144,19 +2767,16 @@ - - - @@ -3173,52 +2793,44 @@ - - - - - - - - @@ -3233,45 +2845,38 @@ - - - - - - - @@ -3292,19 +2897,16 @@ - - - @@ -3326,52 +2928,44 @@ - - - - - - - - @@ -3387,52 +2981,44 @@ - - - - - - - - @@ -3456,33 +3042,28 @@ - - - - - @@ -3500,26 +3081,22 @@ - - - - @@ -3534,52 +3111,44 @@ - - - - - - - - @@ -3616,27 +3185,22 @@ - - - - - - + @@ -3650,26 +3214,22 @@ - - - - @@ -3685,26 +3245,22 @@ - - - - @@ -3731,52 +3287,44 @@ - - - - - - - - @@ -3797,26 +3345,22 @@ - - - - @@ -3832,52 +3376,44 @@ - - - - - - - - @@ -3907,52 +3443,44 @@ - - - - - - - - @@ -3967,26 +3495,22 @@ - - - - @@ -4005,26 +3529,22 @@ - - - - @@ -4036,26 +3556,22 @@ - - - - @@ -4065,26 +3581,22 @@ - - - - @@ -4121,19 +3633,16 @@ - - - @@ -4152,19 +3661,16 @@ - - - @@ -4181,19 +3687,16 @@ - - - @@ -4215,52 +3718,44 @@ - - - - - - - - @@ -4281,19 +3776,16 @@ - - - @@ -4310,52 +3802,44 @@ - - - - - - - - @@ -4373,52 +3857,44 @@ - - - - - - - - @@ -4433,26 +3909,22 @@ - - - - @@ -4471,26 +3943,22 @@ - - - - @@ -4502,26 +3970,22 @@ - - - - @@ -4558,19 +4022,16 @@ - - - @@ -4589,19 +4050,16 @@ - - - @@ -4618,19 +4076,16 @@ - - - @@ -4652,52 +4107,44 @@ - - - - - - - - @@ -4718,19 +4165,16 @@ - - - @@ -4747,52 +4191,44 @@ - - - - - - - - @@ -4807,26 +4243,22 @@ - - - - @@ -4838,19 +4270,16 @@ - - - @@ -4868,52 +4297,44 @@ - - - - - - - - @@ -4925,26 +4346,22 @@ - - - - @@ -4968,26 +4385,22 @@ - - - - @@ -5002,26 +4415,22 @@ - - - - @@ -5033,19 +4442,16 @@ - - - @@ -5063,52 +4469,44 @@ - - - - - - - - @@ -5123,52 +4521,44 @@ - - - - - - - - @@ -5204,52 +4594,44 @@ - - - - - - - - @@ -5275,26 +4657,22 @@ - - - - @@ -5306,26 +4684,22 @@ - - - - @@ -5335,19 +4709,16 @@ - - - @@ -5360,52 +4731,44 @@ - - - - - - - - @@ -5420,26 +4783,22 @@ - - - - @@ -5451,26 +4810,22 @@ - - - - @@ -5480,19 +4835,16 @@ - - - @@ -5505,52 +4857,44 @@ - - - - - - - - @@ -5563,52 +4907,44 @@ - - - - - - - - @@ -5623,26 +4959,22 @@ - - - - @@ -5654,26 +4986,22 @@ - - - - @@ -5683,26 +5011,22 @@ - - - - @@ -5712,19 +5036,16 @@ - - - @@ -5737,52 +5058,44 @@ - - - - - - - - @@ -5795,52 +5108,44 @@ - - - - - - - - @@ -5855,19 +5160,16 @@ - - - @@ -5879,19 +5181,16 @@ - - - @@ -5906,19 +5205,16 @@ - - - @@ -5930,19 +5226,16 @@ - - - @@ -5960,52 +5253,44 @@ - - - - - - - - @@ -6017,26 +5302,22 @@ - - - - @@ -6060,52 +5341,44 @@ - - - - - - - - @@ -6121,38 +5394,32 @@ - - - - - - @@ -6168,52 +5435,44 @@ - - - - - - - - @@ -6229,26 +5488,22 @@ - - - - @@ -6263,19 +5518,16 @@ - - - @@ -6287,19 +5539,16 @@ - - - @@ -6317,52 +5566,44 @@ - - - - - - - - @@ -6377,52 +5618,44 @@ - - - - - - - - @@ -6458,52 +5691,44 @@ - - - - - - - - @@ -6515,26 +5740,22 @@ - - - - @@ -6558,52 +5779,44 @@ - - - - - - - - @@ -6619,26 +5832,22 @@ - - - - @@ -6653,19 +5862,16 @@ - - - @@ -6677,19 +5883,16 @@ - - - @@ -6707,52 +5910,44 @@ - - - - - - - - @@ -6767,52 +5962,44 @@ - - - - - - - - @@ -6848,52 +6035,44 @@ - - - - - - - - @@ -6908,52 +6087,44 @@ - - - - - - - - @@ -6986,19 +6157,16 @@ - - - @@ -7010,19 +6178,16 @@ - - - @@ -7032,19 +6197,16 @@ - - - @@ -7054,19 +6216,16 @@ - - - @@ -7076,19 +6235,16 @@ - - - @@ -7098,19 +6254,16 @@ - - - @@ -7120,19 +6273,16 @@ - - - @@ -7150,52 +6300,44 @@ - - - - - - - - @@ -7210,52 +6352,44 @@ - - - - - - - - @@ -7291,52 +6425,44 @@ - - - - - - - - @@ -7351,52 +6477,44 @@ - - - - - - - - @@ -7432,52 +6550,44 @@ - - - - - - - - @@ -7489,26 +6599,22 @@ - - - - @@ -7532,26 +6638,22 @@ - - - - @@ -7566,26 +6668,22 @@ - - - - @@ -7600,52 +6698,44 @@ - - - - - - - - @@ -7658,52 +6748,44 @@ - - - - - - - - @@ -7719,26 +6801,22 @@ - - - - @@ -7753,19 +6831,16 @@ - - - @@ -7777,19 +6852,16 @@ - - - @@ -7804,19 +6876,16 @@ - - - @@ -7828,19 +6897,16 @@ - - - @@ -7855,19 +6921,16 @@ - - - @@ -7879,19 +6942,16 @@ - - - @@ -7906,19 +6966,16 @@ - - - @@ -7930,19 +6987,16 @@ - - - @@ -7957,19 +7011,16 @@ - - - @@ -7981,26 +7032,22 @@ - - - - @@ -8015,19 +7062,16 @@ - - - @@ -8039,26 +7083,22 @@ - - - - @@ -8073,19 +7113,16 @@ - - - @@ -8097,26 +7134,22 @@ - - - - @@ -8131,19 +7164,16 @@ - - - @@ -8155,26 +7185,22 @@ - - - - @@ -8189,19 +7215,16 @@ - - - @@ -8213,26 +7236,22 @@ - - - - @@ -8247,19 +7266,16 @@ - - - @@ -8271,26 +7287,22 @@ - - - - @@ -8305,19 +7317,16 @@ - - - @@ -8332,52 +7341,44 @@ - - - - - - - - @@ -8392,19 +7393,16 @@ - - - @@ -8416,31 +7414,26 @@ - - - - - @@ -8458,26 +7451,22 @@ - - - - @@ -8495,52 +7484,44 @@ - - - - - - - - @@ -8573,19 +7554,16 @@ - - - @@ -8597,31 +7575,26 @@ - - - - - @@ -8636,19 +7609,16 @@ - - - @@ -8660,31 +7630,26 @@ - - - - - @@ -8702,26 +7667,22 @@ - - - - @@ -8739,52 +7700,44 @@ - - - - - - - - @@ -8820,26 +7773,22 @@ - - - - @@ -8852,19 +7801,16 @@ - - - @@ -8890,26 +7836,22 @@ - - - - @@ -8921,19 +7863,16 @@ - - - @@ -8946,52 +7885,44 @@ - - - - - - - - @@ -9004,26 +7935,22 @@ - - - - @@ -9041,26 +7968,22 @@ - - - - @@ -9073,19 +7996,16 @@ - - - @@ -9111,26 +8031,22 @@ - - - - @@ -9142,19 +8058,16 @@ - - - @@ -9167,52 +8080,44 @@ - - - - - - - - @@ -9225,26 +8130,22 @@ - - - - @@ -9262,26 +8163,22 @@ - - - - @@ -9294,19 +8191,16 @@ - - - @@ -9332,26 +8226,22 @@ - - - - @@ -9363,19 +8253,16 @@ - - - @@ -9388,52 +8275,44 @@ - - - - - - - - @@ -9446,26 +8325,22 @@ - - - - @@ -9483,26 +8358,22 @@ - - - - @@ -9515,19 +8386,16 @@ - - - @@ -9553,26 +8421,22 @@ - - - - @@ -9584,19 +8448,16 @@ - - - @@ -9609,52 +8470,44 @@ - - - - - - - - @@ -9667,26 +8520,22 @@ - - - - @@ -9704,26 +8553,22 @@ - - - - @@ -9736,19 +8581,16 @@ - - - @@ -9774,26 +8616,22 @@ - - - - @@ -9805,19 +8643,16 @@ - - - @@ -9830,52 +8665,44 @@ - - - - - - - - @@ -9888,26 +8715,22 @@ - - - - @@ -9925,26 +8748,22 @@ - - - - @@ -9957,19 +8776,16 @@ - - - @@ -9995,26 +8811,22 @@ - - - - @@ -10026,19 +8838,16 @@ - - - @@ -10051,52 +8860,44 @@ - - - - - - - - @@ -10109,26 +8910,22 @@ - - - - @@ -10146,26 +8943,22 @@ - - - - @@ -10183,52 +8976,44 @@ - - - - - - - - @@ -10261,19 +9046,16 @@ - - - @@ -10285,19 +9067,16 @@ - - - @@ -10307,19 +9086,16 @@ - - - @@ -10334,19 +9110,16 @@ - - - @@ -10358,19 +9131,16 @@ - - - @@ -10385,19 +9155,16 @@ - - - @@ -10409,19 +9176,16 @@ - - - @@ -10431,19 +9195,16 @@ - - - @@ -10458,19 +9219,16 @@ - - - @@ -10482,19 +9240,16 @@ - - - @@ -10504,19 +9259,16 @@ - - - @@ -10531,19 +9283,16 @@ - - - @@ -10555,19 +9304,16 @@ - - - @@ -10577,19 +9323,16 @@ - - - @@ -10604,19 +9347,16 @@ - - - @@ -10628,19 +9368,16 @@ - - - @@ -10650,19 +9387,16 @@ - - - @@ -10677,19 +9411,16 @@ - - - @@ -10701,19 +9432,16 @@ - - - @@ -10723,19 +9451,16 @@ - - - @@ -10753,19 +9478,16 @@ - - - @@ -10780,52 +9502,44 @@ - - - - - - - - @@ -10847,26 +9561,22 @@ - - - - @@ -10879,19 +9589,16 @@ - - - @@ -10904,19 +9611,16 @@ - - - @@ -10931,19 +9635,16 @@ - - - @@ -10955,19 +9656,16 @@ - - - @@ -10985,26 +9683,22 @@ - - - - @@ -11016,19 +9710,16 @@ - - - @@ -11043,19 +9734,16 @@ - - - @@ -11073,19 +9761,16 @@ - - - @@ -11098,19 +9783,16 @@ - - - @@ -11123,52 +9805,44 @@ - - - - - - - - @@ -11181,52 +9855,44 @@ - - - - - - - - @@ -11241,52 +9907,44 @@ - - - - - - - - @@ -11308,26 +9966,22 @@ - - - - @@ -11349,52 +10003,44 @@ - - - - - - - - @@ -11410,38 +10056,32 @@ - - - - - - @@ -11457,52 +10097,44 @@ - - - - - - - - @@ -11527,26 +10159,22 @@ - - - - @@ -11568,19 +10196,16 @@ - - - @@ -11595,19 +10220,16 @@ - - - @@ -11619,19 +10241,16 @@ - - - @@ -11649,26 +10268,22 @@ - - - - @@ -11680,19 +10295,16 @@ - - - @@ -11707,19 +10319,16 @@ - - - @@ -11737,19 +10346,16 @@ - - - @@ -11762,19 +10368,16 @@ - - - @@ -11787,52 +10390,44 @@ - - - - - - - - @@ -11845,52 +10440,44 @@ - - - - - - - - @@ -11905,52 +10492,44 @@ - - - - - - - - @@ -11972,26 +10551,22 @@ - - - - @@ -12013,52 +10588,44 @@ - - - - - - - - @@ -12074,38 +10641,32 @@ - - - - - - @@ -12121,52 +10682,44 @@ - - - - - - - - @@ -12191,26 +10744,22 @@ - - - - @@ -12232,19 +10781,16 @@ - - - @@ -12259,19 +10805,16 @@ - - - @@ -12283,19 +10826,16 @@ - - - @@ -12313,26 +10853,22 @@ - - - - @@ -12344,19 +10880,16 @@ - - - @@ -12371,19 +10904,16 @@ - - - @@ -12401,19 +10931,16 @@ - - - @@ -12426,19 +10953,16 @@ - - - @@ -12451,52 +10975,44 @@ - - - - - - - - @@ -12509,52 +11025,44 @@ - - - - - - - - @@ -12569,52 +11077,44 @@ - - - - - - - - @@ -12636,26 +11136,22 @@ - - - - @@ -12677,52 +11173,44 @@ - - - - - - - - @@ -12747,26 +11235,22 @@ - - - - @@ -12788,19 +11272,16 @@ - - - @@ -12815,19 +11296,16 @@ - - - @@ -12839,19 +11317,16 @@ - - - @@ -12869,26 +11344,22 @@ - - - - @@ -12900,19 +11371,16 @@ - - - @@ -12927,19 +11395,16 @@ - - - @@ -12957,19 +11422,16 @@ - - - @@ -12982,19 +11444,16 @@ - - - @@ -13007,52 +11466,44 @@ - - - - - - - - @@ -13065,52 +11516,44 @@ - - - - - - - - @@ -13125,52 +11568,44 @@ - - - - - - - - @@ -13192,26 +11627,22 @@ - - - - @@ -13233,52 +11664,44 @@ - - - - - - - - @@ -13303,26 +11726,22 @@ - - - - @@ -13344,19 +11763,16 @@ - - - @@ -13371,19 +11787,16 @@ - - - @@ -13395,19 +11808,16 @@ - - - @@ -13425,26 +11835,22 @@ - - - - @@ -13456,19 +11862,16 @@ - - - @@ -13483,19 +11886,16 @@ - - - @@ -13513,26 +11913,22 @@ - - - - @@ -13544,19 +11940,16 @@ - - - @@ -13571,19 +11964,16 @@ - - - @@ -13598,19 +11988,16 @@ - - - @@ -13622,19 +12009,16 @@ - - - @@ -13644,19 +12028,16 @@ - - - @@ -13674,26 +12055,22 @@ - - - - @@ -13705,19 +12082,16 @@ - - - @@ -13732,19 +12106,16 @@ - - - @@ -13759,19 +12130,16 @@ - - - @@ -13783,19 +12151,16 @@ - - - @@ -13805,19 +12170,16 @@ - - - @@ -13835,26 +12197,22 @@ - - - - @@ -13866,19 +12224,16 @@ - - - @@ -13893,19 +12248,16 @@ - - - @@ -13923,19 +12275,16 @@ - - - @@ -13948,52 +12297,44 @@ - - - - - - - - @@ -14008,52 +12349,44 @@ - - - - - - - - @@ -14078,26 +12411,22 @@ - - - - @@ -14110,45 +12439,38 @@ - - - - - - - @@ -14166,19 +12488,16 @@ - - - @@ -14196,26 +12515,22 @@ - - - - @@ -14227,19 +12542,16 @@ - - - @@ -14254,19 +12566,16 @@ - - - @@ -14284,19 +12593,16 @@ - - - @@ -14309,52 +12615,44 @@ - - - - - - - - @@ -14369,52 +12667,44 @@ - - - - - - - - @@ -14439,26 +12729,22 @@ - - - - @@ -14471,45 +12757,38 @@ - - - - - - - @@ -14527,19 +12806,16 @@ - - - diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps index d28af5ce..85dd9bb2 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps @@ -246,10 +246,6 @@ - - - - @@ -1981,19 +1977,16 @@ - - - @@ -2348,12 +2341,10 @@ - - @@ -3154,12 +3145,10 @@ - - @@ -3173,13 +3162,11 @@ - - @@ -3196,7 +3183,6 @@ - @@ -3854,12 +3840,10 @@ - - @@ -4017,18 +4001,15 @@ - - - @@ -4097,7 +4078,6 @@ - @@ -4179,21 +4159,17 @@ - - - - @@ -4241,10 +4217,8 @@ - - @@ -4334,12 +4308,10 @@ - - @@ -5887,15 +5859,12 @@ - - - + - @@ -5906,7 +5875,6 @@ - @@ -5917,10 +5885,8 @@ - - @@ -5937,15 +5903,12 @@ - - - + - @@ -5956,7 +5919,6 @@ - @@ -5967,10 +5929,8 @@ - - @@ -5989,7 +5949,6 @@ - @@ -6000,7 +5959,6 @@ - @@ -6011,10 +5969,8 @@ - - @@ -6025,7 +5981,6 @@ - @@ -6036,7 +5991,6 @@ - @@ -6047,10 +6001,8 @@ - - @@ -6145,7 +6097,6 @@ - @@ -6163,18 +6114,15 @@ - - - @@ -6264,7 +6212,6 @@ - @@ -6272,18 +6219,15 @@ - - - @@ -6311,7 +6255,6 @@ - @@ -6319,18 +6262,15 @@ - - - @@ -6515,18 +6455,15 @@ - - - @@ -6546,7 +6483,6 @@ - @@ -6827,18 +6763,15 @@ - - - @@ -6858,7 +6791,6 @@ - @@ -6958,18 +6890,15 @@ - - - @@ -7049,7 +6978,6 @@ - @@ -7082,7 +7010,6 @@ - @@ -7167,21 +7094,17 @@ - - - - @@ -7230,10 +7153,8 @@ - - @@ -8219,12 +8140,10 @@ - - @@ -8384,18 +8303,15 @@ - - - @@ -8461,7 +8377,6 @@ - @@ -8543,21 +8458,17 @@ - - - - @@ -8605,10 +8516,8 @@ - - @@ -8704,12 +8613,10 @@ - - diff --git a/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps b/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps index e0ea2322..0dc1e984 100644 --- a/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps +++ b/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps @@ -173,11 +173,7 @@ - - - - @@ -662,15 +658,11 @@ - - - - @@ -678,7 +670,6 @@ - @@ -686,60 +677,48 @@ - - - - - - - - - - - - @@ -747,7 +726,6 @@ - @@ -763,9 +741,6 @@ - - - @@ -773,7 +748,6 @@ - @@ -781,7 +755,6 @@ - @@ -792,42 +765,31 @@ - - - - - - - - - - - @@ -1088,19 +1050,16 @@ - - - @@ -1109,17 +1068,14 @@ - - - @@ -1146,53 +1102,44 @@ - - - - - - - - - @@ -1219,19 +1166,16 @@ - - - @@ -1246,7 +1190,6 @@ - @@ -1268,19 +1211,16 @@ - - - @@ -1317,15 +1257,11 @@ - - - - @@ -1333,7 +1269,6 @@ - @@ -1344,19 +1279,14 @@ - - - - - @@ -1372,15 +1302,11 @@ - - - - @@ -1391,19 +1317,14 @@ - - - - - @@ -1414,19 +1335,14 @@ - - - - - @@ -1544,7 +1460,7 @@ - + @@ -2175,36 +2091,30 @@ - - - - - - @@ -2213,19 +2123,16 @@ - - - @@ -2234,70 +2141,58 @@ - - - - - - - - - - - - @@ -2318,64 +2213,53 @@ - - - - - - - - - - - diff --git a/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/unification/sandbox.mps b/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/unification/sandbox.mps index 1aabf493..48b9bdbb 100644 --- a/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/unification/sandbox.mps +++ b/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/unification/sandbox.mps @@ -93,10 +93,6 @@ - - - - @@ -138,19 +134,16 @@ - - - @@ -160,7 +153,6 @@ - @@ -175,19 +167,16 @@ - - - @@ -197,7 +186,6 @@ - diff --git a/languages/jetbrains.mps.logic/sandbox/runner/models/jetbrains/mps/logic/sandbox/runner.mps b/languages/jetbrains.mps.logic/sandbox/runner/models/jetbrains/mps/logic/sandbox/runner.mps index 6a748bf8..782d73f1 100644 --- a/languages/jetbrains.mps.logic/sandbox/runner/models/jetbrains/mps/logic/sandbox/runner.mps +++ b/languages/jetbrains.mps.logic/sandbox/runner/models/jetbrains/mps/logic/sandbox/runner.mps @@ -142,10 +142,6 @@ - - - - @@ -199,38 +195,32 @@ - - - - - - @@ -257,19 +247,16 @@ - - - @@ -278,17 +265,14 @@ - - - diff --git a/solutions/jetbrains.mps.type.sandbox.runner/models/jetbrains/mps/type/sandbox/runner.mps b/solutions/jetbrains.mps.type.sandbox.runner/models/jetbrains/mps/type/sandbox/runner.mps index 4b3a7895..da3b9324 100644 --- a/solutions/jetbrains.mps.type.sandbox.runner/models/jetbrains/mps/type/sandbox/runner.mps +++ b/solutions/jetbrains.mps.type.sandbox.runner/models/jetbrains/mps/type/sandbox/runner.mps @@ -208,11 +208,7 @@ - - - - @@ -318,17 +314,14 @@ - - - @@ -346,19 +339,16 @@ - - - @@ -548,19 +538,16 @@ - - - @@ -621,19 +608,16 @@ - - - @@ -695,19 +679,16 @@ - - - @@ -772,36 +753,30 @@ - - - - - - @@ -1205,36 +1180,30 @@ - - - - - - @@ -1259,36 +1228,30 @@ - - - - - - @@ -1313,19 +1276,16 @@ - - - @@ -1644,22 +1604,18 @@ - - - - @@ -1739,22 +1695,18 @@ - - - - diff --git a/solutions/jetbrains.mps.type.sandbox/models/jetbrains/mps/type/sandbox.mps b/solutions/jetbrains.mps.type.sandbox/models/jetbrains/mps/type/sandbox.mps index f8733248..89dabe25 100644 --- a/solutions/jetbrains.mps.type.sandbox/models/jetbrains/mps/type/sandbox.mps +++ b/solutions/jetbrains.mps.type.sandbox/models/jetbrains/mps/type/sandbox.mps @@ -312,11 +312,7 @@ - - - - @@ -356,19 +352,16 @@ - - - @@ -541,27 +534,22 @@ - - - - - @@ -578,19 +566,16 @@ - - - @@ -599,10 +584,8 @@ - - @@ -617,15 +600,11 @@ - - - - @@ -633,19 +612,16 @@ - - - @@ -655,19 +631,14 @@ - - - - - @@ -685,15 +656,11 @@ - - - - @@ -701,7 +668,6 @@ - @@ -712,19 +678,14 @@ - - - - - @@ -740,15 +701,11 @@ - - - - @@ -756,7 +713,6 @@ - @@ -767,19 +723,14 @@ - - - - - @@ -795,15 +746,11 @@ - - - - @@ -811,19 +758,16 @@ - - - @@ -1804,36 +1748,30 @@ - - - - - - @@ -1842,19 +1780,16 @@ - - - @@ -1863,70 +1798,58 @@ - - - - - - - - - - - - @@ -1948,22 +1871,18 @@ - - - - @@ -1984,22 +1903,18 @@ - - - - @@ -2323,15 +2238,11 @@ - - - - @@ -2339,7 +2250,6 @@ - @@ -2350,19 +2260,14 @@ - - - - - @@ -2378,15 +2283,11 @@ - - - - @@ -2394,7 +2295,6 @@ - @@ -2405,19 +2305,14 @@ - - - - - @@ -2433,15 +2328,11 @@ - - - - @@ -2449,19 +2340,16 @@ - - - @@ -2471,19 +2359,14 @@ - - - - - @@ -2501,15 +2384,11 @@ - - - - @@ -2517,7 +2396,6 @@ - @@ -2528,19 +2406,14 @@ - - - - - @@ -2556,15 +2429,11 @@ - - - - @@ -2572,7 +2441,6 @@ - @@ -2583,19 +2451,14 @@ - - - - - @@ -2611,15 +2474,11 @@ - - - - @@ -2627,7 +2486,6 @@ - @@ -2638,19 +2496,14 @@ - - - - - @@ -2667,15 +2520,11 @@ - - - - @@ -2683,7 +2532,6 @@ - @@ -2694,38 +2542,28 @@ - - - - - - - - - - @@ -2741,15 +2579,11 @@ - - - - @@ -2760,19 +2594,14 @@ - - - - - @@ -2783,19 +2612,14 @@ - - - - - @@ -2811,15 +2635,11 @@ - - - - @@ -2830,19 +2650,14 @@ - - - - - @@ -2853,38 +2668,28 @@ - - - - - - - - - - @@ -2910,38 +2715,32 @@ - - - - - - @@ -2995,38 +2794,32 @@ - - - - - - @@ -3080,57 +2873,48 @@ - - - - - - - - - @@ -3514,19 +3298,16 @@ - - - @@ -3534,7 +3315,6 @@ - @@ -3595,26 +3375,22 @@ - - - - @@ -3692,19 +3468,16 @@ - - - @@ -3712,7 +3485,6 @@ - @@ -3773,26 +3545,22 @@ - - - - @@ -3870,19 +3638,16 @@ - - - @@ -3943,19 +3708,16 @@ - - - @@ -4246,17 +4008,14 @@ - - - @@ -4355,19 +4114,16 @@ - - - @@ -4375,30 +4131,25 @@ - - - - - @@ -4418,7 +4169,6 @@ - @@ -4493,19 +4243,16 @@ - - - @@ -4525,7 +4272,6 @@ - @@ -4643,22 +4389,18 @@ - - - - @@ -4667,10 +4409,8 @@ - - @@ -4945,22 +4685,18 @@ - - - - @@ -4985,22 +4721,18 @@ - - - - @@ -5009,25 +4741,20 @@ - - - - - @@ -5081,17 +4808,14 @@ - - - @@ -5110,15 +4834,12 @@ - - - @@ -5127,10 +4848,8 @@ - - @@ -5181,17 +4900,14 @@ - - - @@ -5209,12 +4925,10 @@ - - @@ -5231,42 +4945,34 @@ - - - - - - - - @@ -5275,10 +4981,8 @@ - - @@ -5329,17 +5033,14 @@ - - - @@ -5357,29 +5058,24 @@ - - - - - @@ -5388,10 +5084,8 @@ - - @@ -5446,42 +5140,34 @@ - - - - - - - - @@ -5500,21 +5186,17 @@ - - - - @@ -5570,15 +5252,12 @@ - - - @@ -5587,24 +5266,19 @@ - - - - - @@ -5623,21 +5297,17 @@ - - - - @@ -5840,22 +5510,18 @@ - - - - @@ -5869,41 +5535,34 @@ - - - - - - - @@ -5943,19 +5602,16 @@ - - - @@ -5968,19 +5624,16 @@ - - - @@ -6016,22 +5669,18 @@ - - - - @@ -6045,41 +5694,34 @@ - - - - - - - @@ -6106,39 +5748,32 @@ - - - - - - - @@ -6177,19 +5812,16 @@ - - - @@ -6207,24 +5839,20 @@ - - - - @@ -6237,41 +5865,34 @@ - - - - - - - @@ -6285,41 +5906,34 @@ - - - - - - - @@ -6359,19 +5973,16 @@ - - - @@ -6410,19 +6021,16 @@ - - - @@ -6443,22 +6051,18 @@ - - - - @@ -6476,12 +6080,10 @@ - - @@ -6491,34 +6093,28 @@ - - - - - - @@ -6532,19 +6128,16 @@ - - - @@ -6582,19 +6175,16 @@ - - - @@ -6731,19 +6321,16 @@ - - - @@ -6753,7 +6340,6 @@ - @@ -6791,19 +6377,16 @@ - - - @@ -6813,7 +6396,6 @@ - @@ -6851,19 +6433,16 @@ - - - @@ -6937,19 +6516,16 @@ - - - @@ -6959,7 +6535,6 @@ - diff --git a/solutions/jetbrains.mps.type.solver/models/jetbrains/mps/type/inference/common.mps b/solutions/jetbrains.mps.type.solver/models/jetbrains/mps/type/inference/common.mps index 65f5fe27..962d03be 100644 --- a/solutions/jetbrains.mps.type.solver/models/jetbrains/mps/type/inference/common.mps +++ b/solutions/jetbrains.mps.type.solver/models/jetbrains/mps/type/inference/common.mps @@ -199,11 +199,7 @@ - - - - @@ -1474,12 +1470,10 @@ - - @@ -1487,7 +1481,6 @@ - @@ -1615,29 +1608,24 @@ - - - - - @@ -1687,12 +1675,10 @@ - - @@ -1700,7 +1686,6 @@ - @@ -1828,19 +1813,16 @@ - - - @@ -1857,12 +1839,10 @@ - - @@ -1900,12 +1880,10 @@ - - @@ -1913,22 +1891,18 @@ - - - - @@ -1936,7 +1910,6 @@ - @@ -2066,18 +2039,15 @@ - - - @@ -2106,7 +2076,6 @@ - @@ -2156,12 +2125,10 @@ - - @@ -2169,22 +2136,18 @@ - - - - @@ -2314,18 +2277,15 @@ - - - @@ -2383,19 +2343,16 @@ - - - @@ -2403,7 +2360,6 @@ - @@ -2531,12 +2487,10 @@ - - @@ -2556,7 +2510,6 @@ - @@ -2572,7 +2525,6 @@ - @@ -2608,19 +2560,16 @@ - - - @@ -2753,12 +2702,10 @@ - - @@ -2778,7 +2725,6 @@ - @@ -2794,7 +2740,6 @@ - @@ -2830,19 +2775,16 @@ - - - @@ -2970,12 +2912,10 @@ - - @@ -3011,19 +2951,16 @@ - - - @@ -3151,12 +3088,10 @@ - - @@ -3192,12 +3127,10 @@ - - @@ -3325,19 +3258,16 @@ - - - @@ -3373,12 +3303,10 @@ - - @@ -3506,19 +3434,16 @@ - - -