12 Jun
2006
12 Jun
'06
5:22 p.m.
>> "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 ]|
13 Jun
13 Jun
4:49 p.m.
New subject: XRM 53: Add meta-if at Expression level.
On 2006-06-12, Akim Demaille <akim(a)lrde.epita.fr> wrote:
Although that's not likely to happen, I can add it yeah.
Thanks.
--
SIGOURE Benoit aka Tsuna
_____
/EPITA\ Promo 2008.CSI Rock & tRoll
>>
"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 ]|
10:30 a.m.
New subject: XRM 53: Add meta-if at Expression level.
>> "Tsuna" == Tsuna
<tsuna(a)warszawa.lrde.epita.fr> writes:
> EvalIf:
> |[ d ? e : e ]| -> |[ e ]|
Although that's not likely to happen, I can add it
yeah.
I beg to disagree. It is unlikely to written, agreed. It not
unlikely to be generated as part of a loop for instance.
6787
days inactive
6788
days old
2 comments
2 participants
participants (2)
-
Akim Demaille -
Tsuna