diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-09 07:08:27 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-09 07:08:27 +0000 |
commit | a8716de1c3778c147f62d18f1648d8b23163fccf (patch) | |
tree | fdcef0df213b4d7c755f05d7d8dcaa07d484fdb4 /src/interp/define.boot | |
parent | 5eacf6339b7768a4c6d048d5fce6c5aff8c2d62a (diff) | |
download | open-axiom-a8716de1c3778c147f62d18f1648d8b23163fccf.tar.gz |
* interp/compiler.boot (compLogicalNot): Tidy.
* interp/define.boot (doIt): Tidy conditional case.
* boot/tokens.boot: 'fourth' is a now a builtin function.
Diffstat (limited to 'src/interp/define.boot')
-rw-r--r-- | src/interp/define.boot | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 8cbc7ce9..543450d9 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1482,7 +1482,13 @@ doIt(item,$predl) == item is ["%SignatureImport",:.] => [.,.,$e] := compSignatureImport(item,$EmptyMode,$e) mutateToNothing item - item is ["IF",:.] => doItIf(item,$predl,$e) + item is ["IF",p,x,y] => + p is ["not",p'] => + rplac(second item,p') + rplac(third item,y) + rplac(fourth item,x) + doIt(item,$predl) + doItIf(item,$predl,$e) item is ["where",b,:l] => compOrCroak(item,$EmptyMode,$e) item is ["MDEF",:.] => [.,.,$e]:= compOrCroak(item,$EmptyMode,$e) item is ['DEF,[op,:.],:.] => |