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 0cb8b22a..571d3503 100644 --- a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps +++ b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps @@ -548,6 +548,13 @@ + + + + + + + @@ -584,7 +591,8 @@ - + + @@ -706,8 +714,8 @@ - - + + @@ -858,8 +866,7 @@ - - + @@ -881,6 +888,7 @@ + @@ -935,23 +943,21 @@ + - - - - - - - - - - - - + + + + + + + + + @@ -1413,23 +1419,21 @@ + - - - - - - - - - - - - + + + + + + + + + @@ -1526,13 +1530,11 @@ + - - - - + @@ -1583,23 +1585,21 @@ + - - - - - - - - - - - - + + + + + + + + + @@ -2200,11 +2200,11 @@ - - - - - + + + + + @@ -2396,8 +2396,8 @@ - - + + @@ -2418,23 +2418,21 @@ + - - - - - - - - - - - - + + + + + + + + + @@ -2570,8 +2568,8 @@ - - + + @@ -2801,21 +2799,19 @@ + - - - - - - - - - - - - + + + + + + + + + @@ -3500,23 +3496,21 @@ + - - - - - - - - - - - - + + + + + + + + + @@ -4188,32 +4182,30 @@ + - - - - - - - - - - - - + + + + + + + + + - - - - - - - - - + + + + + + + + + @@ -4334,21 +4326,19 @@ + - - - - - - - - - - - - + + + + + + + + + @@ -4508,41 +4498,39 @@ + - - - - - - - - - - - - - + + + + + + + - - - - - + + + + + + + + - - - - - - - - - + + + + + + + + + @@ -5327,8 +5315,8 @@ - - + + @@ -5346,11 +5334,11 @@ - - - - - + + + + + @@ -5396,8 +5384,7 @@ - - + @@ -5412,6 +5399,7 @@ + @@ -5449,11 +5437,11 @@ - - - - - + + + + + @@ -5499,8 +5487,7 @@ - - + @@ -5515,6 +5502,7 @@ + @@ -5584,8 +5572,7 @@ - - + @@ -5600,6 +5587,7 @@ + @@ -5607,8 +5595,7 @@ - - + @@ -5623,6 +5610,7 @@ + @@ -5672,8 +5660,7 @@ - - + @@ -5688,6 +5675,7 @@ + @@ -5695,8 +5683,7 @@ - - + @@ -5711,6 +5698,7 @@ + @@ -5770,8 +5758,7 @@ - - + @@ -5786,6 +5773,7 @@ + @@ -5856,8 +5844,7 @@ - - + @@ -5872,6 +5859,7 @@ + @@ -5879,8 +5867,7 @@ - - + @@ -5895,6 +5882,7 @@ + @@ -5944,8 +5932,7 @@ - - + @@ -5960,6 +5947,7 @@ + @@ -6009,8 +5997,7 @@ - - + @@ -6025,6 +6012,7 @@ + @@ -6593,13 +6581,11 @@ + - - - - + @@ -6713,13 +6699,11 @@ + - - - - + @@ -6882,13 +6866,11 @@ + - - - - + @@ -7014,13 +6996,11 @@ + - - - - + @@ -7184,8 +7164,8 @@ - - + + @@ -7207,23 +7187,21 @@ + - - - - - - - - - - - - + + + + + + + + + @@ -7258,8 +7236,8 @@ - - + + @@ -7323,8 +7301,7 @@ - - + @@ -7339,6 +7316,7 @@ + @@ -7384,8 +7362,7 @@ - - + @@ -7400,6 +7377,7 @@ + @@ -7442,8 +7420,8 @@ - - + + @@ -7913,8 +7891,8 @@ - - + + @@ -7999,8 +7977,8 @@ - - + + @@ -8019,23 +7997,21 @@ + - - - - - - - - - - - - + + + + + + + + + @@ -8071,8 +8047,8 @@ - - + + @@ -8150,11 +8126,11 @@ - - - - - + + + + + @@ -8208,8 +8184,8 @@ - - + + @@ -8310,8 +8286,8 @@ - - + + @@ -8319,8 +8295,8 @@ - - + + @@ -8350,8 +8326,8 @@ - - + + @@ -8359,8 +8335,8 @@ - - + + @@ -8477,8 +8453,8 @@ - - + + @@ -8486,8 +8462,8 @@ - - + + @@ -8534,8 +8510,7 @@ - - + @@ -8550,6 +8525,7 @@ + @@ -8571,23 +8547,21 @@ + - - - - - - - - - - - - + + + + + + + + + @@ -8623,8 +8597,8 @@ - - + + @@ -8702,8 +8676,7 @@ - - + @@ -8718,6 +8691,7 @@ + @@ -8725,8 +8699,7 @@ - - + @@ -8741,6 +8714,7 @@ + @@ -9294,22 +9268,7 @@ - - - - - - - - - - - - - - - - + @@ -9318,6 +9277,19 @@ + + + + + + + + + + + + + @@ -9433,15 +9405,7 @@ - - - - - - - - - + @@ -9456,6 +9420,14 @@ + + + + + + + + @@ -9535,40 +9507,38 @@ + - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - + + + - - - - + + + + @@ -9654,15 +9624,7 @@ - - - - - - - - - + @@ -9677,6 +9639,14 @@ + + + + + + + + @@ -9805,8 +9775,7 @@ - - + @@ -9821,6 +9790,7 @@ + @@ -9881,8 +9851,7 @@ - - + @@ -9897,6 +9866,7 @@ + @@ -9978,8 +9948,7 @@ - - + @@ -9994,6 +9963,7 @@ + @@ -10070,8 +10040,7 @@ - - + @@ -10086,6 +10055,7 @@ + @@ -10104,8 +10074,8 @@ - - + + @@ -10129,8 +10099,7 @@ - - + @@ -10143,6 +10112,7 @@ + @@ -10161,8 +10131,7 @@ - - + @@ -10175,6 +10144,7 @@ + @@ -10193,8 +10163,7 @@ - - + @@ -10207,6 +10176,7 @@ + @@ -10225,8 +10195,7 @@ - - + @@ -10239,6 +10208,7 @@ + @@ -10257,8 +10227,7 @@ - - + @@ -10271,6 +10240,7 @@ + @@ -10289,8 +10259,8 @@ - - + + @@ -10309,8 +10279,8 @@ - - + + @@ -11120,8 +11090,8 @@ - - + + @@ -11129,8 +11099,8 @@ - - + + @@ -11191,8 +11161,7 @@ - - + @@ -11235,6 +11204,7 @@ + @@ -11244,8 +11214,7 @@ - - + @@ -11288,6 +11257,7 @@ + @@ -11405,15 +11375,7 @@ - - - - - - - - - + @@ -11428,6 +11390,14 @@ + + + + + + + + @@ -11459,15 +11429,7 @@ - - - - - - - - - + @@ -11482,6 +11444,14 @@ + + + + + + + + @@ -11586,11 +11556,11 @@ - - - - - + + + + + @@ -11602,11 +11572,11 @@ - - - - - + + + + + @@ -11687,15 +11657,7 @@ - - - - - - - - - + @@ -11710,6 +11672,14 @@ + + + + + + + + @@ -11726,15 +11696,15 @@ - - - - - - + + + + + + - + @@ -11849,23 +11819,21 @@ + - - - - - - - - - - - - + + + + + + + + + @@ -12247,8 +12215,8 @@ - - + + @@ -12314,8 +12282,8 @@ - - + + @@ -12434,8 +12402,7 @@ - - + @@ -12450,6 +12417,7 @@ + @@ -12457,8 +12425,7 @@ - - + @@ -12473,6 +12440,7 @@ + @@ -12719,23 +12687,21 @@ + - - - - - - - - - - - - + + + + + + + + + @@ -12796,8 +12762,8 @@ - - + + @@ -12895,8 +12861,8 @@ - - + + @@ -12988,8 +12954,8 @@ - - + + @@ -13081,8 +13047,8 @@ - - + + @@ -13289,15 +13255,7 @@ - - - - - - - - - + @@ -13312,6 +13270,14 @@ + + + + + + + + @@ -13362,25 +13328,23 @@ + - - - - - - - - + + + + + + + + + + - - - - - - - + + @@ -13455,15 +13419,7 @@ - - - - - - - - - + @@ -13478,6 +13434,14 @@ + + + + + + + + @@ -13675,8 +13639,8 @@ - - + + @@ -13753,8 +13717,7 @@ - - + @@ -13769,6 +13732,7 @@ + @@ -13833,8 +13797,7 @@ - - + @@ -13849,6 +13812,7 @@ + @@ -14081,20 +14045,7 @@ - - - - - - - - - - - - - - + @@ -14109,6 +14060,19 @@ + + + + + + + + + + + + + @@ -14123,30 +14087,28 @@ + - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - + + @@ -14354,8 +14316,8 @@ - - + + @@ -14363,8 +14325,8 @@ - - + + @@ -14393,8 +14355,8 @@ - - + + @@ -14402,8 +14364,8 @@ - - + + @@ -14432,8 +14394,8 @@ - - + + @@ -14441,8 +14403,8 @@ - - + + @@ -14471,8 +14433,8 @@ - - + + @@ -14480,8 +14442,8 @@ - - + + @@ -14510,8 +14472,8 @@ - - + + @@ -14519,8 +14481,8 @@ - - + + @@ -14576,8 +14538,7 @@ - - + @@ -14592,6 +14553,7 @@ + @@ -14599,8 +14561,8 @@ - - + + @@ -14629,8 +14591,8 @@ - - + + @@ -14638,8 +14600,8 @@ - - + + @@ -14668,8 +14630,8 @@ - - + + @@ -14677,8 +14639,8 @@ - - + + @@ -14717,11 +14679,11 @@ - - - - - + + + + + @@ -14800,11 +14762,11 @@ - - - - - + + + + + @@ -15010,8 +14972,8 @@ - - + + @@ -15022,23 +14984,21 @@ + - - - - - - - - - - - - + + + + + + + + + @@ -15265,8 +15225,7 @@ - - + @@ -15281,6 +15240,7 @@ + @@ -15312,8 +15272,8 @@ - - + + @@ -15707,15 +15667,7 @@ - - - - - - - - - + @@ -15730,6 +15682,14 @@ + + + + + + + + @@ -15807,11 +15767,11 @@ - - - - - + + + + + @@ -15985,8 +15945,7 @@ - - + @@ -16001,6 +15960,7 @@ + @@ -16164,8 +16124,7 @@ - - + @@ -16180,6 +16139,7 @@ + @@ -16343,8 +16303,7 @@ - - + @@ -16359,6 +16318,7 @@ + @@ -16522,8 +16482,7 @@ - - + @@ -16538,6 +16497,7 @@ + @@ -16585,8 +16545,8 @@ - - + + @@ -16634,8 +16594,8 @@ - - + + @@ -16683,8 +16643,8 @@ - - + + @@ -16732,8 +16692,8 @@ - - + + @@ -16781,8 +16741,8 @@ - - + + @@ -16830,8 +16790,8 @@ - - + + @@ -16879,8 +16839,8 @@ - - + + @@ -16928,8 +16888,8 @@ - - + +