From 476b8ad2ee3d2f784c9423f6aa8a54c0e9ab8f5d Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 21 Mar 2018 15:56:18 +0100 Subject: [PATCH] Migration applied. --- .../jetbrains.mps.baseLanguageExt.mpl | 2 +- .../jetbrains.mps.baseLanguageExt.types.mps | 3796 +++++++++-------- .../jetbrains.mps.typechecking.testlang.mpl | 2 +- .../models/types.mps | 2 +- 4 files changed, 2040 insertions(+), 1762 deletions(-) diff --git a/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl b/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl index 779e6872..4b08f253 100644 --- a/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl +++ b/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl @@ -38,7 +38,7 @@ - + diff --git a/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index 8f1630f7..2483ea76 100644 --- a/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -5,7 +5,7 @@ - + @@ -581,6 +581,9 @@ + + + @@ -678,6 +681,7 @@ + @@ -786,11 +790,6 @@ - - - - - @@ -833,6 +832,13 @@ + + + + + + + @@ -854,11 +860,6 @@ - - - - - @@ -885,6 +886,13 @@ + + + + + + + @@ -893,11 +901,6 @@ - - - - - @@ -955,6 +958,13 @@ + + + + + + + @@ -973,11 +983,6 @@ - - - - - @@ -1037,6 +1042,13 @@ + + + + + + + @@ -1093,20 +1105,6 @@ - - - - - - - - - - - - - - @@ -1236,15 +1234,26 @@ + + + + + + + + + + + + + + + + - - - - - @@ -1290,6 +1299,13 @@ + + + + + + + @@ -1387,11 +1403,6 @@ - - - - - @@ -1413,34 +1424,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1583,15 +1566,45 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - @@ -1622,29 +1635,17 @@ + + + + + + + - - - - - - - - - - - - - - - - - - - @@ -1748,6 +1749,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -1848,14 +1870,6 @@ - - - - - - - - @@ -1926,15 +1940,20 @@ + + + + + + + + + + - - - - - @@ -1971,6 +1990,13 @@ + + + + + + + @@ -2002,16 +2028,6 @@ - - - - - - - - - - @@ -2138,6 +2154,18 @@ + + + + + + + + + + + + @@ -2193,16 +2221,6 @@ - - - - - - - - - - @@ -2222,15 +2240,22 @@ + + + + + + + + + + + + - - - - - @@ -2367,16 +2392,6 @@ - - - - - - - - - - @@ -2503,6 +2518,23 @@ + + + + + + + + + + + + + + + + + @@ -2520,14 +2552,6 @@ - - - - - - - - @@ -2540,6 +2564,16 @@ + + + + + + + + + + @@ -3327,11 +3361,6 @@ - - - - - @@ -3353,31 +3382,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3635,32 +3639,42 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - @@ -4036,32 +4050,34 @@ + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - @@ -4130,6 +4146,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -4143,14 +4183,6 @@ - - - - - - - - @@ -4470,6 +4502,16 @@ + + + + + + + + + + @@ -4833,14 +4875,6 @@ - - - - - - - - @@ -4897,19 +4931,21 @@ + + + + + + + + + + - - - - - - - - @@ -4988,6 +5024,16 @@ + + + + + + + + + + @@ -5018,14 +5064,6 @@ - - - - - - - - @@ -5042,14 +5080,6 @@ - - - - - - - - @@ -5075,6 +5105,24 @@ + + + + + + + + + + + + + + + + + + @@ -5122,22 +5170,9 @@ - - - - - - - - - - - - - @@ -5154,14 +5189,6 @@ - - - - - - - - @@ -5176,6 +5203,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -5224,14 +5274,6 @@ - - - - - - - - @@ -5248,11 +5290,6 @@ - - - - - @@ -5267,6 +5304,21 @@ + + + + + + + + + + + + + + + @@ -5314,11 +5366,6 @@ - - - - - @@ -5340,14 +5387,6 @@ - - - - - - - - @@ -5362,6 +5401,21 @@ + + + + + + + + + + + + + + + @@ -5378,14 +5432,6 @@ - - - - - - - - @@ -5405,6 +5451,16 @@ + + + + + + + + + + @@ -5454,17 +5510,6 @@ - - - - - - - - - - - @@ -5518,6 +5563,19 @@ + + + + + + + + + + + + + @@ -5567,17 +5625,6 @@ - - - - - - - - - - - @@ -5631,6 +5678,19 @@ + + + + + + + + + + + + + @@ -5651,20 +5711,6 @@ - - - - - - - - - - - - - - @@ -5717,6 +5763,22 @@ + + + + + + + + + + + + + + + + @@ -5737,20 +5799,6 @@ - - - - - - - - - - - - - - @@ -5803,6 +5851,22 @@ + + + + + + + + + + + + + + + + @@ -5833,17 +5897,6 @@ - - - - - - - - - - - @@ -5879,11 +5932,6 @@ - - - - - @@ -5898,6 +5946,24 @@ + + + + + + + + + + + + + + + + + + @@ -5918,20 +5984,6 @@ - - - - - - - - - - - - - - @@ -5984,6 +6036,22 @@ + + + + + + + + + + + + + + + + @@ -6004,17 +6072,6 @@ - - - - - - - - - - - @@ -6048,6 +6105,19 @@ + + + + + + + + + + + + + @@ -6068,17 +6138,6 @@ - - - - - - - - - - - @@ -6112,6 +6171,19 @@ + + + + + + + + + + + + + @@ -6132,17 +6204,6 @@ - - - - - - - - - - - @@ -6176,19 +6237,24 @@ + + + + + + + + + + + + + - - - - - - - - @@ -6214,6 +6280,16 @@ + + + + + + + + + + @@ -6238,17 +6314,6 @@ - - - - - - - - - - - @@ -6534,11 +6599,6 @@ - - - - - @@ -6721,6 +6781,24 @@ + + + + + + + + + + + + + + + + + + @@ -6730,11 +6808,6 @@ - - - - - @@ -6756,11 +6829,6 @@ - - - - - @@ -6790,6 +6858,18 @@ + + + + + + + + + + + + @@ -6811,11 +6891,6 @@ - - - - - @@ -6859,6 +6934,13 @@ + + + + + + + @@ -6867,11 +6949,6 @@ - - - - - @@ -6907,14 +6984,6 @@ - - - - - - - - @@ -6958,6 +7027,21 @@ + + + + + + + + + + + + + + + @@ -6978,14 +7062,6 @@ - - - - - - - - @@ -7029,6 +7105,16 @@ + + + + + + + + + + @@ -7113,14 +7199,6 @@ - - - - - - - - @@ -7164,18 +7242,20 @@ + + + + + + + + + + - - - - - - - - @@ -7227,17 +7307,6 @@ - - - - - - - - - - - @@ -7298,6 +7367,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -7329,14 +7419,6 @@ - - - - - - - - @@ -7356,6 +7438,16 @@ + + + + + + + + + + @@ -7376,14 +7468,6 @@ - - - - - - - - @@ -7398,6 +7482,16 @@ + + + + + + + + + + @@ -7449,7 +7543,9 @@ - + + + @@ -7512,7 +7608,9 @@ - + + + @@ -7554,14 +7652,6 @@ - - - - - - - - @@ -7591,6 +7681,16 @@ + + + + + + + + + + @@ -7619,11 +7719,6 @@ - - - - - @@ -7658,7 +7753,14 @@ - + + + + + + + + @@ -7686,14 +7788,6 @@ - - - - - - - - @@ -7713,6 +7807,16 @@ + + + + + + + + + + @@ -7729,14 +7833,6 @@ - - - - - - - - @@ -7775,20 +7871,22 @@ + + + + + + + + + + - - - - - - - - @@ -7824,6 +7922,16 @@ + + + + + + + + + + @@ -7844,14 +7952,6 @@ - - - - - - - - @@ -7876,20 +7976,22 @@ + + + + + + + + + + - - - - - - - - @@ -7929,6 +8031,16 @@ + + + + + + + + + + @@ -7949,20 +8061,6 @@ - - - - - - - - - - - - - - @@ -8015,6 +8113,22 @@ + + + + + + + + + + + + + + + + @@ -8066,7 +8180,9 @@ - + + + @@ -8129,7 +8245,9 @@ - + + + @@ -8175,14 +8293,6 @@ - - - - - - - - @@ -8197,6 +8307,16 @@ + + + + + + + + + + @@ -8216,14 +8336,6 @@ - - - - - - - - @@ -8240,11 +8352,6 @@ - - - - - @@ -8277,19 +8384,26 @@ + + + + + + + + + + + + + + + - - - - - - - - @@ -8336,19 +8450,21 @@ + + + + + + + + + + - - - - - - - - @@ -8395,19 +8511,21 @@ + + + + + + + + + + - - - - - - - - @@ -8460,27 +8578,21 @@ + + + + + + + + + + - - - - - - - - - - - - - - - - @@ -8525,6 +8637,24 @@ + + + + + + + + + + + + + + + + + + @@ -10278,14 +10408,6 @@ - - - - - - - - @@ -10311,17 +10433,6 @@ - - - - - - - - - - - @@ -10477,46 +10588,31 @@ + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -10593,45 +10689,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -10731,6 +10788,85 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10754,33 +10890,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -10902,42 +11011,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -11200,22 +11273,80 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - @@ -11244,6 +11375,19 @@ + + + + + + + + + + + + + @@ -11299,19 +11443,6 @@ - - - - - - - - - - - - - @@ -11328,14 +11459,6 @@ - - - - - - - - @@ -11361,6 +11484,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -11410,17 +11556,6 @@ - - - - - - - - - - - @@ -11443,6 +11578,19 @@ + + + + + + + + + + + + + @@ -11473,17 +11621,6 @@ - - - - - - - - - - - @@ -11506,6 +11643,19 @@ + + + + + + + + + + + + + @@ -11539,17 +11689,6 @@ - - - - - - - - - - - @@ -11567,6 +11706,19 @@ + + + + + + + + + + + + + @@ -11586,26 +11738,6 @@ - - - - - - - - - - - - - - - - - - - - @@ -11661,6 +11793,28 @@ + + + + + + + + + + + + + + + + + + + + + + @@ -11683,17 +11837,6 @@ - - - - - - - - - - - @@ -11761,17 +11904,6 @@ - - - - - - - - - - - @@ -11789,6 +11921,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -11859,14 +12015,6 @@ - - - - - - - - @@ -11881,6 +12029,16 @@ + + + + + + + + + + @@ -11917,11 +12075,6 @@ - - - - - @@ -11975,19 +12128,6 @@ - - - - - - - - - - - - - @@ -12048,6 +12188,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -12071,19 +12231,6 @@ - - - - - - - - - - - - - @@ -12138,6 +12285,21 @@ + + + + + + + + + + + + + + + @@ -12161,19 +12323,6 @@ - - - - - - - - - - - - - @@ -12228,6 +12377,21 @@ + + + + + + + + + + + + + + + @@ -12251,19 +12415,6 @@ - - - - - - - - - - - - - @@ -12323,24 +12474,26 @@ + + + + + + + + + + + + + + + - - - - - - - - - - - - - @@ -12390,24 +12543,26 @@ + + + + + + + + + + + + + + + - - - - - - - - - - - - - @@ -12436,6 +12591,21 @@ + + + + + + + + + + + + + + + @@ -12487,55 +12657,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -12924,6 +13045,57 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13007,14 +13179,6 @@ - - - - - - - - @@ -13039,19 +13203,21 @@ + + + + + + + + + + - - - - - - - - @@ -13076,19 +13242,21 @@ + + + + + + + + + + - - - - - - - - @@ -13113,19 +13281,21 @@ + + + + + + + + + + - - - - - - - - @@ -13150,19 +13320,21 @@ + + + + + + + + + + - - - - - - - - @@ -13187,6 +13359,16 @@ + + + + + + + + + + @@ -13216,17 +13398,6 @@ - - - - - - - - - - - @@ -13265,6 +13436,19 @@ + + + + + + + + + + + + + @@ -13294,17 +13478,6 @@ - - - - - - - - - - - @@ -13343,6 +13516,19 @@ + + + + + + + + + + + + + @@ -13372,17 +13558,6 @@ - - - - - - - - - - - @@ -13421,19 +13596,24 @@ + + + + + + + + + + + + + - - - - - - - - @@ -13458,19 +13638,21 @@ + + + + + + + + + + - - - - - - - - @@ -13495,6 +13677,16 @@ + + + + + + + + + + @@ -13512,14 +13704,6 @@ - - - - - - - - @@ -13532,6 +13716,16 @@ + + + + + + + + + + @@ -13556,17 +13750,6 @@ - - - - - - - - - - - @@ -13642,22 +13825,24 @@ + + + + + + + + + + + + + - - - - - - - - - - - @@ -13733,6 +13918,19 @@ + + + + + + + + + + + + + @@ -13752,17 +13950,6 @@ - - - - - - - - - - - @@ -13794,6 +13981,19 @@ + + + + + + + + + + + + + @@ -13817,17 +14017,6 @@ - - - - - - - - - - - @@ -13865,6 +14054,19 @@ + + + + + + + + + + + + + @@ -13892,14 +14094,6 @@ - - - - - - - - @@ -13957,19 +14151,21 @@ + + + + + + + + + + - - - - - - - - @@ -13998,6 +14194,16 @@ + + + + + + + + + + @@ -14037,12 +14243,6 @@ - - - - - - @@ -14072,11 +14272,6 @@ - - - - - @@ -14103,16 +14298,23 @@ + + + + + + + + + + + + + - - - - - - @@ -14142,11 +14344,6 @@ - - - - - @@ -14173,6 +14370,19 @@ + + + + + + + + + + + + + @@ -14203,12 +14413,6 @@ - - - - - - @@ -14231,11 +14435,6 @@ - - - - - @@ -14243,6 +14442,19 @@ + + + + + + + + + + + + + @@ -14273,12 +14485,6 @@ - - - - - - @@ -14301,11 +14507,6 @@ - - - - - @@ -14313,6 +14514,19 @@ + + + + + + + + + + + + + @@ -14345,22 +14559,6 @@ - - - - - - - - - - - - - - - - @@ -14398,34 +14596,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -14482,27 +14652,56 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - @@ -14676,34 +14875,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -14777,6 +14948,53 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14807,17 +15025,6 @@ - - - - - - - - - - - @@ -14862,6 +15069,19 @@ + + + + + + + + + + + + + @@ -14913,13 +15133,15 @@ - + + + - + @@ -14932,12 +15154,6 @@ - - - - - - @@ -14982,20 +15198,6 @@ - - - - - - - - - - - - - - @@ -15029,16 +15231,32 @@ + + + + + + + + + + + + + + + + + + + + + + - - - - - - @@ -15083,20 +15301,6 @@ - - - - - - - - - - - - - - @@ -15130,16 +15334,32 @@ + + + + + + + + + + + + + + + + + + + + + + - - - - - - @@ -15184,20 +15404,6 @@ - - - - - - - - - - - - - - @@ -15231,16 +15437,32 @@ + + + + + + + + + + + + + + + + + + + + + + - - - - - - @@ -15285,20 +15507,6 @@ - - - - - - - - - - - - - - @@ -15332,6 +15540,28 @@ + + + + + + + + + + + + + + + + + + + + + + @@ -15353,17 +15583,6 @@ - - - - - - - - - - - @@ -15383,6 +15602,19 @@ + + + + + + + + + + + + + @@ -15404,17 +15636,6 @@ - - - - - - - - - - - @@ -15434,6 +15655,19 @@ + + + + + + + + + + + + + @@ -15455,17 +15689,6 @@ - - - - - - - - - - - @@ -15485,6 +15708,19 @@ + + + + + + + + + + + + + @@ -15506,17 +15742,6 @@ - - - - - - - - - - - @@ -15536,6 +15761,19 @@ + + + + + + + + + + + + + @@ -15557,17 +15795,6 @@ - - - - - - - - - - - @@ -15587,6 +15814,19 @@ + + + + + + + + + + + + + @@ -15608,17 +15848,6 @@ - - - - - - - - - - - @@ -15638,6 +15867,19 @@ + + + + + + + + + + + + + @@ -15659,17 +15901,6 @@ - - - - - - - - - - - @@ -15689,6 +15920,19 @@ + + + + + + + + + + + + + @@ -15710,17 +15954,6 @@ - - - - - - - - - - - @@ -15740,6 +15973,19 @@ + + + + + + + + + + + + + @@ -15757,17 +16003,6 @@ - - - - - - - - - - - @@ -15789,6 +16024,19 @@ + + + + + + + + + + + + + @@ -19019,28 +19267,6 @@ - - - - - - - - - - - - - - - - - - - - - - @@ -19100,36 +19326,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -19447,6 +19643,60 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -19539,7 +19789,9 @@ - + + + @@ -19570,14 +19822,6 @@ - - - - - - - - @@ -19592,22 +19836,21 @@ + + + + + + + + + + - - - - - - - - - - - @@ -19632,11 +19875,6 @@ - - - - - @@ -19707,25 +19945,29 @@ + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - @@ -19818,25 +20060,27 @@ + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - @@ -19875,11 +20119,6 @@ - - - - - @@ -19949,7 +20188,28 @@ - + + + + + + + + + + + + + + + + + + + + + + @@ -19960,17 +20220,6 @@ - - - - - - - - - - - @@ -20012,7 +20261,20 @@ - + + + + + + + + + + + + + + @@ -20072,14 +20334,6 @@ - - - - - - - - @@ -20111,7 +20365,17 @@ - + + + + + + + + + + + @@ -20134,14 +20398,6 @@ - - - - - - - - @@ -20158,6 +20414,16 @@ + + + + + + + + + + @@ -20181,14 +20447,6 @@ - - - - - - - - @@ -20208,6 +20466,16 @@ + + + + + + + + + + @@ -20259,7 +20527,9 @@ - + + + @@ -20275,11 +20545,6 @@ - - - - - @@ -20315,14 +20580,6 @@ - - - - - - - - @@ -20342,6 +20599,21 @@ + + + + + + + + + + + + + + + @@ -20362,17 +20634,6 @@ - - - - - - - - - - - @@ -20406,6 +20667,19 @@ + + + + + + + + + + + + + @@ -20426,17 +20700,6 @@ - - - - - - - - - - - @@ -20470,15 +20733,23 @@ + + + + + + + + + + + + + - - - - - @@ -20509,19 +20780,6 @@ - - - - - - - - - - - - - @@ -20547,6 +20805,26 @@ + + + + + + + + + + + + + + + + + + + + diff --git a/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl b/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl index 6a3b7514..89e7a3a9 100644 --- a/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl +++ b/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl @@ -83,7 +83,7 @@ - + diff --git a/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps index 488c972f..9d8eff48 100644 --- a/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/typechecking/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -2,7 +2,7 @@ - +