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 29c7b622..deecc1a5 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 @@ -316,9 +316,11 @@ + + @@ -439,6 +441,9 @@ + + + @@ -4912,50 +4917,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -6243,6 +6204,9 @@ + + + @@ -6339,37 +6303,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -6381,112 +6315,136 @@ - - - - - - + + + + + - - - - + + + + + + + + + + + - - + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6500,15 +6458,15 @@ - - + + - - + + @@ -6537,6 +6495,9 @@ + + + @@ -6630,12 +6591,30 @@ - - + + + + + + + + + + + + + + + + + + + + @@ -6652,6 +6631,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -6758,6 +6761,9 @@ + + + @@ -6936,6 +6942,9 @@ + + + @@ -7046,6 +7055,12 @@ + + + + + + @@ -7131,6 +7146,12 @@ + + + + + + @@ -7153,6 +7174,9 @@ + + + @@ -7193,6 +7217,14 @@ + + + + + + + + @@ -7223,6 +7255,14 @@ + + + + + + + + @@ -7262,9 +7302,14 @@ - - - + + + + + + + + @@ -7353,7 +7398,7 @@ - + @@ -7389,7 +7434,7 @@ - + @@ -7428,8 +7473,13 @@ - - + + + + + + + @@ -7445,6 +7495,9 @@ + + + @@ -7468,7 +7521,7 @@ - + @@ -7584,7 +7637,7 @@ - + @@ -7615,7 +7668,7 @@ - + @@ -7664,6 +7717,9 @@ + + + @@ -7687,7 +7743,7 @@ - + @@ -7997,6 +8053,65 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9487,6 +9602,9 @@ + + + @@ -9495,6 +9613,12 @@ + + + + + + @@ -9505,6 +9629,12 @@ + + + + + + @@ -9528,6 +9658,9 @@ + + + @@ -9561,6 +9694,9 @@ + + + @@ -9589,6 +9725,12 @@ + + + + + + @@ -9596,6 +9738,129 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9696,10 +9961,32 @@ - + - - + + + + + + + + + + + + + + + + + + + + + + + + @@ -9922,8 +10209,13 @@ - - + + + + + + + @@ -10045,16 +10337,47 @@ + + + + + + + + + + + + + + + + + + + + + + - - - + + - + + + + + + + + + + + @@ -10066,12 +10389,28 @@ + + + + + + - - - - + + + + + + + + + + + + + + @@ -10084,6 +10423,12 @@ + + + + + + @@ -10096,10 +10441,20 @@ - - - - + + + + + + + + + + + + + + @@ -10108,6 +10463,68 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +