From 39fa007310d84d91be3c35b303efa26100e3ed33 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Tue, 10 Sep 2019 20:32:11 +0300 Subject: [PATCH] Run Splice migration on samples --- .../models/types.mps | 127 ++--- .../samples.lambdacalc/models/types.mps | 63 +-- .../jetbrains.mps.baseLanguageExt.types.mps | 508 ++++++------------ 3 files changed, 218 insertions(+), 480 deletions(-) diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps index 8c56b742..bf099ed1 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps @@ -73,9 +73,6 @@ - - - @@ -122,7 +119,9 @@ - + + + @@ -1263,22 +1262,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -1486,22 +1477,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -1663,13 +1646,9 @@ - - - - - - - + + + @@ -1819,13 +1798,9 @@ - - - - - - - + + + @@ -1986,13 +1961,9 @@ - - - - - - - + + + @@ -2137,13 +2108,9 @@ - - - - - - - + + + @@ -2383,22 +2350,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -2710,22 +2669,14 @@ - - - - - - - + + + - - - - - - - + + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index f7da84ff..ab0808e9 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -196,9 +196,6 @@ - - - @@ -244,7 +241,9 @@ - + + + @@ -1351,31 +1350,23 @@ - - - - - - - - - + + + + + - - - - - - - - - - - - - + + + + + + + + + @@ -16173,22 +16164,14 @@ - - - - - - - + + + - - - - - - - + + + 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 4b1815fd..a30f4a74 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 @@ -428,6 +428,9 @@ + + + @@ -2985,13 +2988,9 @@ - - - - - - - + + + @@ -3027,13 +3026,9 @@ - - - - - - - + + + @@ -3595,10 +3590,10 @@ - - - - + + + + @@ -3641,11 +3636,14 @@ - - - - + + + + + + + @@ -13102,22 +13100,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -13302,22 +13292,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -15674,13 +15656,9 @@ - - - - - - - + + + @@ -16426,13 +16404,9 @@ - - - - - - - + + + @@ -17621,22 +17595,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -17678,22 +17644,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -17915,22 +17873,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -17972,22 +17922,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -20275,36 +20217,14 @@ - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - + + + @@ -24204,13 +24124,9 @@ - - - - - - - + + + @@ -24235,22 +24151,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -32090,7 +31998,7 @@ - + @@ -36390,22 +36298,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -36426,22 +36326,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -36603,31 +36495,19 @@ - - - - - - - + + + - - - - - - - + + + - - - - - - - + + + @@ -36648,22 +36528,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -36718,13 +36590,9 @@ - - - - - - - + + + @@ -37498,22 +37366,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -37532,22 +37392,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -37619,22 +37471,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -37856,22 +37700,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -37883,22 +37719,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -37961,22 +37789,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -38050,22 +37870,14 @@ - - - - - - - + + + - - - - - - - + + + @@ -38086,22 +37898,14 @@ - - - - - - - + + + - - - - - - - + + +