From 0fbc42740649ad3c361fd05e6f61cff83e52ca60 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 10 Dec 2015 15:22:21 +0100 Subject: [PATCH] Revert: getting rid of naming conventions. Avoid bad dependencies. --- ...ains.mps.lang.typesystem2.sampleplugin.msd | 4 --- .../lang/typesystem2/sampleplugin/plugin.mps | 27 +++----------- .../jchr/jetbrains.mps.logic.jchr.msd | 9 +++++ .../jetbrains/mps/logic/jchr/program.mps | 35 ++----------------- 4 files changed, 16 insertions(+), 59 deletions(-) diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd index 1d227c8d..3794139d 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd @@ -34,10 +34,8 @@ - - @@ -45,8 +43,6 @@ - - diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps index 838c3496..86f10d44 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps @@ -9,9 +9,6 @@ - - - @@ -605,16 +602,8 @@ - - - - - - - - - - + + @@ -633,16 +622,8 @@ - - - - - - - - - - + + diff --git a/languages/jetbrains.mps.logic/jchr/jetbrains.mps.logic.jchr.msd b/languages/jetbrains.mps.logic/jchr/jetbrains.mps.logic.jchr.msd index d0e8e6d5..6f0623c7 100644 --- a/languages/jetbrains.mps.logic/jchr/jetbrains.mps.logic.jchr.msd +++ b/languages/jetbrains.mps.logic/jchr/jetbrains.mps.logic.jchr.msd @@ -10,6 +10,8 @@ a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime) bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) + 121937e8-9efc-4551-81fc-50dc0319618e(jetbrains.mps.lang.typesystem2.samplechecker) + ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) @@ -21,8 +23,15 @@ + + + + + + + diff --git a/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps b/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps index 308ff56b..3a086f7d 100644 --- a/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps +++ b/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps @@ -18,7 +18,7 @@ - + @@ -239,18 +239,6 @@ - - - - - - - - - - - - @@ -1559,25 +1547,8 @@ - - - - - - - - - - - - - - - - - - - + +