12 Jun
2006
12 Jun
'06
5:23 p.m.
>> "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