diff options
author | dos-reis <gdr@axiomatics.org> | 2008-07-02 10:19:16 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-07-02 10:19:16 +0000 |
commit | f434b1c1c6f2c9af3da71cd78218f5fa18906616 (patch) | |
tree | b481da5d8bdcf90f5074ee2f1359a2cb53106456 /src/interp | |
parent | c2d4514bfae7dbe8572c69fac2b9c013252d31f1 (diff) | |
download | open-axiom-f434b1c1c6f2c9af3da71cd78218f5fa18906616.tar.gz |
* interp/compiler.boot (compExpression): Tidy.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/compiler.boot | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index 550776b2..4eebd0b6 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -283,7 +283,8 @@ extractCodeAndConstructTriple(u, m, oldE) == compExpression: (%Form,%Mode,%Env) -> %Maybe %Triple compExpression(x,m,e) == $insideExpressionIfTrue: local:= true - atom first x and (fn:= GETL(first x,"SPECIAL")) => + -- special forms have dedicated compilers. + (op := first x) and SYMBOLP op and (fn := GET(op,"SPECIAL")) => FUNCALL(fn,x,m,e) compForm(x,m,e) @@ -1702,4 +1703,4 @@ for x in [["|", :"compSuchthat"],_ ["UnionCategory", :"compConstructorCategory"],_ ["where", :"compWhere"],_ ["[||]", :"compileQuasiquote"]] repeat - MAKEPROP(car x, 'SPECIAL, cdr x) + MAKEPROP(first x, "SPECIAL", rest x) |