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 01249f6c..071ecb7f 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 @@ -63,6 +63,9 @@ + + + @@ -119,6 +122,7 @@ + @@ -233,6 +237,7 @@ + @@ -6896,6 +6901,33 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7058,6 +7090,98 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps index 7dc5c8a0..910fabb6 100644 --- a/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps +++ b/coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps @@ -2785,6 +2785,21 @@ + + + + + + + + + + + + + + + @@ -2859,18 +2874,51 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + - + + + + @@ -2897,6 +2945,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4479,6 +4552,14 @@ + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index 7d792102..9807443b 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -6943,8 +6943,8 @@ - + @@ -13174,6 +13174,9 @@ + + + @@ -13185,9 +13188,6 @@ - - - @@ -13197,8 +13197,8 @@ - + @@ -14561,6 +14561,9 @@ + + + @@ -14581,9 +14584,6 @@ - - - @@ -22542,11 +22542,11 @@ + - @@ -22977,6 +22977,12 @@ + + + + + + @@ -22993,12 +22999,6 @@ - - - - - - @@ -24076,9 +24076,6 @@ - - - @@ -24117,6 +24114,9 @@ + + + @@ -31687,159 +31687,143 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - + + - - - - - - - - - - - - - + + + + + + + + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + - - - - + + + + + + + + + + + + + + + + + @@ -31848,31 +31832,34 @@ - - - - - - - - + + + + + + - - + + + + + + + + + + + + - - - + + + - - - - - - - + + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps index 59596242..58ab1ba5 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps @@ -8906,11 +8906,13 @@ - - - - - + + + + + + + @@ -8932,10 +8934,11 @@ - + +