Projects

projects@lrde.epita.fr

1049 discussions

Re: XRM 53: Add meta-if at Expression level.

by Akim Demaille

>>> "SIGOURE" == SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> writes: I don't think you need these two: > + EvalIf: > + |[ d ? e1 : e2 ]| -> |[ e1 ]| > + where <not(compare(real-eq))>(d, 0) > + > + EvalIf: > + |[ d ? e1 : e2 ]| -> |[ e2 ]| > + where <compare(real-eq)>(d, 0) > + Since > + LitToBool: > + |[ d ]| -> |[ false ]| > + where <compare(real-eq)>(d, 0) > + > + LitToBool: > + |[ d ]| -> |[ true ]| > + where <not(compare(real-eq))>(d, 0) and > ?MetaIf(condition, then-part, else-part) > ///*DEBUG*/; say(!" @@@ eval-meta-if: starting:") > ///*DEBUG*/; printf(|" condition = ", condition) > - ; where(<prism-desugar> condition => condition-value) > + ; where(<prism-desugar> condition > + ; try(LitToBool) => condition-value) > ///*DEBUG*/; printf(|" condition-value = ", condition-value) > ; if !condition-value => True() then > <eval-meta-code> then-part

18 years, 7 months

Re: XRM 51: Add static constant propagations in static definitions.

by Akim Demaille

>>> "SIGOURE" == SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> writes: > collect-static-const-decl = > ?ConstInt(idf, value) > - ; where(!value{Type("int")} => v) > ; if <ExpandStaticConsts> idf then > cannot-redefine-static-const(|idf) > end > ; if <ExpandFormulas> idf then > cannot-redefine-formula(|idf) > end Why don't you factor your checkings into a "<check-redefinitions> idf"? > + ; where(<innermost(ExpandStaticConsts + ExpandFormulas)> value => v' > + ; !v'{Type("int")} => v) > ; rules(ExpandStaticConsts: idf -> v) > collect-static-const-decl = > ?ConstDouble(idf, value) > - ; where(!value{Type("double")} => v) > ; if <ExpandStaticConsts> idf then > cannot-redefine-static-const(|idf) > end > ; if <ExpandFormulas> idf then > cannot-redefine-formula(|idf) > end > + ; where(<innermost(ExpandStaticConsts + ExpandFormulas)> value => v' > + ; !v'{Type("double")} => v) > ; rules(ExpandStaticConsts: idf -> v) > collect-static-const-decl = > ?ConstBool(idf, value) > - ; where(!value{Type("bool")} => v) > ; if <ExpandStaticConsts> idf then > cannot-redefine-static-const(|idf) > end > ; if <ExpandFormulas> idf then > cannot-redefine-formula(|idf) > end > + ; where(<innermost(ExpandStaticConsts + ExpandFormulas)> value => v' > + ; !v'{Type("bool")} => v) > ; rules(ExpandStaticConsts: idf -> v) Also, the truplicate where clause seems truplication of code...

18 years, 7 months

Re: XRM 49: Add the static_rand builtin.

by Akim Demaille

>>> "SIGOURE" == SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> writes: > Add the static_rand builtin. > NOTE: Some C was needed to implement rand(from, to) because for some > reason I didn't succeed in writing something equivalent in Stratego. > For some reason, the numbers I generated were all too small. Finalement, tu sais pourquoi ?

18 years, 7 months

rivf.xpm

by Akim Demaille

Est-ce que les modifications que je propose sont bonnes ?

18 years, 7 months

Re: XRM 53: Add meta-if at Expression level.

by Akim Demaille

>>> "SIGOURE" == SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> writes: > + EvalIf: > + |[ true ? e1 : e2 ]| -> |[ e1 ]| > + > + EvalIf: > + |[ false ? e1 : e2 ]| -> |[ e2 ]| > + > + EvalIf: > + |[ d ? e1 : e2 ]| -> |[ e1 ]| > + where <not(compare(real-eq))>(d, 0) > + > + EvalIf: > + |[ d ? e1 : e2 ]| -> |[ e2 ]| > + where <compare(real-eq)>(d, 0) How about testing whether e1 and e2 evaluate to the same value? I guess a previous phase did it already, as for the truth value, so EvalIf: |[ d ? e : e ]| -> |[ e ]|

18 years, 7 months

Re: XRM 55: Add documentation draft for XRM.

by michael.cadilhac＠lrde.org

SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> writes: > Index: doc/user-guide.txt > --- doc/user-guide.txt (revision 0) > +++ doc/user-guide.txt (revision 0) > @@ -0,0 +1,392 @@ I'm sure you want to know more about RST [1], isn't it ? Footnotes: [1] http://docutils.sourceforge.net/rst.html -- | La culture c'est comme la confiture, Michaël `Micha' Cadilhac | | c'est meilleur avec du pain. cadilh_m - Epita 2007 - CSI | | -- MOI59 JID: micha(a)amessage.be | `-- - - - - --'

18 years, 7 months

Re: XRM 67: Fix pretty-printing.

by Akim Demaille

>>> "SIGOURE" == SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> writes: > +for file in `find "@srcdir@" -name '*.pctl' -o -name '*.csl' | sort`; do Honestly, using @var@ in a script reads awful. I strongly suggest adding strdir='@srcdir@' in the prolog, and using $srcdir.

18 years, 7 months

Re: XRM 66: Add parameterized formulas.

by Akim Demaille

>>> "SIGOURE" == SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> writes: > Index: tests/test-parse-xrm.sh.in > --- tests/test-parse-xrm.sh.in (revision 65) > +++ tests/test-parse-xrm.sh.in (working copy) > @@ -18,7 +18,7 @@ > "@top_builddir@/src/tools/parse-xrm" -i "$file" -o /dev/null > rv=$? > test_cnt=$((test_cnt + 1)) > - if [ $? -eq 0 ]; then > + if [ $rv -eq 0 ]; then > echo 'OK, no ambiguities found' > test_pass=$((test_pass + 1)) > else > Index: tests/test-parse-xpctl.sh.in > --- tests/test-parse-xpctl.sh.in (revision 65) > +++ tests/test-parse-xpctl.sh.in (working copy) > @@ -18,7 +18,7 @@ > "@top_builddir@/src/tools/parse-xpctl" -i "$file" -o /dev/null > rv=$? > test_cnt=$((test_cnt + 1)) > - if [ $? -eq 0 ]; then > + if [ $rv -eq 0 ]; then > echo 'OK, no ambiguities found' > test_pass=$((test_pass + 1)) > else > I I let you guess what my thoughts are... :)

18 years, 7 months

Re: XRM 66: Add parameterized formulas.

by Akim Demaille

>>> "SIGOURE" == SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> writes: > cannot-redefine-static-const(|idf) = > !idf => Identifier(idf') > cannot-redefine-formula(|idf) = > !idf => Identifier(idf') > + > + cannot-redefine-parameterized-formula(|idf) = > + !idf => Identifier(idf') Shouldn't you introduce string-from-identifier? Or identifier-to-string, I don't know if there is a name convention.

18 years, 7 months

Re: XRM 66: Add parameterized formulas.

by Akim Demaille

>>> "SIGOURE" == SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> writes: > collect-static-const-decl = > ?ConstInt(idf, value) > - ; if <ExpandStaticConsts> idf then > - cannot-redefine-static-const(|idf) > - end > - ; if <ExpandFormulas> idf then > - cannot-redefine-formula(|idf) > - end > + ; check-identifier-unicity(|idf) > ; where(<innermost(ExpandStaticConsts + ExpandFormulas)> value => v' > ; !v'{Type("int")} => v) > ; rules(ExpandStaticConsts: idf -> v) > collect-static-const-decl = > ?ConstDouble(idf, value) > - ; if <ExpandStaticConsts> idf then > - cannot-redefine-static-const(|idf) > - end > - ; if <ExpandFormulas> idf then > - cannot-redefine-formula(|idf) > - end > + ; check-identifier-unicity(|idf) > ; where(<innermost(ExpandStaticConsts + ExpandFormulas)> value => v' > ; !v'{Type("double")} => v) > ; rules(ExpandStaticConsts: idf -> v) > collect-static-const-decl = > ?ConstBool(idf, value) > - ; if <ExpandStaticConsts> idf then > - cannot-redefine-static-const(|idf) > - end > - ; if <ExpandFormulas> idf then > - cannot-redefine-formula(|idf) > - end > + ; check-identifier-unicity(|idf) > ; where(<innermost(ExpandStaticConsts + ExpandFormulas)> value => v' > ; !v'{Type("bool")} => v) > ; rules(ExpandStaticConsts: idf -> v) That's nice :)

18 years, 7 months

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Projects