22 May
2006
22 May
'06
10:57 p.m.
On 2006-05-22, Akim Demaille <akim(a)lrde.epita.fr> wrote:
Pas a ma connaissance. Mais j'ai jamais vraiment cherche du cote des
possibilites de correction orthographique dans ViM.
Je ne suis pas sur, c'etait code comme ca pour les integers dans stratego-lib.
Je presume que ces strategies doivent juste reeussir ou failer, sans modifier
le term courrant. Ca n'aurait pas vraiment de sens, elles sont juste la pour
tester quelque chose, pas pour calculer quelque chose.
Enfin je pense.
Oui et non. Etant donne que ca commence par /** ca serait surement interprete
comme des commentaires xDoc.
Je pense que la final release sera entierement commente avec des des
commentaires a la xDoc. Histoire de.
--
SIGOURE Benoit aka Tsuna
_____
/EPITA\ Promo 2008.CSI Rock & tRoll
>>
"SIGOURE" == SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> writes:
AddZero:
- Plus(e, Int("0")) -> e
+ |[ e + 0 ]| -> |[ e ]|
Cool !
EvalPlus:
- Plus(Int(i), Int(j)) -> Int(<addS>(i, j))
- EvalPlus:
- Plus(Double(i), Int(j)) -> Double(<addR>(i, j))
- EvalPlus:
- Plus(Int(i), Double(j)) -> Double(<addR>(i, j))
- EvalPlus:
- Plus(Double(i), Double(j)) -> Double(<addR>(i, j))
+ |[ d1 + d2 ]| -> |[ r ]| where <addR>(d1, d2) => r
Très cool.
Index: src/str/reals.str
--- src/str/reals.str (revision 0)
+++ src/str/reals.str (revision 0)
@@ -0,0 +1,27 @@
+module reals
+
+strategies
+
+ // for some reason the following rules are only defined for integers
+ // in the stratego-lib. Here is their equivalant for reals.
equivalent. Emacs dispose de correction orthographique des chaînes et
des commentaires, je suppose de vim aussi. + addR = (string-to-real, string-to-real);
addr; real-to-string
+ subtR = (string-to-real, string-to-real); subtr; real-to-string
+ mulR = (string-to-real, string-to-real); mulr; real-to-string
+ divR = (string-to-real, string-to-real); divr; real-to-string
+ gtR = where((string-to-real, string-to-real); gtr)
+ geqR = where((string-to-real, string-to-real); ?(x,x) <+ gtr)
+ ltR = where((string-to-real, string-to-real); not(?(x,x) <+ gtr))
+ leqR = where((string-to-real, string-to-real); not(gtr))
Pourquoi des where dans la seconde partie ? + /**
+ ** tests whether two reals are equal
+ ** => tests if there difference is less than 10^-7
+ ** operates on the input term (a, b)
+ ** eg: <real-eq> ("0.42", "0.43") -> fail
+ */
Ce sont des commentaires xDoc ça ?