12 Jun
2006
12 Jun
'06
5:32 p.m.
>> "SIGOURE" == SIGOURE Benoit
<sigoure.benoit(a)lrde.epita.fr> 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?