forked from lix-project/lix
* `null' is a normal form.
This commit is contained in:
parent
e6253b58cd
commit
79bb0008ec
1 changed files with 11 additions and 8 deletions
|
@ -186,14 +186,17 @@ Expr evalExpr2(EvalState & state, Expr e)
|
||||||
ATerm name;
|
ATerm name;
|
||||||
|
|
||||||
/* Normal forms. */
|
/* Normal forms. */
|
||||||
if (atMatch(m, e) >> "Str" ||
|
string cons;
|
||||||
atMatch(m, e) >> "Path" ||
|
if (atMatch(m, e) >> cons &&
|
||||||
atMatch(m, e) >> "Uri" ||
|
(cons == "Str" ||
|
||||||
atMatch(m, e) >> "Int" ||
|
cons == "Path" ||
|
||||||
atMatch(m, e) >> "Bool" ||
|
cons == "Uri" ||
|
||||||
atMatch(m, e) >> "Function" ||
|
cons == "Null" ||
|
||||||
atMatch(m, e) >> "Attrs" ||
|
cons == "Int" ||
|
||||||
atMatch(m, e) >> "List")
|
cons == "Bool" ||
|
||||||
|
cons == "Function" ||
|
||||||
|
cons == "Attrs" ||
|
||||||
|
cons == "List"))
|
||||||
return e;
|
return e;
|
||||||
|
|
||||||
/* Any encountered variables must be undeclared or primops. */
|
/* Any encountered variables must be undeclared or primops. */
|
||||||
|
|
Loading…
Reference in a new issue