12 Jun
2006
12 Jun
'06
6:09 p.m.
>> "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 :)