From 9a782fc6193a73cbd7c5c36d3e1007385b2e73d4 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Wed, 11 Sep 2019 12:08:22 +0300 Subject: [PATCH] Run 'list literal -> cons list constructor' migration on samples --- .../samples.lambdacalc/models/types.mps | 11 +- .../jetbrains.mps.baseLanguageExt.types.mps | 489 +++++++++--------- 2 files changed, 253 insertions(+), 247 deletions(-) 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 @@ - + - +