SIGOURE Benoit sigoure.benoit@lrde.epita.fr writes:
https://svn.lrde.epita.fr/svn/xrm/trunk
Index: ChangeLog from SIGOURE Benoit sigoure.benoit@lrde.epita.fr
Add the rand() builtin.
- src/lib/xrm/pp/xrm-expression.str: Add boxing for the rand builtin.
- src/str/xrm-to-prism.str: Split xrm-to-prism-desugar in several rules. Add rand(N) and rand(from, to) builtin.
- src/str/ice.str: Add not-implemented() strategy.
- src/str/eval-meta-code.str: Nothing.
- src/syn/xrm/XRM-Expression.sdf: Add the rand builtin.
- src/syn/prism/PRISM-MetaVars.sdf: Add a meta-var.
- src/syn/prism/StrategoPRISM.sdf: Ditto.
- tests/xrm/rand.xpm: New.
- tests/prism/formula.pm: New.
- TODO: Update.
Marvelous, thanks a lot ! Et mes amitiés à ta copine ! ;-)