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/lisp | |
| 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/lisp')
| -rw-r--r-- | src/lisp/core.lisp.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/lisp/core.lisp.in b/src/lisp/core.lisp.in index a083b108..164b13e6 100644 --- a/src/lisp/core.lisp.in +++ b/src/lisp/core.lisp.in @@ -76,6 +76,7 @@ "%Atom" "%Maybe" "%Pair" + "%Node" "%List" "%Vector" "%BitVector" @@ -221,6 +222,9 @@ (deftype |%Pair| (u v) `(cons ,u ,v)) +(deftype |%Node| (s) + `(cons ,s null)) + (deftype |%List| (s) `(or null (cons ,s))) |