diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps index 592f338b..7e70da19 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps @@ -45,11 +45,6 @@ - - - - - @@ -4181,16 +4176,6 @@ - - - - - - - - - - @@ -5842,16 +5827,6 @@ - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps index 56f824d5..6719b043 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.mps @@ -1245,11 +1245,6 @@ - - - - - @@ -1393,6 +1388,11 @@ + + + + + @@ -1403,10 +1403,6 @@ - - - - @@ -1486,6 +1482,10 @@ + + + + @@ -2369,7 +2369,6 @@ - @@ -2472,6 +2471,7 @@ + @@ -2491,7 +2491,6 @@ - @@ -2728,20 +2727,21 @@ - - - + + + + @@ -3055,10 +3055,10 @@ - + @@ -3450,12 +3450,6 @@ - - - - - - @@ -3604,21 +3598,6 @@ - - - - - - - - - - - - - - - @@ -3648,6 +3627,21 @@ + + + + + + + + + + + + + + + @@ -3738,6 +3732,12 @@ + + + + + + @@ -3849,21 +3849,21 @@ - - - + + + - - - + + + @@ -3871,23 +3871,23 @@ + + + - - - + + + - - - @@ -3903,8 +3903,8 @@ - + @@ -5581,16 +5581,6 @@ - - - - - - - - - - @@ -5680,12 +5670,12 @@ - + - + @@ -5693,7 +5683,7 @@ - + @@ -5903,110 +5893,98 @@ - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - + + - - - + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + @@ -7261,10 +7239,18 @@ - - - - + + + + + + + + + + + + @@ -7380,9 +7366,6 @@ - - - @@ -7418,6 +7401,9 @@ + + + @@ -7879,10 +7865,18 @@ - - - - + + + + + + + + + + + + @@ -10677,16 +10671,6 @@ - - - - - - - - - - @@ -11529,10 +11513,18 @@ - - - - + + + + + + + + + + + + @@ -11589,10 +11581,18 @@ - - - - + + + + + + + + + + + + @@ -11611,8 +11611,15 @@ - - + + + + + + + + + @@ -11671,6 +11678,144 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11682,14 +11827,20 @@ - - - + + + + + + + + + + - @@ -11697,8 +11848,15 @@ - - + + + + + + + + + @@ -11730,8 +11888,15 @@ - - + + + + + + + + + @@ -11797,6 +11962,7 @@ + @@ -11805,7 +11971,6 @@ - @@ -11912,6 +12077,7 @@ + @@ -11959,7 +12125,6 @@ - @@ -12195,6 +12360,7 @@ + @@ -12261,8 +12427,15 @@ - - + + + + + + + + + @@ -12285,8 +12458,15 @@ - - + + + + + + + + + @@ -13035,8 +13215,15 @@ - - + + + + + + + + + @@ -13044,8 +13231,15 @@ - - + + + + + + + + + @@ -13120,9 +13314,6 @@ - - - diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps index 0f0b275a..7afb7a09 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps @@ -5916,16 +5916,6 @@ - - - - - - - - - - @@ -5945,16 +5935,6 @@ - - - - - - - - - - @@ -5964,16 +5944,6 @@ - - - - - - - - - - @@ -6000,16 +5970,6 @@ - - - - - - - - - - @@ -13034,16 +12994,6 @@ - - - - - - - - - - @@ -13170,48 +13120,17 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + @@ -13219,78 +13138,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -13449,16 +13296,6 @@ - - - - - - - - - - @@ -17777,16 +17614,6 @@ - - - - - - - - - - @@ -17843,16 +17670,6 @@ - - - - - - - - - -