Re: XRM 59: Add (buggy) support for PCTL/CSL formulas.
"SIGOURE" == SIGOURE Benoit <sigoure.benoit@lrde.epita.fr> writes:
Index: src/lib/pctl/pp/pctl-label.meta --- src/lib/pctl/pp/pctl-label.meta (revision 0) +++ src/lib/pctl/pp/pctl-label.meta (revision 0) @@ -0,0 +1 @@ +Meta([Syntax("Stratego-Box")])
ISTR that you ought to specify the start symbol to avoid bad surprises. Sure, there may be only one in your case, but let's play it safe. See Thomas who knows what to do.
On 2006-06-12, Akim Demaille <akim@lrde.epita.fr> wrote:
"SIGOURE" == SIGOURE Benoit <sigoure.benoit@lrde.epita.fr> writes:
Index: src/lib/pctl/pp/pctl-label.meta --- src/lib/pctl/pp/pctl-label.meta (revision 0) +++ src/lib/pctl/pp/pctl-label.meta (revision 0) @@ -0,0 +1 @@ +Meta([Syntax("Stratego-Box")])
ISTR that you ought to specify the start symbol to avoid bad surprises. Sure, there may be only one in your case, but let's play it safe. See Thomas who knows what to do.
I've never seen that in Stratego/XT's sources... I'll ask Thomas. -- SIGOURE Benoit aka Tsuna _____ /EPITA\ Promo 2008.CSI Rock & tRoll
"Tsuna" == Tsuna <tsuna@warszawa.lrde.epita.fr> writes:
On 2006-06-12, Akim Demaille <akim@lrde.epita.fr> wrote:
"SIGOURE" == SIGOURE Benoit <sigoure.benoit@lrde.epita.fr> writes:
Index: src/lib/pctl/pp/pctl-label.meta --- src/lib/pctl/pp/pctl-label.meta (revision 0) +++ src/lib/pctl/pp/pctl-label.meta (revision 0) @@ -0,0 +1 @@ +Meta([Syntax("Stratego-Box")])
ISTR that you ought to specify the start symbol to avoid bad surprises. Sure, there may be only one in your case, but let's play it safe. See Thomas who knows what to do.
I've never seen that in Stratego/XT's sources... I'll ask Thomas.
Did you?
participants (2)
-
Akim Demaille -
Tsuna