From 51263e9b8b1d6882715d08ca1515a8169fa3b61a Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 12 Jun 2017 18:46:29 +0200 Subject: [PATCH] Reorganizing the code, optimize the number of solutions. Delete empty solutions. --- .mps/modules.xml | 12 +- build.xml | 287 +---- .../jetbrains.mps.typechecking.build.mps | 158 +-- .../jetbrains.mps.baseLanguageExt.mpl | 4 +- .../jetbrains.mps.baseLanguageExt.types.mps | 231 +++- ...rains.mps.lang.typesystem2.sample.test.msd | 2 +- .../typesystem2/sample/codeAnal@tests.mps | 2 +- .../jetbrains.mps.lang.typesystem2.sample.msd | 2 +- .../mps/lang/typesystem2/sample/bounds.mps | 2 +- .../lang/typesystem2/sample/bounds/bad.mps | 2 +- .../mps/lang/typesystem2/sample/codeAnal.mps | 2 +- .../lang/typesystem2/sample/helloWorld.mps | 2 +- .../typesystem2/sample/simpleGenerics.mps | 2 +- .../mps/lang/typesystem2/sample/slice.mps | 2 +- ...typesystem2.samplechecker.handler.util.msd | 47 - .../typesystem2/samplechecker/handle/util.mps | 1129 ----------------- ...ps.lang.typesystem2.samplechecker.test.msd | 46 - .../samplechecker/test/type@tests.mps | 528 -------- ...ains.mps.lang.typesystem2.sampleplugin.msd | 2 - .../lang/typesystem2/sampleplugin/plugin.mps | 13 +- .../generator/template/main@generator.mps | 14 +- .../jetbrains.mps.lang.typesystem2.mpl | 2 - ...jetbrains.mps.lang.typesystem2.runtime.msd | 5 +- .../mps/lang/typesystem2/typechecking.mps | 747 ++++++++++- .../jetbrains.mps.lang.typesystem2.test.msd | 8 +- .../lang/typesystem2/typechecking@tests.mps | 384 +++++- 26 files changed, 1410 insertions(+), 2225 deletions(-) delete mode 100644 typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/jetbrains.mps.lang.typesystem2.samplechecker.handler.util.msd delete mode 100644 typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps delete mode 100644 typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/jetbrains.mps.lang.typesystem2.samplechecker.test.msd delete mode 100644 typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/models/jetbrains/mps/lang/typesystem2/samplechecker/test/type@tests.mps diff --git a/.mps/modules.xml b/.mps/modules.xml index 05a0a3e1..0249f826 100644 --- a/.mps/modules.xml +++ b/.mps/modules.xml @@ -6,21 +6,19 @@ - + + - - - - + - + - + \ No newline at end of file diff --git a/build.xml b/build.xml index 3d5e3bd3..2b9f5ed1 100644 --- a/build.xml +++ b/build.xml @@ -326,6 +326,7 @@ + @@ -480,49 +481,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -565,50 +523,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1175,6 +1089,7 @@ + @@ -1329,49 +1244,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1471,7 +1343,7 @@ - + @@ -1576,7 +1448,6 @@ - @@ -1588,7 +1459,6 @@ - @@ -1824,7 +1694,7 @@ - + @@ -1845,7 +1715,6 @@ - @@ -1888,7 +1757,7 @@ - + @@ -1915,7 +1784,6 @@ - @@ -1951,14 +1819,13 @@ - + - @@ -1992,21 +1859,20 @@ + - - - + @@ -2034,7 +1900,6 @@ - @@ -2050,6 +1915,7 @@ + @@ -2231,7 +2097,7 @@ - + @@ -2262,6 +2128,8 @@ + + @@ -2304,7 +2172,7 @@ - + @@ -2332,7 +2200,8 @@ - + + @@ -2350,51 +2219,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2449,7 +2273,7 @@ - + @@ -2470,7 +2294,6 @@ - @@ -2651,79 +2474,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2798,7 +2548,6 @@ - @@ -2814,7 +2563,6 @@ - @@ -2881,7 +2629,6 @@ - @@ -2890,12 +2637,10 @@ - - \ No newline at end of file diff --git a/plugin/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/plugin/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps index 4415d21e..8030da8e 100644 --- a/plugin/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps +++ b/plugin/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps @@ -750,12 +750,6 @@ - - - - - - @@ -822,24 +816,12 @@ - - - - - - - - - - - - @@ -1059,6 +1041,18 @@ + + + + + + + + + + + + @@ -1172,62 +1166,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1312,12 +1250,6 @@ - - - - - - @@ -1451,63 +1383,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1557,9 +1432,6 @@ - - - @@ -1568,9 +1440,6 @@ - - - @@ -1669,9 +1538,6 @@ - - - diff --git a/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl b/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl index b73c2bb6..e6c92f67 100644 --- a/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl +++ b/typechecking/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl @@ -12,7 +12,6 @@ 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - 9c4ae21e-62e0-4110-95b7-191b357a42d2(jetbrains.mps.lang.typesystem2.samplechecker.handler.util) @@ -45,14 +44,13 @@ + - - diff --git a/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index 406a189e..9341be87 100644 --- a/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/typechecking/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -20,7 +20,6 @@ - @@ -2173,9 +2172,9 @@ - - - + + + @@ -2351,9 +2350,9 @@ - - - + + + @@ -2530,9 +2529,9 @@ - - - + + + @@ -19784,5 +19783,217 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/jetbrains.mps.lang.typesystem2.sample.test.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/jetbrains.mps.lang.typesystem2.sample.test.msd index c85b9c92..9509c0c6 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/jetbrains.mps.lang.typesystem2.sample.test.msd +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/jetbrains.mps.lang.typesystem2.sample.test.msd @@ -18,13 +18,13 @@ + - diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/codeAnal@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/codeAnal@tests.mps index 462dc68d..f50de3fd 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/codeAnal@tests.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample.test/models/jetbrains/mps/lang/typesystem2/sample/codeAnal@tests.mps @@ -6,7 +6,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/jetbrains.mps.lang.typesystem2.sample.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/jetbrains.mps.lang.typesystem2.sample.msd index 62ae17eb..5b0364e6 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/jetbrains.mps.lang.typesystem2.sample.msd +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/jetbrains.mps.lang.typesystem2.sample.msd @@ -12,9 +12,9 @@ + - diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps index 447e6418..78ba23eb 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps @@ -3,7 +3,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad.mps index 7b274945..b6ac8050 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds/bad.mps @@ -3,7 +3,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/codeAnal.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/codeAnal.mps index 1913c45d..b735f571 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/codeAnal.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/codeAnal.mps @@ -4,7 +4,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/helloWorld.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/helloWorld.mps index d7f195bf..8c470c1f 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/helloWorld.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/helloWorld.mps @@ -4,7 +4,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics.mps index 29a4a9b0..de2ec4b8 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/simpleGenerics.mps @@ -3,7 +3,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/slice.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/slice.mps index d4f6fd16..c3d256f9 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/slice.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sample/models/jetbrains/mps/lang/typesystem2/sample/slice.mps @@ -3,7 +3,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/jetbrains.mps.lang.typesystem2.samplechecker.handler.util.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/jetbrains.mps.lang.typesystem2.samplechecker.handler.util.msd deleted file mode 100644 index bfd12d6e..00000000 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/jetbrains.mps.lang.typesystem2.samplechecker.handler.util.msd +++ /dev/null @@ -1,47 +0,0 @@ - - - - - - - - - - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) - 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) - f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) - bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps deleted file mode 100644 index fa334b6f..00000000 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps +++ /dev/null @@ -1,1129 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/jetbrains.mps.lang.typesystem2.samplechecker.test.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/jetbrains.mps.lang.typesystem2.samplechecker.test.msd deleted file mode 100644 index eaa3db49..00000000 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/jetbrains.mps.lang.typesystem2.samplechecker.test.msd +++ /dev/null @@ -1,46 +0,0 @@ - - - - - - - - - - ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template) - 35e2a720-13d8-4eda-88d3-ff9d78d5a3ae(jetbrains.mps.lang.typesystem2.sampleplugin) - 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) - 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) - bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/models/jetbrains/mps/lang/typesystem2/samplechecker/test/type@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/models/jetbrains/mps/lang/typesystem2/samplechecker/test/type@tests.mps deleted file mode 100644 index 95e93857..00000000 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/models/jetbrains/mps/lang/typesystem2/samplechecker/test/type@tests.mps +++ /dev/null @@ -1,528 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd index eafa1174..90f7b751 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd @@ -22,7 +22,6 @@ bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) bfbdd672-7ff5-403f-af4f-16da5226f34c(jetbrains.mps.findUsages.runtime) 274c9cfa-1024-4444-904c-f2f1383a35da(jetbrains.mps.lang.typesystem2.helper) - 9c4ae21e-62e0-4110-95b7-191b357a42d2(jetbrains.mps.lang.typesystem2.samplechecker.handler.util) @@ -56,7 +55,6 @@ - diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps index ae819f01..2c8509dc 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps @@ -68,7 +68,6 @@ - @@ -15510,9 +15509,9 @@ - - - + + + @@ -15812,9 +15811,9 @@ - - - + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps index 3e288c0b..a4fed6eb 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps @@ -39,7 +39,6 @@ - @@ -51,6 +50,7 @@ + @@ -7292,9 +7292,9 @@ - - - + + + @@ -7318,9 +7318,9 @@ - - - + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl b/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl index 39c5e68b..b82a667b 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl @@ -27,7 +27,6 @@ bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) df345b11-b8c7-4213-ac66-48d2a9b75d88(jetbrains.mps.baseLanguageInternal) 96ee7a94-411d-4cf8-9b94-96cad7e52411(jetbrains.mps.baseLanguage.jdk7) - 9c4ae21e-62e0-4110-95b7-191b357a42d2(jetbrains.mps.lang.typesystem2.samplechecker.handler.util) @@ -77,7 +76,6 @@ - diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd index d72df49f..5a6155de 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd @@ -12,8 +12,6 @@ f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template) - 9c4ae21e-62e0-4110-95b7-191b357a42d2(jetbrains.mps.lang.typesystem2.samplechecker.handler.util) - 35e2a720-13d8-4eda-88d3-ff9d78d5a3ae(jetbrains.mps.lang.typesystem2.sampleplugin) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 274c9cfa-1024-4444-904c-f2f1383a35da(jetbrains.mps.lang.typesystem2.helper) @@ -23,6 +21,7 @@ + @@ -43,8 +42,6 @@ - - diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps index 737a8e53..27c029f8 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/typechecking.mps @@ -9,6 +9,7 @@ + @@ -22,7 +23,6 @@ - @@ -35,6 +35,8 @@ + + @@ -70,12 +72,17 @@ + + + + + @@ -233,6 +240,7 @@ + @@ -253,6 +261,13 @@ + + + + + + + @@ -344,8 +359,15 @@ + + + + + + + @@ -364,7 +386,19 @@ + + + + + + + + + + + + @@ -382,6 +416,39 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2184,9 +2251,9 @@ - - - + + + @@ -10114,5 +10181,677 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test.msd b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test.msd index 31cba4dd..59e10476 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test.msd +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test.msd @@ -16,6 +16,8 @@ bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt) + ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template) + 35e2a720-13d8-4eda-88d3-ff9d78d5a3ae(jetbrains.mps.lang.typesystem2.sampleplugin) @@ -23,13 +25,13 @@ + - @@ -38,6 +40,7 @@ + @@ -45,7 +48,8 @@ - + + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/models/jetbrains/mps/lang/typesystem2/typechecking@tests.mps b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/models/jetbrains/mps/lang/typesystem2/typechecking@tests.mps index 1251d717..ae73dd73 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/models/jetbrains/mps/lang/typesystem2/typechecking@tests.mps +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/models/jetbrains/mps/lang/typesystem2/typechecking@tests.mps @@ -9,7 +9,9 @@ - + + + @@ -28,6 +30,12 @@ + + + + + + @@ -55,6 +63,7 @@ + @@ -78,10 +87,16 @@ + + + + + + @@ -101,9 +116,22 @@ + + + + + + + + + + + + + @@ -115,6 +143,7 @@ + @@ -126,6 +155,8 @@ + + @@ -135,6 +166,13 @@ + + + + + + + @@ -145,7 +183,14 @@ + + + + + + + @@ -206,6 +251,9 @@ + + + @@ -1090,5 +1138,339 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +