diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-04 13:56:52 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-04 13:56:52 +0000 |
commit | 9a593e3b395c1ba0c6036760c12713d7485f8c54 (patch) | |
tree | dd8eadbf07dde50ca15d6aa4181c902ad7b09d3c /src/boot/ast.boot | |
parent | e77d30ccf1b663aaa6ec1e017fa8e31f3296afeb (diff) | |
download | open-axiom-9a593e3b395c1ba0c6036760c12713d7485f8c54.tar.gz |
cleanup
Diffstat (limited to 'src/boot/ast.boot')
-rw-r--r-- | src/boot/ast.boot | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/src/boot/ast.boot b/src/boot/ast.boot index 3cc190ae..670ad2da 100644 --- a/src/boot/ast.boot +++ b/src/boot/ast.boot @@ -856,7 +856,7 @@ bfDef1 [op,args,body] == argl := bfTupleP args => rest args [args] - [quotes,control,arglp,body]:=bfInsertLet (argl,body) + [quotes,control,arglp,body] := bfInsertLet (argl,body) quotes => shoeLAM(op,arglp,control,body) [[op,["LAMBDA",arglp,body]]] @@ -955,16 +955,13 @@ shoePROG(v,b)== [["PROG",v,:blist,["RETURN", blast]]] shoeFluids x== - x = nil => nil - symbol? x and bfBeginsDollar x => [x] - atom x => nil - x is ["QUOTE",:.] => nil + ident? x and bfBeginsDollar x => [x] + atomic? x => nil [:shoeFluids first x,:shoeFluids rest x] shoeATOMs x == - x = nil => nil - symbol? x => [x] - atom x => nil + ident? x => [x] + atomic? x => nil [:shoeATOMs first x,:shoeATOMs rest x] ++ Return true if `x' is an identifier name that designates a |