diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-01-19 22:05:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-01-19 22:05:42 +0000 |
| commit | 2546c17a213f87b5a3cd66b58faf84ac6b6186b0 (patch) | |
| tree | 28545f35afaf5f1404134dc75415af54c907f2a9 /src/algebra/syntax.spad | |
| parent | 83b50e1c4c79fe3ac9fbc52150192942266338b6 (diff) | |
| download | open-axiom-2546c17a213f87b5a3cd66b58faf84ac6b6186b0.tar.gz | |
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Now include
SYNTAX.o
* algebra/syntax.spad (buildSyntax$Syntax): Use CONS$Lisp to
permit early bootstrap.
Diffstat (limited to 'src/algebra/syntax.spad')
| -rw-r--r-- | src/algebra/syntax.spad | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/algebra/syntax.spad b/src/algebra/syntax.spad index 5058dcb6..f6d0719e 100644 --- a/src/algebra/syntax.spad +++ b/src/algebra/syntax.spad @@ -195,10 +195,14 @@ Syntax(): Public == Private where -- ??? ideally we should have overloaded operator `per' that convert -- from list of syntax to syntax. But the compiler is at the -- moment defective for non-exported overloaded operations. - cons(s::%, l) pretend % + -- Furthermore, this direct call to `CONS' is currently necessary + -- in order to have the Syntax domain compiled as early as possible + -- in algebra boostrapping process. It should be removed once + -- the bootstrap process is improved. + CONS(s,l)$Lisp @ % buildSyntax(op: %, l: List %): % == - cons(op, l) pretend % + CONS(op,l)$Lisp @ % nil? x == null? rep x |