diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-01 02:13:22 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-01 02:13:22 +0000 |
commit | 590b110c303021694c0ed17008d1a3f526f04451 (patch) | |
tree | ad8e9f73c87ada979f6656e4cd2c6019ea015243 /src/boot/tokens.boot | |
parent | 07fcfb463c0ea0ef40cc8886ee12c4dd20d9d759 (diff) | |
download | open-axiom-590b110c303021694c0ed17008d1a3f526f04451.tar.gz |
* boot/tokens.boot: Don't rename append.
* boot/parser.boot (bpTyping): Support universally quantified types.
* boot/ast.boot: Rewrite APPEND as append.
(%Forall): New AST node.
* boot/translator.boot: Translate it.
Diffstat (limited to 'src/boot/tokens.boot')
-rw-r--r-- | src/boot/tokens.boot | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/boot/tokens.boot b/src/boot/tokens.boot index 0ac85387..3a4eff6b 100644 --- a/src/boot/tokens.boot +++ b/src/boot/tokens.boot @@ -62,6 +62,7 @@ shoeKeyWords == [ _ ['"else", "ELSE"] , _ ['"finally", "FINALLY"], _ ['"for", "FOR"] , _ + ['"forall", "FORALL"] , _ ['"has", "HAS"] , _ ['"if", "IF"], _ ['"import", "IMPORT"], _ @@ -223,7 +224,6 @@ for i in [ _ ["*", 1] , _ ["times", 1] , _ ["CONS", nil] , _ - ["APPEND", nil] , _ ["append", nil] , _ ["append!", nil] , _ ["UNION", nil] , _ @@ -243,7 +243,6 @@ for i in [ _ ["alphabetic?", "ALPHA-CHAR-P"], _ ["alphanumeric?", "ALPHANUMERICP"], _ ["and", "AND"] , _ - ["append", "APPEND"] , _ ["apply", "APPLY"] , _ ["array?", "ARRAYP"] , _ ["arrayRef", "AREF"] , _ |