From 1c8299111215b2393839a1b1928efacfae80fe1b Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 28 Apr 2021 08:53:15 +0200 Subject: [PATCH] Ensure classifier type is created as pattern where applicable List features in a term are by defualt created as empty list. When a pattern is required, one must provide explicitly a wildcard variable to capture either NIL or CONS list term. --- ...rains.mps.baseLanguage.tuplesExt.types.mps | 11 ++ ...g.generator.generationContextExt.types.mps | 17 +++ .../jetbrains.mps.lang.smodelExt.types.mps | 118 ++++++++++++++++++ 3 files changed, 146 insertions(+) diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps index da0fbd81..73b59320 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps @@ -1907,6 +1907,9 @@ + + + @@ -1934,6 +1937,14 @@ + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps index 3fcc0fb1..2740e89f 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps @@ -115,6 +115,9 @@ + + + @@ -789,6 +792,14 @@ + + + + + + + + @@ -835,6 +846,12 @@ + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps index 63daf503..aee47fd1 100644 --- a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps @@ -4371,6 +4371,14 @@ + + + + + + + + @@ -4415,6 +4423,12 @@ + + + + + + @@ -19679,6 +19693,110 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +