diff --git a/samples/lambdacalc/.mps/modules.xml b/samples/lambdacalc/.mps/modules.xml index 432dd620..ea877cca 100644 --- a/samples/lambdacalc/.mps/modules.xml +++ b/samples/lambdacalc/.mps/modules.xml @@ -2,8 +2,8 @@ - + - \ No newline at end of file + diff --git a/samples/lambdacalc/languages/sample.fooblin/models/behavior.mps b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.behavior.mps similarity index 99% rename from samples/lambdacalc/languages/sample.fooblin/models/behavior.mps rename to samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.behavior.mps index f0c5da27..1891dfe3 100644 --- a/samples/lambdacalc/languages/sample.fooblin/models/behavior.mps +++ b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.behavior.mps @@ -1,5 +1,5 @@ - + @@ -8,7 +8,7 @@ - + diff --git a/samples/lambdacalc/languages/sample.fooblin/models/constraints.mps b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.constraints.mps similarity index 99% rename from samples/lambdacalc/languages/sample.fooblin/models/constraints.mps rename to samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.constraints.mps index 7d77a3e8..9a2d021c 100644 --- a/samples/lambdacalc/languages/sample.fooblin/models/constraints.mps +++ b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.constraints.mps @@ -1,5 +1,5 @@ - + @@ -11,7 +11,7 @@ - + diff --git a/samples/lambdacalc/languages/sample.fooblin/models/editor.mps b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.editor.mps similarity index 99% rename from samples/lambdacalc/languages/sample.fooblin/models/editor.mps rename to samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.editor.mps index 3c183880..d5328bee 100644 --- a/samples/lambdacalc/languages/sample.fooblin/models/editor.mps +++ b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.editor.mps @@ -1,5 +1,5 @@ - + @@ -8,7 +8,7 @@ - + diff --git a/samples/lambdacalc/languages/sample.fooblin/models/structure.mps b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.structure.mps similarity index 99% rename from samples/lambdacalc/languages/sample.fooblin/models/structure.mps rename to samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.structure.mps index 7b235e36..4f52c641 100644 --- a/samples/lambdacalc/languages/sample.fooblin/models/structure.mps +++ b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.structure.mps @@ -1,5 +1,5 @@ - + diff --git a/samples/lambdacalc/languages/sample.fooblin/models/types.mps b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.types.mps similarity index 99% rename from samples/lambdacalc/languages/sample.fooblin/models/types.mps rename to samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.types.mps index 75b69a1e..b131773d 100644 --- a/samples/lambdacalc/languages/sample.fooblin/models/types.mps +++ b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.types.mps @@ -1,5 +1,5 @@ - + @@ -12,15 +12,15 @@ - + - + - + diff --git a/samples/lambdacalc/languages/sample.fooblin/models/typesystem.mps b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.typesystem.mps similarity index 80% rename from samples/lambdacalc/languages/sample.fooblin/models/typesystem.mps rename to samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.typesystem.mps index ec1de910..258b113c 100644 --- a/samples/lambdacalc/languages/sample.fooblin/models/typesystem.mps +++ b/samples/lambdacalc/languages/sample.lambdacalc/models/sample.lambdacalc.typesystem.mps @@ -1,5 +1,5 @@ - + diff --git a/samples/lambdacalc/languages/sample.fooblin/sample.fooblin.mpl b/samples/lambdacalc/languages/sample.lambdacalc/sample.lambdacalc.mpl similarity index 97% rename from samples/lambdacalc/languages/sample.fooblin/sample.fooblin.mpl rename to samples/lambdacalc/languages/sample.lambdacalc/sample.lambdacalc.mpl index 8704c996..9ac3799f 100644 --- a/samples/lambdacalc/languages/sample.fooblin/sample.fooblin.mpl +++ b/samples/lambdacalc/languages/sample.lambdacalc/sample.lambdacalc.mpl @@ -1,5 +1,5 @@ - + @@ -9,7 +9,7 @@ 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) - af858d84-85f2-42f4-a854-0b3c6b5cd482(sample.fooblin) + af858d84-85f2-42f4-a854-0b3c6b5cd482(sample.lambdacalc) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)