From bdd3530b896c403cc41f8523260d84eafbedde92 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 26 Feb 2015 15:55:35 +0100 Subject: [PATCH] Refactoring: moving logical vars to logic lang, supporting new kind of expression in trees, matching variables to lists; tests. --- .../jetbrains.mps.lang.typesystem2.mpl | 2 + .../languageModels/structure.mps | 13 + .../mps/lang/typesystem2/runtime/rule.mps | 4 + .../generator/template/main@generator.mps | 2191 ++++++++--- .../jetbrains.mps.logic.mpl | 5 + .../languageModels/actions.mps | 122 +- .../languageModels/behavior.mps | 73 +- .../languageModels/constraints.mps | 483 +++ .../languageModels/editor.mps | 374 +- .../languageModels/intentions.mps | 64 + .../languageModels/structure.mps | 140 +- .../languageModels/typesystem.mps | 126 + .../models/jetbrains/mps/logic/builtin.mps | 69 +- .../mps/logic/builtin/unification.mps | 115 +- .../jetbrains/mps/logic/builtin/variable.mps | 279 ++ .../test/jetbrains.mps.logic.test.msd | 10 + .../jetbrains/mps/logic/test/logical.mps | 1185 ++++++ .../jetbrains/mps/logic/test/unification.mps | 1806 ++++++++- .../mps/typechecking/handler/producer.mps | 2 +- .../models/jetbrains/mps/unification/tree.mps | 3274 +++++++++++------ 20 files changed, 8540 insertions(+), 1797 deletions(-) create mode 100644 languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/logical.mps diff --git a/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl b/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl index 6e4aa6d3..812d66c6 100644 --- a/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl +++ b/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl @@ -93,6 +93,7 @@ c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) daafa647-f1f7-4b0b-b096-69cd7c8408c0(jetbrains.mps.baseLanguage.regexp) @@ -142,6 +143,7 @@ 7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) 83888646-71ce-4f1c-9c53-c54016f6ad4f(jetbrains.mps.baseLanguage.collections) + 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps index 603f47e9..38a97068 100644 --- a/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps +++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps @@ -9,11 +9,13 @@ + + @@ -42,6 +44,7 @@ + @@ -140,6 +143,9 @@ + + + @@ -241,6 +247,7 @@ + @@ -256,6 +263,7 @@ + @@ -267,6 +275,7 @@ + @@ -355,6 +364,7 @@ + @@ -385,6 +395,7 @@ + @@ -396,6 +407,7 @@ + @@ -407,6 +419,7 @@ + diff --git a/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/rule.mps b/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/rule.mps index 0973e5d6..2e6a81f2 100644 --- a/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/rule.mps +++ b/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/rule.mps @@ -3374,6 +3374,7 @@ + @@ -3632,6 +3633,9 @@ + + + diff --git a/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/languages/jetbrains.mps.logic/generator/template/main@generator.mps index e552caf5..a51177f4 100644 --- a/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -16,14 +16,31 @@ + + + + + + + + + + + + + + + + + @@ -42,6 +59,10 @@ + + + + @@ -50,6 +71,7 @@ + @@ -64,10 +86,14 @@ + + + + @@ -90,9 +116,24 @@ + + + + + + + + + + + + + + + @@ -100,6 +141,7 @@ + @@ -122,6 +164,13 @@ + + + + + + + @@ -136,9 +185,11 @@ + + @@ -168,6 +219,11 @@ + + + + + @@ -190,6 +246,10 @@ + + + + @@ -207,13 +267,15 @@ + + - - - + + + @@ -234,6 +296,9 @@ + + + @@ -244,10 +309,17 @@ + + + + + + + @@ -265,6 +337,7 @@ + @@ -278,6 +351,7 @@ + @@ -408,6 +482,51 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -575,93 +694,17 @@ - + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + @@ -678,8 +721,8 @@ - - + + @@ -703,8 +746,8 @@ - - + + @@ -730,7 +773,7 @@ - + @@ -762,431 +805,80 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - + + + + + @@ -1212,6 +904,16 @@ + + + + + + + + + + @@ -1277,9 +979,7 @@ - - - + @@ -1397,5 +1097,1484 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl index abd6b4fc..5c05eeeb 100644 --- a/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -72,6 +72,11 @@ 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.unification.tree) + f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) + 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) + e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes) + ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) daafa647-f1f7-4b0b-b096-69cd7c8408c0(jetbrains.mps.baseLanguage.regexp) diff --git a/languages/jetbrains.mps.logic/languageModels/actions.mps b/languages/jetbrains.mps.logic/languageModels/actions.mps index d48782a3..ad77dd85 100644 --- a/languages/jetbrains.mps.logic/languageModels/actions.mps +++ b/languages/jetbrains.mps.logic/languageModels/actions.mps @@ -90,6 +90,7 @@ + @@ -117,6 +118,7 @@ + @@ -125,11 +127,17 @@ + + + + + + @@ -182,12 +190,6 @@ - - - - - - @@ -204,23 +206,11 @@ - - - - - - - - - - - - @@ -371,5 +361,101 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/behavior.mps b/languages/jetbrains.mps.logic/languageModels/behavior.mps index 624a4507..0c3135ba 100644 --- a/languages/jetbrains.mps.logic/languageModels/behavior.mps +++ b/languages/jetbrains.mps.logic/languageModels/behavior.mps @@ -5,7 +5,76 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/constraints.mps b/languages/jetbrains.mps.logic/languageModels/constraints.mps index d82d57cb..d717effc 100644 --- a/languages/jetbrains.mps.logic/languageModels/constraints.mps +++ b/languages/jetbrains.mps.logic/languageModels/constraints.mps @@ -7,45 +7,204 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -56,6 +215,9 @@ + + + @@ -66,6 +228,13 @@ + + + + + + + @@ -100,5 +269,319 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/editor.mps b/languages/jetbrains.mps.logic/languageModels/editor.mps index 63107cf6..34a4fec3 100644 --- a/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -16,6 +16,7 @@ + @@ -62,6 +63,7 @@ + @@ -94,6 +96,9 @@ + + + @@ -101,13 +106,17 @@ + + + + @@ -251,6 +260,7 @@ + @@ -266,6 +276,9 @@ + + + @@ -398,6 +411,12 @@ + + + + + + @@ -448,6 +467,12 @@ + + + + + + @@ -525,6 +550,9 @@ + + + @@ -1665,12 +1693,6 @@ - - - - - - @@ -1774,12 +1796,6 @@ - - - - - - @@ -2135,5 +2151,339 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/intentions.mps b/languages/jetbrains.mps.logic/languageModels/intentions.mps index 7a48d0b6..e4e8ceda 100644 --- a/languages/jetbrains.mps.logic/languageModels/intentions.mps +++ b/languages/jetbrains.mps.logic/languageModels/intentions.mps @@ -68,11 +68,16 @@ + + + + + @@ -89,7 +94,17 @@ + + + + + + + + + + @@ -216,5 +231,54 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/structure.mps b/languages/jetbrains.mps.logic/languageModels/structure.mps index 5ca46cb5..99d58f72 100644 --- a/languages/jetbrains.mps.logic/languageModels/structure.mps +++ b/languages/jetbrains.mps.logic/languageModels/structure.mps @@ -12,6 +12,12 @@ + + + + + + @@ -21,6 +27,11 @@ + + + + + @@ -28,6 +39,7 @@ + @@ -85,7 +97,7 @@ - + @@ -224,12 +236,6 @@ - - - - - - @@ -259,5 +265,125 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/languages/jetbrains.mps.logic/languageModels/typesystem.mps index f939aa4e..e5b8b87e 100644 --- a/languages/jetbrains.mps.logic/languageModels/typesystem.mps +++ b/languages/jetbrains.mps.logic/languageModels/typesystem.mps @@ -7,32 +7,88 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -49,7 +105,13 @@ + + + + + + @@ -80,5 +142,69 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps index ec1f5b2a..feb6a6d4 100644 --- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps @@ -127,6 +127,9 @@ + + + @@ -147,7 +150,9 @@ - + + + @@ -815,5 +820,67 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps index 134106ba..d902beb7 100644 --- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps @@ -187,6 +187,9 @@ + + + @@ -2890,6 +2893,25 @@ + + + + + + + + + + + + + + + + + + + @@ -2916,7 +2938,7 @@ - + @@ -2990,6 +3012,9 @@ + + + @@ -3084,6 +3109,9 @@ + + + @@ -3121,6 +3149,23 @@ + + + + + + + + + + + + + + + + + @@ -3608,6 +3653,9 @@ + + + @@ -4123,7 +4171,66 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4364,6 +4471,10 @@ + + + + diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/variable.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/variable.mps index 9e55d59a..c39835a3 100644 --- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/variable.mps +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/variable.mps @@ -21,6 +21,7 @@ + @@ -33,6 +34,9 @@ + + + @@ -45,21 +49,25 @@ + + + + @@ -75,6 +83,8 @@ + + @@ -82,6 +92,7 @@ + @@ -96,7 +107,12 @@ + + + + + @@ -107,6 +123,7 @@ + @@ -504,5 +521,267 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/test/jetbrains.mps.logic.test.msd b/languages/jetbrains.mps.logic/test/jetbrains.mps.logic.test.msd index 9fe0f0d5..7c1ae98c 100644 --- a/languages/jetbrains.mps.logic/test/jetbrains.mps.logic.test.msd +++ b/languages/jetbrains.mps.logic/test/jetbrains.mps.logic.test.msd @@ -22,11 +22,21 @@ f61473f9-130f-42f6-b98d-6c438812c2f6(jetbrains.mps.baseLanguage.unitTest) 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) + + fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) + + + + + + + + diff --git a/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/logical.mps b/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/logical.mps new file mode 100644 index 00000000..52d060ad --- /dev/null +++ b/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/logical.mps @@ -0,0 +1,1185 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps b/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps index c78d29a4..4d65e0a1 100644 --- a/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps +++ b/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps @@ -12,6 +12,8 @@ + + @@ -34,6 +36,10 @@ + + + + @@ -68,6 +74,9 @@ + + + @@ -76,15 +85,19 @@ - - + + + + + + @@ -101,9 +114,14 @@ + + + + + @@ -111,6 +129,9 @@ + + + @@ -129,10 +150,6 @@ - - - - @@ -164,24 +181,28 @@ - - - + + - + - - - - - - + + + + + + + + + + + - - + + @@ -190,34 +211,30 @@ - + - + - - - + - + - - - + @@ -230,10 +247,10 @@ - + - + @@ -241,14 +258,14 @@ - + - + @@ -258,17 +275,15 @@ - - - + @@ -278,10 +293,8 @@ - - @@ -295,10 +308,10 @@ - + - + @@ -306,14 +319,14 @@ - + - + @@ -329,24 +342,21 @@ - - - - + @@ -362,17 +372,14 @@ - - - @@ -386,10 +393,10 @@ - + - + @@ -397,14 +404,14 @@ - + - + @@ -418,27 +425,23 @@ - - - - - + @@ -454,17 +457,14 @@ - - - @@ -478,10 +478,403 @@ - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -537,5 +930,1296 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps b/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps index 704d3939..5faa6409 100644 --- a/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps +++ b/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps @@ -3401,7 +3401,7 @@ - + diff --git a/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps b/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps index b2322eed..373ad716 100644 --- a/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps +++ b/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps @@ -16,6 +16,7 @@ + @@ -176,6 +177,7 @@ + @@ -199,7 +201,6 @@ - @@ -427,6 +428,210 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -696,6 +901,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -752,13 +981,6 @@ - - - - - - - @@ -771,6 +993,224 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -879,13 +1319,8 @@ - - - - - - - + + @@ -999,13 +1434,8 @@ - - - - - - - + + @@ -1084,13 +1514,8 @@ - - - - - - - + + @@ -1447,12 +1872,12 @@ - - - + + + @@ -1472,11 +1897,48 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -1499,7 +1961,274 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1572,7 +2301,6 @@ - @@ -1595,11 +2323,9 @@ - - - - - + + + @@ -1617,8 +2343,8 @@ - - + + @@ -1665,20 +2391,15 @@ - - - - - - - - - + + + + - - - - + + + + @@ -1687,7 +2408,7 @@ - + @@ -1740,8 +2461,9 @@ - - + + + @@ -1762,8 +2484,9 @@ - - + + + @@ -1773,8 +2496,8 @@ - - + + @@ -1792,7 +2515,7 @@ - + @@ -1831,13 +2554,8 @@ - - - - - - - + + @@ -1871,9 +2589,9 @@ - - - + + + @@ -1885,8 +2603,8 @@ - - + + @@ -1905,12 +2623,6 @@ - - - - - - @@ -1925,6 +2637,12 @@ + + + + + + @@ -1951,29 +2669,24 @@ - + - - - - - - - + + - + - + - + - + @@ -2042,13 +2755,8 @@ - - - - - - - + + @@ -2109,11 +2817,9 @@ - - - - - + + + @@ -2218,31 +2924,124 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + - - - - - + + + + + - + @@ -2255,6 +3054,68 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2725,18 +3586,28 @@ + + + + + - - - - - + + + + + + + + + + - - - - - + + + + + @@ -2775,29 +3646,40 @@ + + + + + + - - - - - + + + + + + + + + + - - - - - + + + + + - + @@ -3063,7 +3945,31 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3441,13 +4347,8 @@ - - - - - - - + + @@ -3558,13 +4459,8 @@ - - - - - - - + + @@ -3718,13 +4614,8 @@ - - - - - - - + + @@ -4271,7 +5162,22 @@ - + + + + + + + + + + + + + + + + @@ -4486,7 +5392,7 @@ - + @@ -4870,10 +5776,8 @@ - - - - + + @@ -6128,7 +7032,7 @@ - + @@ -6693,7 +7597,7 @@ - + @@ -7129,7 +8033,7 @@ - + @@ -8545,8 +9449,8 @@ - - + + @@ -8566,29 +9470,71 @@ - - - - - - + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - + + + + + + + + + + + + + + + + + + + + + @@ -8605,22 +9551,331 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + @@ -8634,9 +9889,6 @@ - - - @@ -8645,126 +9897,61 @@ + + + - - - - - - + + + + + + - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - + + - - - - - - - - - - - - - - + + + + + + + + + - @@ -8791,30 +9978,123 @@ - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8839,228 +10119,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -9145,8 +10203,8 @@ - - + + @@ -9192,6 +10250,47 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9239,48 +10338,28 @@ - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - + + + + + + - + + + + + + + @@ -9349,48 +10428,28 @@ - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - + + + + + + - + + + + + + + @@ -9436,13 +10495,8 @@ - - - - - - - + + @@ -9606,27 +10660,6 @@ - - - - - - - - - - - - - - - - - - - - - @@ -9636,7 +10669,7 @@ - + @@ -9657,38 +10690,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -9755,18 +10756,14 @@ - + - - + + - - - - @@ -9783,16 +10780,9 @@ - - - - - - - - - - + + + @@ -9803,30 +10793,9 @@ - + - - - - - - - - - - - - - - - - - - - - - @@ -9844,20 +10813,20 @@ - - - - - - - + + - - - + + + - - + + + + + + + @@ -9881,45 +10850,15 @@ - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - + + @@ -9943,24 +10882,24 @@ - - - + + + - - - - + + + + + + + + + - - - - - - - + + @@ -9986,45 +10925,15 @@ - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - + + @@ -10050,26 +10959,21 @@ - - - - - + + - - - - - + + - - + + + @@ -10079,25 +10983,6 @@ - - - - - - - - - - - - - - - - - - - @@ -10199,38 +11084,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -10272,30 +11125,9 @@ - + - - - - - - - - - - - - - - - - - - - - - @@ -10374,59 +11206,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -10467,284 +11247,404 @@ - - - - - - - - - - - - - - - - + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + - - - - - - - - - - + + + + + - + - - + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - + + + + + - + - - + + - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - + + + - - - - - - - + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10963,7 +11863,7 @@ - +