From 04dead1fe1cfdc092721f759a9aba7f8dc414159 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sat, 8 Aug 2015 12:32:41 +0200 Subject: [PATCH] Testing list unification --- .../mps/logic/builtin/unification.mps | 79 +++++++++++++++++++ .../jetbrains/mps/logic/test/unification.mps | 58 +++++++++++++- 2 files changed, 136 insertions(+), 1 deletion(-) 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 7a178892..b01e9cc5 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 @@ -3904,6 +3904,33 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5271,6 +5298,58 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 6b1fd2c9..493c7275 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 @@ -1163,6 +1163,43 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2655,6 +2692,14 @@ + + + + + + + + @@ -2674,7 +2719,10 @@ - + + + + @@ -2766,6 +2814,14 @@ + + + + + + + +