From 2546c17a213f87b5a3cd66b58faf84ac6b6186b0 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 19 Jan 2008 22:05:42 +0000
Subject: 	* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Now
 include 	SYNTAX.o 	* algebra/syntax.spad (buildSyntax$Syntax):
 Use CONS$Lisp to 	permit early bootstrap.

---
 src/algebra/syntax.spad | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'src/algebra/syntax.spad')

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
-- 
cgit v1.2.3