Re: XRM 58: Add ConstantDef in concrete syntax. - Projects

12 Jun 2006

...
 >> "SIGOURE" == SIGOURE Benoit
&lt;sigoure.benoit(a)lrde.epita.fr&gt; writes: 
...
  Index: src/syn/prism/StrategoPRISM.sdf
 --- src/syn/prism/StrategoPRISM.sdf	(revision 57)
 +++ src/syn/prism/StrategoPRISM.sdf	(working copy)
 @@ -15,6 +15,7 @@
      "|[" Expression "]|"	-> StrategoTerm
{prefer,cons("ToTerm")}
      "|[" Declaration "]|"	-> StrategoTerm
{prefer,cons("ToTerm")}
      "|[" Command "]|"		-> StrategoTerm
{prefer,cons("ToTerm")}
 +    "|[" ConstantDef "]|"	-> StrategoTerm
{prefer,cons("ToTerm")}  
...
     context-free syntax  

Can you teach me the different between this file, and the change XRM
56:

Index: src/syn/prism/PRISM-MetaCongruences.sdf

--- src/syn/prism/PRISM-MetaCongruences.sdf	(revision 55)
+++ src/syn/prism/PRISM-MetaCongruences.sdf	(working copy)
@@ -7,3 +7,4 @@
     "|[" Expression "]|"	-> StrategoStrategy
{prefer,cons("ToStrategy")}
     "|[" Declaration "]|"	-> StrategoStrategy
{prefer,cons("ToStrategy")}
     "|[" Command "]|"		-> StrategoStrategy
{prefer,cons("ToStrategy")}
+    "|[" ConstantDef "]|"	-> StrategoStrategy
{prefer,cons("ToStrategy")}

?

I can see there is "ToStrategy" ot1h and ToTerm otoh, but what are the
respective roles?  And isn't this a sign you'd like to generate the
two files from a common sources?

    