From 27075eb5444bb18eebcbaaa503d26f8001bf9ef9 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sun, 24 Aug 2014 14:51:12 +0200 Subject: [PATCH] Experimental types sandbox. --- .mps/modules.xml | 19 +- .../jetbrains.mps.type.sandbox.runner.msd | 22 + .../jetbrains/mps/type/sandbox/runner.mps | 95 +++ .../jetbrains.mps.type.sandbox.msd | 26 + .../models/jetbrains/mps/type/sandbox.mps | 736 ++++++++++++++++++ .../jetbrains.mps.type.solver.msd | 20 + .../mps/type/solver/baseLanguage.mps | 575 ++++++++++++++ 7 files changed, 1485 insertions(+), 8 deletions(-) create mode 100644 solutions/jetbrains.mps.type.sandbox.runner/jetbrains.mps.type.sandbox.runner.msd create mode 100644 solutions/jetbrains.mps.type.sandbox.runner/models/jetbrains/mps/type/sandbox/runner.mps create mode 100644 solutions/jetbrains.mps.type.sandbox/jetbrains.mps.type.sandbox.msd create mode 100644 solutions/jetbrains.mps.type.sandbox/models/jetbrains/mps/type/sandbox.mps create mode 100644 solutions/jetbrains.mps.type.solver/jetbrains.mps.type.solver.msd create mode 100644 solutions/jetbrains.mps.type.solver/models/jetbrains/mps/type/solver/baseLanguage.mps diff --git a/.mps/modules.xml b/.mps/modules.xml index e0fcfe5c..5994e6de 100644 --- a/.mps/modules.xml +++ b/.mps/modules.xml @@ -2,14 +2,17 @@ - - - - - - - - + + + + + + + + + + + diff --git a/solutions/jetbrains.mps.type.sandbox.runner/jetbrains.mps.type.sandbox.runner.msd b/solutions/jetbrains.mps.type.sandbox.runner/jetbrains.mps.type.sandbox.runner.msd new file mode 100644 index 00000000..ebd862c4 --- /dev/null +++ b/solutions/jetbrains.mps.type.sandbox.runner/jetbrains.mps.type.sandbox.runner.msd @@ -0,0 +1,22 @@ + + + + + + + + + + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) + eaa96e7c-030a-4e4f-8ae7-a24dff1e0572(jetbrains.mps.logic.sandbox) + 16aea8bc-02ec-4d2e-9965-44a8d4b5d4b2(jetbrains.mps.type.sandbox) + + + 894463aa-8754-49c0-bf4b-6a32af66b376(jetbrains.mps.jchr) + + + fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) + + + diff --git a/solutions/jetbrains.mps.type.sandbox.runner/models/jetbrains/mps/type/sandbox/runner.mps b/solutions/jetbrains.mps.type.sandbox.runner/models/jetbrains/mps/type/sandbox/runner.mps new file mode 100644 index 00000000..8e913da1 --- /dev/null +++ b/solutions/jetbrains.mps.type.sandbox.runner/models/jetbrains/mps/type/sandbox/runner.mps @@ -0,0 +1,95 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/solutions/jetbrains.mps.type.sandbox/jetbrains.mps.type.sandbox.msd b/solutions/jetbrains.mps.type.sandbox/jetbrains.mps.type.sandbox.msd new file mode 100644 index 00000000..91e208f7 --- /dev/null +++ b/solutions/jetbrains.mps.type.sandbox/jetbrains.mps.type.sandbox.msd @@ -0,0 +1,26 @@ + + + + + + + + + + + + + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) + 2b54fd24-63fa-4af4-8776-244484d34b48(jetbrains.mps.type.solver) + 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.unification.tree) + + + 894463aa-8754-49c0-bf4b-6a32af66b376(jetbrains.mps.jchr) + 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) + + + fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) + + + diff --git a/solutions/jetbrains.mps.type.sandbox/models/jetbrains/mps/type/sandbox.mps b/solutions/jetbrains.mps.type.sandbox/models/jetbrains/mps/type/sandbox.mps new file mode 100644 index 00000000..c12161d4 --- /dev/null +++ b/solutions/jetbrains.mps.type.sandbox/models/jetbrains/mps/type/sandbox.mps @@ -0,0 +1,736 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/solutions/jetbrains.mps.type.solver/jetbrains.mps.type.solver.msd b/solutions/jetbrains.mps.type.solver/jetbrains.mps.type.solver.msd new file mode 100644 index 00000000..f991cd51 --- /dev/null +++ b/solutions/jetbrains.mps.type.solver/jetbrains.mps.type.solver.msd @@ -0,0 +1,20 @@ + + + + + + + + + + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.unification.tree) + + + 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) + + + fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) + + + diff --git a/solutions/jetbrains.mps.type.solver/models/jetbrains/mps/type/solver/baseLanguage.mps b/solutions/jetbrains.mps.type.solver/models/jetbrains/mps/type/solver/baseLanguage.mps new file mode 100644 index 00000000..1877a989 --- /dev/null +++ b/solutions/jetbrains.mps.type.solver/models/jetbrains/mps/type/solver/baseLanguage.mps @@ -0,0 +1,575 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +