From 9db3dbbcfda9d1fa810f35602447ecdd119c4654 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 18 Jun 2020 12:29:06 +0200 Subject: [PATCH] Restore empty list as default value in term constructor. Term constructor creates all features with default values where not overridden. The default values for "value" and "child" features are wildcards for now (TBD), the default value for list feature is an empty list. The rationale is that a rule's head defining term pattern with a logical variable capturing list feature will not be matched with a free logical variable. Thus, to avoid having to always explicitly specify all term features, a term constructor that is not a pattern must use the default values for non-overridden features. --- .../generator/template/main@generator.mps | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) diff --git a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps index dd8245f6..cbf2d0b3 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps @@ -16170,17 +16170,7 @@ - - - - - - - - - - - +