From 77479a076fae86d5ebf07b9e1a0de2746cfa39be Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 24 Mar 2015 16:24:56 +0100 Subject: [PATCH] Support for variables matching a list, getting rid of obsolete code, some refactoring --- .../mps/lang/typesystem2/runtime/template.mps | 102 ++-- .../generator/template/main@generator.mps | 350 ++++++++----- .../models/jetbrains/mps/logic/sandbox.mps | 458 +---------------- .../mps/typechecking/handler/producer.mps | 4 +- .../models/jetbrains/mps/unification/tree.mps | 476 ++++-------------- 5 files changed, 380 insertions(+), 1010 deletions(-) diff --git a/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/template.mps b/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/template.mps index ba9b0251..e026ce01 100644 --- a/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/template.mps +++ b/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/template.mps @@ -451,20 +451,20 @@ - - - - - + + + + + - + - + - + @@ -540,40 +540,40 @@ - - - - - + + + + + - - + - + + - + - + - + - + - - + - + + - + @@ -631,40 +631,40 @@ - - - - - + + + + + - - + - + + - + - + - + - + - + - + - + @@ -673,30 +673,30 @@ - - - - - + + + + + - + - + - + - - + - + + - + diff --git a/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/languages/jetbrains.mps.logic/generator/template/main@generator.mps index 75f1cd49..8fe88509 100644 --- a/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -297,6 +297,7 @@ + @@ -572,7 +573,29 @@ - + + + + + + + + + + + + + + + + + + + + + + + @@ -828,26 +851,26 @@ - - - - - - - - - - + + + + + + + + + + - + - + @@ -1474,46 +1497,44 @@ - - - - - - - - - - - - + + + + + + + + + + - - - - - + + + + + - - - - - + + + + + - + - - - - - - + + + + + + @@ -1522,16 +1543,16 @@ - - - - - - - + + + + + + + - + @@ -1541,21 +1562,86 @@ - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - + + + + + + @@ -1564,16 +1650,16 @@ - - - - - - - + + + + + + + - + @@ -1607,20 +1693,20 @@ - - - - + + + + - + - - - - - - + + + + + + @@ -1629,16 +1715,16 @@ - - - - - - - + + + + + + + - + @@ -1888,79 +1974,79 @@ - + - - - - - + + + + + - - - - - - - - - + + + + + + + + + - + - - - - - - - + + + + + + + - - + + - + - + - - - - - + + + + + - - - - - - - + + + + + + + - - + + - + - + diff --git a/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps b/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps index 626143c8..416e00d6 100644 --- a/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps +++ b/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps @@ -63,9 +63,7 @@ - - - + @@ -184,460 +182,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 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 d3ebab6c..b6e5ae4e 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 @@ -4550,7 +4550,7 @@ - + @@ -4755,7 +4755,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 a1b14144..b2f6e048 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 @@ -2873,313 +2873,18 @@ - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -9591,6 +9296,63 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9849,63 +9611,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -10042,7 +9747,50 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10067,14 +9815,6 @@ - - - - - - - -