From 590b110c303021694c0ed17008d1a3f526f04451 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 1 May 2011 02:13:22 +0000 Subject: * 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. --- src/boot/tokens.boot | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/boot/tokens.boot') 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"] , _ -- cgit v1.2.3