diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index 84097ee5..29eaed22 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -6443,12 +6443,6 @@ - - - - - - diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index 72e1676c..34d534a0 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -2096,28 +2096,8 @@ - - - - - - - - - - - - - - - - - - - - - - + + @@ -2287,16 +2267,13 @@ - - - - - - - - + + + + + + - @@ -3480,28 +3457,8 @@ - - - - - - - - - - - - - - - - - - - - - - + + @@ -3516,16 +3473,13 @@ - - - - - - - - + + + + + + - @@ -3786,28 +3740,8 @@ - - - - - - - - - - - - - - - - - - - - - - + + @@ -3834,16 +3768,13 @@ - - - - - - - - + + + + + + - @@ -4361,7 +4292,7 @@ - + @@ -4393,15 +4324,9 @@ - + - - - - - - - + @@ -4702,14 +4627,14 @@ - + - + @@ -4854,7 +4779,7 @@ - + @@ -4906,7 +4831,7 @@ - + @@ -4977,42 +4902,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5663,28 +5552,8 @@ - - - - - - - - - - - - - - - - - - - - - - + + @@ -5788,11 +5657,8 @@ - - - - - + + @@ -5828,11 +5694,8 @@ - - - - - + + @@ -6105,18 +5968,6 @@ - - - - - - - - - - - - @@ -6174,9 +6025,9 @@ - - - + + + @@ -6367,9 +6218,9 @@ - - - + + + @@ -6486,42 +6337,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7178,28 +6993,8 @@ - - - - - - - - - - - - - - - - - - - - - - + + @@ -7303,11 +7098,8 @@ - - - - - + + @@ -7343,11 +7135,8 @@ - - - - - + + @@ -7550,18 +7339,6 @@ - - - - - - - - - - - - @@ -7619,9 +7396,9 @@ - - - + + + @@ -7812,9 +7589,9 @@ - - - + + + @@ -8145,23 +7922,6 @@ - - - - - - - - - - - - - - - - - @@ -8177,9 +7937,14 @@ - - - + + + + + + + + @@ -8413,42 +8178,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -8662,28 +8391,8 @@ - - - - - - - - - - - - - - - - - - - - - - + + @@ -8790,23 +8499,6 @@ - - - - - - - - - - - - - - - - - @@ -8822,9 +8514,14 @@ - - - + + + + + + + + @@ -8935,9 +8632,9 @@ - - - + + + @@ -9136,42 +8833,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -9405,28 +9066,8 @@ - - - - - - - - - - - - - - - - - - - - - - + + @@ -9533,23 +9174,6 @@ - - - - - - - - - - - - - - - - - @@ -9565,9 +9189,14 @@ - - - + + + + + + + + @@ -9678,9 +9307,9 @@ - - - + + + @@ -10679,8 +10308,8 @@ - - + + @@ -10765,16 +10394,13 @@ - - - - - - - - + + + + + + - @@ -10881,8 +10507,8 @@ - - + + @@ -10890,8 +10516,8 @@ - - + + @@ -10908,11 +10534,8 @@ - - - - - + + @@ -10961,8 +10584,8 @@ - - + + @@ -11050,7 +10673,7 @@ - + @@ -34629,37 +34252,17 @@ - - + + - - - - - - - - - - + + + - - - - - - - - - - - - - - - - + + + @@ -34727,11 +34330,8 @@ - - - - - + + @@ -34774,11 +34374,8 @@ - - - - - + + @@ -35984,11 +35581,8 @@ - - - - - + + @@ -36016,11 +35610,8 @@ - - - - - + + @@ -36046,11 +35637,8 @@ - - - - - + + @@ -36065,11 +35653,8 @@ - - - - - + + @@ -36157,14 +35742,11 @@ - - + + - - - - - + + @@ -36179,11 +35761,8 @@ - - - - - + + @@ -36320,8 +35899,8 @@ - - + + @@ -36375,8 +35954,8 @@ - - + + @@ -36444,8 +36023,8 @@ - - + + @@ -36503,8 +36082,8 @@ - - + + @@ -36552,8 +36131,8 @@ - - + + @@ -36595,8 +36174,8 @@ - - + + @@ -36610,8 +36189,8 @@ - - + + @@ -36643,8 +36222,8 @@ - - + + @@ -36704,8 +36283,8 @@ - - + + @@ -36768,12 +36347,12 @@ - + - + @@ -42799,7 +42378,7 @@ - + @@ -44674,23 +44253,6 @@ - - - - - - - - - - - - - - - - - @@ -44706,9 +44268,14 @@ - - - + + + + + + + + @@ -45111,7 +44678,7 @@ - + @@ -45131,9 +44698,9 @@ - + - + @@ -45167,7 +44734,7 @@ - +