diff --git a/build.xml b/build.xml index 31b97e98..a1995fbd 100644 --- a/build.xml +++ b/build.xml @@ -55,40 +55,20 @@ jetbrains.mps.core jetbrains.mps.testing jetbrains.mps.build + jetbrains.mps.ide.java com.intellij.modules.platform
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • Bugfixes and optimizations
  • ]]>
    + + + + - - - - - - jetbrains.mps.coderules - MPS Coderules Typechecking - Typechecking with Coderules (experimental) - ${ci.mps.release}-0.9.4-b${ci.build.num} - JetBrains s.r.o. - jetbrains.mps.core - jetbrains.mps.testing - jetbrains.mps.build - com.intellij.modules.platform - -
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • Bugfixes and optimizations
  • ]]>
    - - - - -
    -
    - - - @@ -262,7 +242,6 @@ - @@ -284,7 +263,6 @@ - @@ -345,7 +323,69 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -539,7 +579,6 @@ - @@ -603,7 +642,6 @@ - @@ -667,7 +705,324 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -841,7 +1196,6 @@ - @@ -892,7 +1246,19 @@ - + + + + + + + + + + + + + @@ -1041,76 +1407,18 @@ - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1118,180 +1426,28 @@ - - - - - - - - - - - - - + - - - - - + + + - - + + - - + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1314,22 +1470,28 @@ + + - + + + + + @@ -1351,7 +1513,6 @@ - @@ -1368,16 +1529,215 @@ - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - @@ -1386,125 +1746,77 @@ - + + + + + - - - - + + + + - - - + + - + - + + + + + - - + + - - - + + + + + + - + - - - - - + + + + + - - + + - - + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1602,516 +1914,65 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + jetbrains.mps.coderules + MPS Coderules Typechecking + Typechecking with Coderules (experimental) + ${ci.mps.release}-0.9.4-b${ci.build.num} + JetBrains s.r.o. + jetbrains.mps.core + jetbrains.mps.testing + jetbrains.mps.build + jetbrains.mps.ide.java + com.intellij.modules.platform + +
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • Bugfixes and optimizations
  • ]]>
    + + + + + + + + +
    - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + jetbrains.mps.coderules + MPS Coderules Typechecking + Typechecking with Coderules (experimental) + ${ci.mps.release}-0.9.4-b${ci.build.num} + JetBrains s.r.o. + jetbrains.mps.core + jetbrains.mps.testing + jetbrains.mps.build + jetbrains.mps.ide.java + com.intellij.modules.platform + +
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • Bugfixes and optimizations
  • ]]>
    + + + + + + + + +
    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -2156,7 +2017,7 @@
    - + @@ -2165,7 +2026,7 @@ - + @@ -2219,7 +2080,7 @@
    - + @@ -2228,7 +2089,7 @@ - + @@ -2238,47 +2099,86 @@ - - - - + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - + + + + + - - + + - - + + - - + + @@ -2303,6 +2203,7 @@ + @@ -2321,16 +2222,16 @@ - - - + + + - + @@ -2339,7 +2240,7 @@ - + @@ -2349,6 +2250,48 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2399,7 +2342,7 @@ - + @@ -2408,7 +2351,7 @@ - + @@ -2418,315 +2361,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2758,7 +2392,7 @@ - + @@ -2767,7 +2401,7 @@ - + @@ -2777,19 +2411,6 @@ - - - - - - - - - - - - - @@ -2856,7 +2477,7 @@ - + @@ -2910,7 +2531,7 @@
    - + @@ -2921,7 +2542,7 @@ - + @@ -2938,6 +2559,47 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2960,1193 +2622,28 @@ + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - jetbrains.mps.coderules - MPS Coderules Typechecking - Typechecking with Coderules (experimental) - ${ci.mps.release}-0.9.4-b${ci.build.num} - JetBrains s.r.o. - jetbrains.mps.core - jetbrains.mps.testing - jetbrains.mps.build - com.intellij.modules.platform - -
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • Bugfixes and optimizations
  • ]]>
    - - - - -
    -
    - - - - - - jetbrains.mps.coderules - MPS Coderules Typechecking - Typechecking with Coderules (experimental) - ${ci.mps.release}-0.9.4-b${ci.build.num} - JetBrains s.r.o. - jetbrains.mps.core - jetbrains.mps.testing - jetbrains.mps.build - com.intellij.modules.platform - -
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • Bugfixes and optimizations
  • ]]>
    - - - - -
    -
    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -4168,11 +2665,10 @@ - - + - + @@ -4183,89 +2679,11 @@
    - +
    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -4362,11 +2780,11 @@ - +
    - - - + + + @@ -4410,12 +2828,12 @@ - + - + - + @@ -4432,12 +2850,12 @@
    - - + + - - - + + + @@ -4486,9 +2904,9 @@ - + - + @@ -4499,11 +2917,11 @@ - + - - - + + + @@ -4614,11 +3032,11 @@ - + - - - + + + @@ -4670,12 +3088,12 @@ - + - + - + @@ -4692,12 +3110,12 @@ - - + + - - - + + + @@ -4706,11 +3124,11 @@ - + - - - + + + @@ -4800,11 +3218,11 @@ - + - - - + + + @@ -4859,12 +3277,12 @@ - + - + - + @@ -4881,12 +3299,12 @@ - - + + - - - + + + @@ -4959,9 +3377,9 @@ - + - + @@ -4972,11 +3390,11 @@ - + - - - + + + @@ -5001,9 +3419,9 @@ - + - + @@ -5014,7 +3432,38 @@ - + + + + + + + + jetbrains.mps.coderules + MPS Coderules Typechecking + Typechecking with Coderules (experimental) + ${ci.mps.release}-0.9.4-b${ci.build.num} + JetBrains s.r.o. + jetbrains.mps.core + jetbrains.mps.testing + jetbrains.mps.build + jetbrains.mps.ide.java + com.intellij.modules.platform + +
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • Bugfixes and optimizations
  • ]]>
    + + + + + + + + +
    +
    + + + @@ -5037,7 +3486,7 @@ - + @@ -5158,6 +3607,7 @@ + @@ -5182,10 +3632,12 @@ + + @@ -5215,7 +3667,6 @@ - @@ -5238,6 +3689,44 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5599,7 +4088,7 @@ - + @@ -5669,6 +4158,7 @@ + @@ -5680,7 +4170,7 @@ - + @@ -5718,6 +4208,7 @@ + @@ -5750,7 +4241,7 @@ - + @@ -5790,6 +4281,7 @@ + @@ -5825,7 +4317,7 @@ - + @@ -5835,6 +4327,7 @@ + @@ -5906,7 +4399,7 @@ - + @@ -5916,6 +4409,7 @@ + @@ -5986,7 +4480,7 @@ - + @@ -5996,6 +4490,7 @@ + @@ -6021,6 +4516,7 @@ + @@ -6058,65 +4554,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -6183,7 +4620,7 @@ - + @@ -6193,6 +4630,7 @@ + @@ -6261,7 +4699,7 @@ - + @@ -6271,6 +4709,7 @@ + @@ -6333,7 +4772,7 @@ - + @@ -6343,6 +4782,7 @@ + @@ -6393,7 +4833,7 @@ - + @@ -6404,6 +4844,7 @@ + @@ -6661,7 +5102,7 @@ - + @@ -6671,6 +5112,7 @@ + @@ -6719,7 +5161,7 @@ - + @@ -6729,6 +5171,7 @@ + @@ -7021,7 +5464,7 @@ - + @@ -7050,6 +5493,7 @@ + @@ -7076,7 +5520,7 @@ - + @@ -7086,6 +5530,7 @@ + @@ -7132,7 +5577,7 @@ - + @@ -7143,6 +5588,7 @@ + @@ -7306,6 +5752,7 @@ + @@ -7329,6 +5776,7 @@ + @@ -7340,8 +5788,10 @@ + + @@ -7355,21 +5805,23 @@ + + - + - - - - - + + + + + @@ -7401,6 +5853,9 @@ + + + @@ -7459,6 +5914,7 @@ + @@ -7473,7 +5929,6 @@ - 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 e34c5e39..c2d33890 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 @@ -175,7 +175,6 @@ - @@ -280,7 +279,7 @@ - + @@ -3663,6 +3662,79 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3704,7 +3776,7 @@ - + @@ -3722,6 +3794,9 @@ + + + @@ -3730,120 +3805,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index aeb6dc2c..93ddcaf6 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -793,8 +793,10 @@ + + @@ -828,8 +830,11 @@ + + + @@ -891,6 +896,7 @@ + @@ -913,6 +919,8 @@ + + @@ -958,6 +966,7 @@ + @@ -1038,6 +1047,7 @@ + @@ -1086,6 +1096,7 @@ + @@ -1166,6 +1177,7 @@ + @@ -1215,6 +1227,7 @@ + @@ -1296,6 +1309,7 @@ + @@ -1346,6 +1360,7 @@ + @@ -1426,6 +1441,7 @@ + @@ -1478,6 +1494,7 @@ + @@ -1544,9 +1561,11 @@ + + @@ -1588,8 +1607,11 @@ + + + @@ -1649,6 +1671,7 @@ + @@ -1671,6 +1694,8 @@ + + @@ -1686,8 +1711,10 @@ + + @@ -1722,6 +1749,9 @@ + + + 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 69e9a751..93c5c917 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 @@ -741,7 +741,7 @@ - + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 96b199b2..4c4001a7 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -256,13 +256,15 @@ + + - - - - + + + + @@ -295,8 +297,11 @@ + + + @@ -357,6 +362,7 @@ + @@ -379,6 +385,8 @@ + + @@ -411,6 +419,7 @@ + @@ -475,6 +484,7 @@ + @@ -518,7 +528,7 @@ - + @@ -540,14 +550,14 @@ - - - - + + + + @@ -558,7 +568,9 @@ + + @@ -590,8 +602,11 @@ + + + @@ -651,6 +666,7 @@ + @@ -673,6 +689,8 @@ + + @@ -682,8 +700,10 @@ + + @@ -718,6 +738,9 @@ + + + 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 20582b20..8aab9c47 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 @@ -392,7 +392,7 @@ - + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 43a581de..6beb9154 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -6600,8 +6600,10 @@ + + @@ -6635,8 +6637,11 @@ + + + @@ -6698,6 +6703,7 @@ + @@ -6720,6 +6726,8 @@ + + @@ -6810,6 +6818,7 @@ + @@ -6853,6 +6862,7 @@ + @@ -6944,6 +6954,7 @@ + @@ -7039,6 +7050,7 @@ + @@ -7117,6 +7129,7 @@ + @@ -7184,6 +7197,7 @@ + @@ -7270,6 +7284,7 @@ + @@ -7313,6 +7328,7 @@ + @@ -7405,6 +7421,7 @@ + @@ -7447,6 +7464,7 @@ + @@ -7504,6 +7522,7 @@ + @@ -7571,6 +7590,7 @@ + @@ -7655,6 +7675,7 @@ + @@ -7696,6 +7717,7 @@ + @@ -7753,6 +7775,7 @@ + @@ -7821,6 +7844,7 @@ + @@ -7879,6 +7903,7 @@ + @@ -8004,6 +8029,7 @@ + @@ -8071,6 +8097,7 @@ + @@ -8128,6 +8155,7 @@ + @@ -8189,6 +8217,7 @@ + @@ -8247,6 +8276,7 @@ + @@ -8327,6 +8357,7 @@ + @@ -8388,6 +8419,7 @@ + @@ -8445,6 +8477,7 @@ + @@ -8533,6 +8566,7 @@ + @@ -8742,6 +8776,7 @@ + @@ -8827,6 +8862,7 @@ + @@ -8910,6 +8946,7 @@ + @@ -8992,6 +9029,7 @@ + @@ -9087,6 +9125,7 @@ + @@ -9144,6 +9183,7 @@ + @@ -9190,6 +9230,7 @@ + @@ -9289,6 +9330,7 @@ + @@ -9318,6 +9360,7 @@ + @@ -9406,6 +9449,7 @@ + @@ -9463,6 +9507,7 @@ + @@ -9528,6 +9573,7 @@ + @@ -9589,6 +9635,7 @@ + @@ -9665,6 +9712,7 @@ + @@ -9730,6 +9778,7 @@ + @@ -9790,6 +9839,7 @@ + @@ -9837,6 +9887,7 @@ + @@ -9977,6 +10028,7 @@ + @@ -10081,6 +10133,7 @@ + @@ -10211,10 +10264,12 @@ + + @@ -10257,8 +10312,11 @@ + + + @@ -10319,6 +10377,7 @@ + @@ -10341,6 +10400,8 @@ + + @@ -10349,8 +10410,10 @@ + + @@ -10409,6 +10472,9 @@ + + + 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 b86cf79f..356ba867 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 @@ -3301,7 +3301,7 @@ - +