From 296b3e92715cea9cb16b190fa2b367096f1335d7 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 13 Apr 2020 12:59:09 +0200 Subject: [PATCH] Re-apply all rerunnable migrations. --- build.xml | 24 ++ .../languageModels/editor.mps | 9 + .../languageModels/structure.mps | 1 + .../models/structure.mps | 1 + .../models/structure.mps | 1 + .../generator/template/main@generator.mps | 8 +- .../languageModels/structure.mps | 1 + .../models/jetbrains.mps.coderules.build.mps | 236 +++++++++++++++++- samples/fitch/build.xml | 5 + .../models/samples.fitch.build.mps | 86 +++++++ samples/lambdacalc/build.xml | 2 + .../models/samples.lamdacalc.build.mps | 41 +++ samples/mpscore/build.xml | 3 + .../models/samples.mpscore.build.mps | 45 ++++ ...ecking.samples.baseLanguage.hugeSample.mps | 13 - 15 files changed, 458 insertions(+), 18 deletions(-) diff --git a/build.xml b/build.xml index 5f517b1a..7e687efb 100644 --- a/build.xml +++ b/build.xml @@ -56,6 +56,7 @@ + @@ -753,6 +754,7 @@ + @@ -819,6 +821,7 @@ + @@ -887,6 +890,7 @@ + @@ -974,6 +978,7 @@ + @@ -1089,6 +1094,7 @@ + @@ -1336,6 +1342,7 @@ + @@ -1422,6 +1429,7 @@ + @@ -1505,6 +1513,7 @@ + @@ -1644,6 +1653,7 @@ + @@ -1706,6 +1716,7 @@ + @@ -1789,6 +1800,7 @@ + @@ -1900,6 +1912,7 @@ + @@ -2055,6 +2068,7 @@ + @@ -2688,6 +2702,7 @@ + @@ -2754,6 +2769,7 @@ + @@ -2841,6 +2857,7 @@ + @@ -2956,6 +2973,7 @@ + @@ -3190,6 +3208,7 @@ + @@ -3305,6 +3324,7 @@ + @@ -3444,6 +3464,7 @@ + @@ -3506,6 +3527,7 @@ + @@ -3589,6 +3611,7 @@ + @@ -3700,6 +3723,7 @@ + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps index c0369ad1..8ff4d423 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps @@ -8169,5 +8169,14 @@ + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps index 863ec2c8..d2580963 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps @@ -3,6 +3,7 @@ + diff --git a/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps b/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps index 9204b975..5949e0be 100644 --- a/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps +++ b/coderules/languages/jetbrains.mps.lang.controlflow/models/structure.mps @@ -3,6 +3,7 @@ + diff --git a/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps b/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps index 8d0f5b21..088bab81 100644 --- a/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps +++ b/coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps @@ -3,6 +3,7 @@ + diff --git a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps index 6acfb4f0..519ba685 100644 --- a/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -331,8 +331,8 @@ - - + + @@ -3117,8 +3117,8 @@ - - + + diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps index 8c918867..fdde05d3 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps @@ -3,6 +3,7 @@ + diff --git a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps index 2623481d..8d78dd75 100644 --- a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps +++ b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps @@ -293,6 +293,24 @@ + + + + + + + + + + + + + + + + + + @@ -862,6 +880,24 @@ + + + + + + + + + + + + + + + + + + @@ -1007,6 +1043,24 @@ + + + + + + + + + + + + + + + + + + @@ -1449,6 +1503,24 @@ + + + + + + + + + + + + + + + + + + @@ -1493,6 +1565,24 @@ + + + + + + + + + + + + + + + + + + @@ -1604,6 +1694,24 @@ + + + + + + + + + + + + + + + + + + @@ -1672,6 +1780,24 @@ + + + + + + + + + + + + + + + + + + @@ -1788,6 +1914,24 @@ + + + + + + + + + + + + + + + + + + @@ -1848,6 +1992,24 @@ + + + + + + + + + + + + + + + + + + @@ -1943,6 +2105,24 @@ + + + + + + + + + + + + + + + + + + @@ -2533,6 +2713,24 @@ + + + + + + + + + + + + + + + + + + @@ -2622,6 +2820,24 @@ + + + + + + + + + + + + + + + + + + @@ -2706,6 +2922,24 @@ + + + + + + + + + + + + + + + + + + @@ -3105,7 +3339,7 @@ - + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index f512b89f..8155465c 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -126,6 +126,7 @@ + @@ -278,6 +279,7 @@ + @@ -433,6 +435,7 @@ + @@ -587,6 +590,7 @@ + @@ -699,6 +703,7 @@ + diff --git a/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps b/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps index a95a1de0..1c38c0e9 100644 --- a/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps +++ b/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps @@ -67,10 +67,17 @@ + + + + + + + @@ -89,11 +96,15 @@ + + + + @@ -163,6 +174,21 @@ + + + + + + + + + + + + + + + @@ -208,6 +234,21 @@ + + + + + + + + + + + + + + + @@ -258,6 +299,21 @@ + + + + + + + + + + + + + + + @@ -303,6 +359,21 @@ + + + + + + + + + + + + + + + @@ -345,6 +416,21 @@ + + + + + + + + + + + + + + + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 3d62a3d1..e5e56f28 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -126,6 +126,7 @@ + @@ -180,6 +181,7 @@ + diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps index 0c11807f..6f15f735 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps +++ b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps @@ -67,10 +67,17 @@ + + + + + + + @@ -92,11 +99,15 @@ + + + + @@ -171,6 +182,21 @@ + + + + + + + + + + + + + + + @@ -198,6 +224,21 @@ + + + + + + + + + + + + + + + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 963945f0..7ed9bebc 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -129,6 +129,7 @@ + @@ -473,6 +474,7 @@ + @@ -593,6 +595,7 @@ + diff --git a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps index e30ae72c..088087a4 100644 --- a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps +++ b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps @@ -311,6 +311,21 @@ + + + + + + + + + + + + + + + @@ -513,6 +528,21 @@ + + + + + + + + + + + + + + + @@ -760,6 +790,21 @@ + + + + + + + + + + + + + + + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.hugeSample.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.hugeSample.mps index d1db7b66..20b81142 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.hugeSample.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.hugeSample.mps @@ -8,9 +8,6 @@ - - - @@ -41083,7 +41080,6 @@ - @@ -41107,7 +41103,6 @@ - @@ -41131,7 +41126,6 @@ - @@ -41155,7 +41149,6 @@ - @@ -41179,7 +41172,6 @@ - @@ -41203,7 +41195,6 @@ - @@ -41227,7 +41218,6 @@ - @@ -41251,7 +41241,6 @@ - @@ -41275,7 +41264,6 @@ - @@ -41299,7 +41287,6 @@ -