diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-15 03:06:56 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-15 03:06:56 +0000 |
commit | e3790da8fee54ede09e8126213a10da0aa555d06 (patch) | |
tree | 34c6e47ff9cb808f8c0bfc80083edf356adde4af /src/boot | |
parent | ae81d788f27a95c608b860d8a989f56c8796803e (diff) | |
download | open-axiom-e3790da8fee54ede09e8126213a10da0aa555d06.tar.gz |
cleanup
Diffstat (limited to 'src/boot')
-rw-r--r-- | src/boot/ast.boot | 2 | ||||
-rw-r--r-- | src/boot/strap/ast.clisp | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/src/boot/ast.boot b/src/boot/ast.boot index f6819e08..32d6af8d 100644 --- a/src/boot/ast.boot +++ b/src/boot/ast.boot @@ -461,7 +461,6 @@ bfForin(lhs,U)== bfLocal(a,b)== b is "FLUID" => compFluid a - b is "fluid" => compFluid a b is "local" => compFluid a a @@ -1007,7 +1006,6 @@ bfTagged(a,b)== $op = nil => %Signature(a,b) -- surely a toplevel decl symbol? a => b is "FLUID" => bfLET(compFluid a,nil) - b is "fluid" => bfLET(compFluid a,nil) b is "local" => bfLET(compFluid a,nil) $typings := [["TYPE",b,a],:$typings] a diff --git a/src/boot/strap/ast.clisp b/src/boot/strap/ast.clisp index 4d3fb2a8..c43b3c3e 100644 --- a/src/boot/strap/ast.clisp +++ b/src/boot/strap/ast.clisp @@ -696,7 +696,6 @@ (DEFUN |bfLocal| (|a| |b|) (COND ((EQ |b| 'FLUID) (|compFluid| |a|)) - ((EQ |b| '|fluid|) (|compFluid| |a|)) ((EQ |b| '|local|) (|compFluid| |a|)) (T |a|))) @@ -1936,7 +1935,6 @@ ((SYMBOLP |a|) (COND ((EQ |b| 'FLUID) (|bfLET| (|compFluid| |a|) NIL)) - ((EQ |b| '|fluid|) (|bfLET| (|compFluid| |a|) NIL)) ((EQ |b| '|local|) (|bfLET| (|compFluid| |a|) NIL)) (T (SETQ |$typings| (CONS (LIST 'TYPE |b| |a|) |$typings|)) |a|))) (T (LIST 'THE |b| |a|)))) |