diff --git a/build.xml b/build.xml index 824be379..ad77cc2a 100644 --- a/build.xml +++ b/build.xml @@ -72,7 +72,6 @@ - @@ -150,11 +149,9 @@ - - @@ -165,16 +162,13 @@ - - - @@ -251,7 +245,6 @@ - @@ -384,23 +377,16 @@ - - - - - - - @@ -490,7 +476,6 @@ - @@ -558,7 +543,6 @@ - @@ -579,13 +563,11 @@ - - @@ -637,7 +619,6 @@ - @@ -1005,6 +986,7 @@ + @@ -1015,12 +997,16 @@ + + + + @@ -1042,6 +1028,7 @@ + @@ -1049,6 +1036,7 @@ + @@ -1094,6 +1082,8 @@ + + @@ -1819,7 +1809,6 @@ - @@ -1904,6 +1893,26 @@ + + + + + + jetbrains.mps.coderules + MPS Coderules Typechecking + Typechecking with Coderules (experimental) + ${ci.mps.release}-0.9-b${ci.build.num} + JetBrains s.r.o. + + + + + + + + + + @@ -1917,7 +1926,6 @@ - @@ -1938,13 +1946,11 @@ - - @@ -1996,7 +2002,6 @@ - @@ -2076,7 +2081,6 @@ - @@ -2117,9 +2121,9 @@ - - - + + + @@ -2171,7 +2175,7 @@ - + @@ -2677,7 +2681,6 @@ - @@ -2755,11 +2758,9 @@ - - @@ -2770,16 +2771,13 @@ - - - @@ -2910,23 +2908,16 @@ - - - - - - - @@ -3016,7 +3007,6 @@ - @@ -3100,6 +3090,7 @@ + @@ -3110,12 +3101,16 @@ + + + + @@ -3137,6 +3132,7 @@ + @@ -3144,6 +3140,7 @@ + @@ -3189,6 +3186,8 @@ + + @@ -3272,7 +3271,6 @@ - @@ -3396,7 +3394,7 @@ - + @@ -3546,29 +3544,33 @@ - - - - - - + + + + + + + + + + + + + + + + - - - - - - @@ -3642,8 +3644,8 @@ - + @@ -3685,13 +3687,12 @@ - - + @@ -3718,10 +3719,11 @@ - + + @@ -3744,12 +3746,13 @@ + - + @@ -3760,40 +3763,40 @@ + + + + + + + + - - - - - - - - - - - + + + + - + - @@ -3889,16 +3892,13 @@ - + - - - @@ -3907,7 +3907,9 @@ + + @@ -3926,8 +3928,6 @@ - - @@ -3958,24 +3958,22 @@ - + - - - - + + - + @@ -3990,7 +3988,9 @@ + + @@ -4009,12 +4009,11 @@ + - - @@ -4045,81 +4044,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -4134,7 +4059,9 @@ + + @@ -4154,12 +4081,11 @@ + - - @@ -4186,15 +4112,15 @@ + - - + @@ -4230,13 +4156,15 @@ + + + + - - @@ -4263,8 +4191,10 @@ + + @@ -4309,14 +4239,14 @@ + + - - @@ -4343,14 +4273,16 @@ + + - + @@ -4391,7 +4323,10 @@ + + + @@ -4416,7 +4351,6 @@ - @@ -4481,7 +4415,7 @@ - + @@ -4511,6 +4445,7 @@ + @@ -4520,7 +4455,6 @@ - @@ -4533,13 +4467,10 @@ - - - @@ -4547,8 +4478,6 @@ - - @@ -4591,6 +4520,8 @@ + + @@ -4717,7 +4648,9 @@ + + @@ -4801,6 +4734,8 @@ + + @@ -4901,7 +4836,9 @@ + + @@ -4970,7 +4907,9 @@ + + @@ -5018,6 +4957,7 @@ + @@ -5136,7 +5076,7 @@ - + @@ -5187,27 +5127,23 @@ - - - + - - - + @@ -5222,7 +5158,9 @@ + + @@ -5266,7 +5204,6 @@ - @@ -5349,7 +5286,6 @@ - @@ -5797,26 +5733,29 @@ - - - + + - - + + + + + + - + \ No newline at end of file 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 0735b671..9c5077f5 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 @@ -533,11 +533,6 @@ - - - - - @@ -666,11 +661,6 @@ - - - - - @@ -857,53 +847,53 @@ - - - - - - - - - - + - - + + - + + + + + + + - - + + - + - - + + - - + + - - - - - - - + - - + + - + + + + + + + - - + + + + + @@ -1169,6 +1159,16 @@ + + + + + + + + + + @@ -1246,6 +1246,21 @@ + + + + + + + + + + + + + + + @@ -1559,11 +1574,6 @@ - - - - - @@ -1607,9 +1617,9 @@ - - - + + + @@ -2543,21 +2553,11 @@ - - - - - - - - - - @@ -2573,11 +2573,6 @@ - - - - - @@ -2693,11 +2688,6 @@ - - - - - @@ -2722,31 +2712,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2777,11 +2742,6 @@ - - - - - @@ -2852,11 +2812,6 @@ - - - - - diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 1969c55c..36bd809f 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -80,9 +80,11 @@ + + @@ -240,9 +242,11 @@ + + @@ -398,9 +402,11 @@ + + @@ -556,9 +562,11 @@ + + @@ -871,9 +879,11 @@ + + @@ -937,7 +947,9 @@ + + @@ -982,6 +994,7 @@ + @@ -1015,7 +1028,9 @@ + + @@ -1061,7 +1076,9 @@ + + @@ -1140,7 +1157,9 @@ + + @@ -1187,7 +1206,9 @@ + + @@ -1267,7 +1288,9 @@ + + @@ -1315,7 +1338,9 @@ + + @@ -1394,7 +1419,9 @@ + + @@ -1444,7 +1471,9 @@ + + @@ -1613,9 +1642,11 @@ + + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 44557edc..6b3d1bfa 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -84,9 +84,11 @@ + + @@ -361,9 +363,11 @@ + + @@ -414,7 +418,9 @@ + + @@ -476,7 +482,9 @@ + + @@ -650,9 +658,11 @@ + + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 1925d390..9193019c 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -77,9 +77,11 @@ + + @@ -241,9 +243,11 @@ + + @@ -340,9 +344,11 @@ + + @@ -587,9 +593,11 @@ + + @@ -742,9 +750,11 @@ + + @@ -897,9 +907,11 @@ + + @@ -1051,9 +1063,11 @@ + + @@ -1207,9 +1221,11 @@ + + @@ -1635,9 +1651,11 @@ + + @@ -1862,9 +1880,11 @@ + + @@ -2023,9 +2043,11 @@ + + @@ -2180,9 +2202,11 @@ + + @@ -2338,9 +2362,11 @@ + + @@ -2494,9 +2520,11 @@ + + @@ -2717,9 +2745,11 @@ + + @@ -2878,9 +2908,11 @@ + + @@ -3033,9 +3065,11 @@ + + @@ -3171,6 +3205,27 @@ + + + + + + jetbrains.mps.core.types + MPS Core Types + Types for core MPS languages (experimental) + ${ci.mps.release}-0.9-b${ci.build.num} + JetBrains s.r.o. + jetbrains.mps.coderules + + + + + + + + + + @@ -3205,9 +3260,11 @@ + + @@ -3369,9 +3426,11 @@ + + @@ -3468,9 +3527,11 @@ + + @@ -3715,9 +3776,11 @@ + + @@ -3870,9 +3933,11 @@ + + @@ -4025,9 +4090,11 @@ + + @@ -4179,9 +4246,11 @@ + + @@ -4335,9 +4404,11 @@ + + @@ -4501,9 +4572,11 @@ + + @@ -4662,9 +4735,11 @@ + + @@ -4823,9 +4898,11 @@ + + @@ -4980,9 +5057,11 @@ + + @@ -5138,9 +5217,11 @@ + + @@ -5294,9 +5375,11 @@ + + @@ -5450,9 +5533,11 @@ + + @@ -5611,9 +5696,11 @@ + + @@ -5766,9 +5853,11 @@ + + @@ -6163,6 +6252,7 @@ + @@ -6189,7 +6279,9 @@ + + @@ -6209,8 +6301,6 @@ - - @@ -6375,7 +6465,9 @@ + + @@ -6395,8 +6487,6 @@ - - @@ -6453,7 +6543,9 @@ + + @@ -6473,8 +6565,6 @@ - - @@ -6520,7 +6610,9 @@ + + @@ -6540,8 +6632,6 @@ - - @@ -6651,7 +6741,9 @@ + + @@ -6671,8 +6763,6 @@ - - @@ -6785,7 +6875,9 @@ + + @@ -6805,8 +6897,6 @@ - - @@ -6842,7 +6932,9 @@ + + @@ -6862,8 +6954,6 @@ - - @@ -6909,7 +6999,9 @@ + + @@ -6929,8 +7021,6 @@ - - @@ -6942,8 +7032,6 @@ - - @@ -7036,7 +7124,9 @@ + + @@ -7056,8 +7146,6 @@ - - @@ -7093,7 +7181,9 @@ + + @@ -7113,8 +7203,6 @@ - - @@ -7161,7 +7249,9 @@ + + @@ -7181,8 +7271,6 @@ - - @@ -7219,7 +7307,9 @@ + + @@ -7239,8 +7329,6 @@ - - @@ -7255,7 +7343,6 @@ - @@ -7345,7 +7432,9 @@ + + @@ -7365,8 +7454,6 @@ - - @@ -7412,7 +7499,9 @@ + + @@ -7432,8 +7521,6 @@ - - @@ -7469,7 +7556,9 @@ + + @@ -7489,8 +7578,6 @@ - - @@ -7530,7 +7617,9 @@ + + @@ -7550,8 +7639,6 @@ - - @@ -7588,7 +7675,9 @@ + + @@ -7665,7 +7754,9 @@ + + @@ -7685,8 +7776,6 @@ - - @@ -7726,7 +7815,9 @@ + + @@ -7746,8 +7837,6 @@ - - @@ -7964,7 +8053,9 @@ + + @@ -8047,7 +8138,9 @@ + + @@ -8128,7 +8221,9 @@ + + @@ -8208,7 +8303,9 @@ + + @@ -8228,8 +8325,6 @@ - - @@ -8400,7 +8495,9 @@ + + @@ -8420,8 +8517,6 @@ - - @@ -8529,7 +8624,9 @@ + + @@ -8549,8 +8646,6 @@ - - @@ -9047,7 +9142,9 @@ + + @@ -9067,8 +9164,6 @@ - - @@ -9291,7 +9386,9 @@ + + @@ -9311,8 +9408,6 @@ - -