diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index ab0808e9..ff5fb938 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -244,6 +244,9 @@ + + + @@ -1349,7 +1352,7 @@ - + @@ -1358,7 +1361,7 @@ - + @@ -16163,13 +16166,13 @@ - + - + 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 a30f4a74..b5741d5c 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 @@ -431,6 +431,9 @@ + + + @@ -13099,13 +13102,13 @@ - + - + @@ -13291,13 +13294,13 @@ - + - + @@ -15322,235 +15325,235 @@ - + - - - + + + - + - - - + + + - + - - - - - + + + + + - - + + - - - - - + + + + + - - - + + + - - - - - - - + + + + + + + - + - + - + - - + + - + - - - - + + + + - - - + + + - + - - - - + + + + - - - + + + - - + + - + - - - + + + - + - - - - + + + + - + - - + + - - + + - - - - - - - - - - + + + + + + + + + + - + - + - + - - + + - - - + + + - + - - - + + + - + - + - + - - - + + + - - + + - + - - - - - - + + + + + + - + - - + + - - - + + + - - - - - - - + + + + + + + - + - + - + @@ -15559,31 +15562,31 @@ - - - - - - + + + + + + - + - - - - + + + + - - + + - + - - - - - + + + + + @@ -15591,91 +15594,91 @@ - + - - + + - - - - + + + + - + - - + + - - - + + + - - + + - - - - - + + + + + - - + + - - + + - - - - + + + + - + - + - - - - + + + + - - - - - - + + + + + + - - + + - - + + - - + + - - + + @@ -15683,19 +15686,19 @@ - - - - - - + + + + + + - - - - + + + + @@ -15704,22 +15707,22 @@ - - - + + + - + - + - + - + @@ -17594,13 +17597,13 @@ - + - + @@ -17643,13 +17646,13 @@ - + - + @@ -17872,13 +17875,13 @@ - + - + @@ -17921,13 +17924,13 @@ - + - + @@ -24150,13 +24153,13 @@ - + - + @@ -36297,13 +36300,13 @@ - + - + @@ -36325,13 +36328,13 @@ - + - + @@ -36494,7 +36497,7 @@ - + @@ -36505,7 +36508,7 @@ - + @@ -36527,13 +36530,13 @@ - + - + @@ -37365,13 +37368,13 @@ - + - + @@ -37391,13 +37394,13 @@ - + - + @@ -37470,13 +37473,13 @@ - + - + @@ -37699,13 +37702,13 @@ - + - + @@ -37718,13 +37721,13 @@ - + - + @@ -37788,13 +37791,13 @@ - + - + @@ -37869,13 +37872,13 @@ - + - + @@ -37897,13 +37900,13 @@ - + - +