diff --git a/build.xml b/build.xml index 4e84e0e8..b8a520ef 100644 --- a/build.xml +++ b/build.xml @@ -485,6 +485,7 @@ + @@ -895,7 +896,16 @@ - + + + + + + + + + + @@ -926,10 +936,16 @@ + + + + + + @@ -1091,6 +1107,7 @@ + @@ -1724,6 +1741,7 @@ + @@ -2207,7 +2225,16 @@ - + + + + + + + + + + @@ -2238,10 +2265,16 @@ + + + + + + @@ -2508,8 +2541,6 @@ - - @@ -2519,6 +2550,8 @@ + + @@ -2878,6 +2911,7 @@ + @@ -3113,7 +3147,7 @@ - + @@ -3143,6 +3177,7 @@ + @@ -3557,7 +3592,7 @@ - + @@ -3585,8 +3620,10 @@ + + @@ -3628,7 +3665,7 @@ - + @@ -3636,28 +3673,16 @@ - - - - - - - - - - - - + + + - - - @@ -3667,6 +3692,71 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3730,10 +3820,8 @@ - - @@ -3742,7 +3830,6 @@ - @@ -3798,7 +3885,6 @@ - @@ -4121,8 +4207,10 @@ + + @@ -4197,8 +4285,6 @@ - - @@ -4206,6 +4292,8 @@ + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps index 913e4ec5..cc569fd4 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps @@ -1106,6 +1106,7 @@ + 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 16e16cbc..eeba9c44 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 @@ -4747,8 +4747,36 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4794,29 +4822,6 @@ - - - - - - - - - - - - - - - - - - - - - - - @@ -4824,8 +4829,10 @@ - - + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd index 7f6a61fb..46a4153c 100644 --- a/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd +++ b/coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd @@ -30,6 +30,7 @@ + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps index c8ba7a20..8abe86d7 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps @@ -325,6 +325,11 @@ + + + + + @@ -595,6 +600,11 @@ + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps index 7e4c30d1..ce1c5da4 100644 --- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps +++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps @@ -9,6 +9,8 @@ + + @@ -29,6 +31,8 @@ + + @@ -70,6 +74,7 @@ + @@ -77,6 +82,9 @@ + + + @@ -113,6 +121,10 @@ + + + + @@ -158,6 +170,9 @@ + + + @@ -181,6 +196,9 @@ + + + @@ -229,6 +247,7 @@ + @@ -240,6 +259,7 @@ + @@ -258,6 +278,7 @@ + @@ -277,6 +298,39 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -302,6 +356,7 @@ + @@ -311,12 +366,20 @@ + + + + + + + + @@ -329,6 +392,19 @@ + + + + + + + + + + + + + @@ -356,6 +432,17 @@ + + + + + + + + + + + @@ -389,6 +476,19 @@ + + + + + + + + + + + + + @@ -442,6 +542,17 @@ + + + + + + + + + + + @@ -630,21 +741,25 @@ - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - @@ -937,6 +1052,18 @@ + + + + + + + + + + + + @@ -3595,5 +3722,1252 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/controlflow/languages/jetbrains.mps.lang.controlflow/generator/template/main@generator.mps b/controlflow/languages/jetbrains.mps.lang.controlflow/generator/template/main@generator.mps index 6673f9e8..078c6801 100644 --- a/controlflow/languages/jetbrains.mps.lang.controlflow/generator/template/main@generator.mps +++ b/controlflow/languages/jetbrains.mps.lang.controlflow/generator/template/main@generator.mps @@ -176,7 +176,7 @@ - + diff --git a/controlflow/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl b/controlflow/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl index 81d9ff44..0a0bbfc2 100644 --- a/controlflow/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl +++ b/controlflow/languages/jetbrains.mps.lang.controlflow/jetbrains.mps.lang.controlflow.mpl @@ -13,12 +13,12 @@ - + + + + - 21d5540d-cd6b-44dd-b6ab-6835bf032803(jetbrains.mps.lang.coderules#4578927328670739933) - e45a8b22-94f2-427f-b849-77f254c4eef5(jetbrains.mps.lang.aspect#3274906159125927726) 86ef8290-12bb-4ca7-947f-093788f263a9(jetbrains.mps.lang.project) - 3ac18869-0828-4401-abad-822a47bf83f1(jetbrains.mps.lang.descriptor#9020561928507175817) ffcd9ef5-e931-4da9-a8d1-eb9bf80d19b4(jetbrains.mps.lang.controlflow.runtime) @@ -72,7 +72,22 @@ - + + + + + + + + + + + + + + + + @@ -131,8 +146,12 @@ + + ffcd9ef5-e931-4da9-a8d1-eb9bf80d19b4(jetbrains.mps.lang.controlflow.runtime) + c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules) + f4ad079d-bc71-4ffb-9600-9328705cf998(jetbrains.mps.lang.descriptor) diff --git a/controlflow/languages/jetbrains.mps.lang.controlflow/models/plugin.mps b/controlflow/languages/jetbrains.mps.lang.controlflow/models/plugin.mps index 9858d053..4f1bb3cd 100644 --- a/controlflow/languages/jetbrains.mps.lang.controlflow/models/plugin.mps +++ b/controlflow/languages/jetbrains.mps.lang.controlflow/models/plugin.mps @@ -13,6 +13,7 @@ + @@ -33,6 +34,10 @@ + + + + diff --git a/controlflow/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd b/controlflow/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd index 2b7a91fd..46e6e100 100644 --- a/controlflow/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd +++ b/controlflow/solutions/jetbrains.mps.controlflow.ui/jetbrains.mps.controlflow.ui.msd @@ -1,23 +1,55 @@ - + + + 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) + 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) + 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) + 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) + 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) + a1250a4d-c090-42c3-ad7c-d298a3357dd4(jetbrains.mps.make.runtime) + ffcd9ef5-e931-4da9-a8d1-eb9bf80d19b4(jetbrains.mps.lang.controlflow.runtime) + f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules) + 517911e5-605f-4310-831b-10d44e0f5237(jetbrains.mps.controlflow) + 5b1f863d-65a0-41a6-a801-33896be24202(jetbrains.mps.ide.editor) + + + + + + + + + + + + + + + + + + + + + diff --git a/controlflow/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps b/controlflow/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps index 1c1496cc..79a0fb14 100644 --- a/controlflow/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps +++ b/controlflow/solutions/jetbrains.mps.controlflow.ui/models/plugin.mps @@ -3,13 +3,991 @@ + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/controlflow/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd b/controlflow/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd index c9a13c3f..ed246d94 100644 --- a/controlflow/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd +++ b/controlflow/solutions/jetbrains.mps.controlflow/jetbrains.mps.controlflow.msd @@ -1,14 +1,38 @@ - + - + + ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template) + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) + f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules) + 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) + + + + + + + + + + + + + + + + + + + diff --git a/controlflow/solutions/jetbrains.mps.controlflow/models/service.mps b/controlflow/solutions/jetbrains.mps.controlflow/models/service.mps index 97f46324..fd9b6e7f 100644 --- a/controlflow/solutions/jetbrains.mps.controlflow/models/service.mps +++ b/controlflow/solutions/jetbrains.mps.controlflow/models/service.mps @@ -1,8 +1,590 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/controlflow/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps b/controlflow/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps index d94dff39..f6d5b8a1 100644 --- a/controlflow/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps +++ b/controlflow/solutions/jetbrains.mps.lang.controlflow.runtime/models/jetbrains.mps.lang.controlflow.aspect.mps @@ -112,6 +112,28 @@ + + + + + + + + + + + + + + + + + + + + + + @@ -142,18 +164,14 @@ - - - - - - + + + - @@ -184,12 +202,9 @@ - - - - - - + + + @@ -228,12 +243,9 @@ - - - - - - + + + @@ -259,12 +271,9 @@ - - - - - - + + + diff --git a/typechecking/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps b/typechecking/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps index eb43b39b..16166f12 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps @@ -113,6 +113,28 @@ + + + + + + + + + + + + + + + + + + + + + + @@ -134,12 +156,9 @@ - - - - - - + + + @@ -154,7 +173,6 @@ - @@ -185,12 +203,9 @@ - - - - - - + + + @@ -229,12 +244,9 @@ - - - - - - + + + @@ -260,12 +272,9 @@ - - - - - - + + + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps index 3e9f7239..1fd61de7 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps @@ -1395,6 +1395,12 @@ + + + + + + @@ -1849,6 +1855,12 @@ + + + + + + @@ -1917,6 +1929,36 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1937,6 +1979,66 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1978,12 +2080,6 @@ - - - - - - @@ -2003,6 +2099,14 @@ + + + + + + + + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.reporting/jetbrains.mps.typechecking.reporting.msd b/typechecking/solutions/jetbrains.mps.typechecking.reporting/jetbrains.mps.typechecking.reporting.msd index 19eaefcd..e83e1407 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.reporting/jetbrains.mps.typechecking.reporting.msd +++ b/typechecking/solutions/jetbrains.mps.typechecking.reporting/jetbrains.mps.typechecking.reporting.msd @@ -14,6 +14,7 @@ + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.reporting/models/jetbrains.mps.lang.typesystem2.reporting.mps b/typechecking/solutions/jetbrains.mps.typechecking.reporting/models/jetbrains.mps.lang.typesystem2.reporting.mps index 392123c0..cc237302 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.reporting/models/jetbrains.mps.lang.typesystem2.reporting.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.reporting/models/jetbrains.mps.lang.typesystem2.reporting.mps @@ -6,6 +6,7 @@ + @@ -14,6 +15,12 @@ + + + + + + @@ -87,10 +94,29 @@ + + + + + + + + + + + + + + + + + + + @@ -113,6 +139,19 @@ + + + + + + + + + + + + + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps index 5afc0619..ee5e43b8 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps @@ -26248,6 +26248,10 @@ + + + + @@ -26276,13 +26280,13 @@ - + - + @@ -26484,7 +26488,7 @@ - + @@ -30775,6 +30779,10 @@ + + + + @@ -30896,13 +30904,13 @@ - + - + @@ -31023,7 +31031,7 @@ - + @@ -31154,6 +31162,10 @@ + + + + @@ -31262,13 +31274,13 @@ - + - + @@ -31383,7 +31395,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd b/typechecking/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd index 2d0fbb92..011b6718 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd +++ b/typechecking/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd @@ -17,6 +17,7 @@ 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules) + f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime) @@ -48,6 +49,7 @@ + diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps index ebd6baa7..a89c97b4 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.mps @@ -22,6 +22,7 @@ + @@ -742,6 +743,10 @@ + + + + @@ -787,11 +792,11 @@ - + - + @@ -818,7 +823,7 @@ - + @@ -940,6 +945,10 @@ + + + + @@ -990,11 +999,11 @@ - + - + @@ -1024,7 +1033,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps index 2b2f2095..91c1b4aa 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking/models/service.mps @@ -48,12 +48,10 @@ + - - - @@ -61,7 +59,6 @@ - @@ -70,13 +67,6 @@ - - - - - - - @@ -126,12 +116,8 @@ - - - - + - @@ -148,11 +134,7 @@ - - - - @@ -179,15 +161,12 @@ - - - @@ -220,7 +199,6 @@ - @@ -228,11 +206,6 @@ - - - - - @@ -245,7 +218,6 @@ - @@ -263,38 +235,17 @@ - - - - - - - - - - - - - - - - - - - - - @@ -317,13 +268,9 @@ - - - - @@ -336,9 +283,7 @@ - - @@ -354,1258 +299,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1705,7 +400,7 @@ - + @@ -1768,7 +463,7 @@ - + @@ -1822,7 +517,7 @@ - + @@ -1936,7 +631,7 @@ - + @@ -2222,7 +917,7 @@ - + @@ -2250,6 +945,10 @@ + + + + @@ -2299,7 +998,7 @@ - +