From d76c902f18d1ee40c52372c37336631c0f81bfc8 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 30 Oct 2011 16:38:47 +0000
Subject: 	* interp/sys-macros.lisp (MKPF1): Tidy. 	*
 interp/sys-constants.boot ($QueryVariables): New. 	* interp/define.boot
 ($whreDecls): Remove. 	(checkRepresentation): Take a DB as first parameter. 
 Adjust Callers. 	(buildConstructorCondition): New 
 (deduceImplicitParameters): Likewise 	(compDefineCategory2): Use it. 
 (compDefineFunctor1): Likewise. 	(typeDependencyPath): Remove. 
 (inferConstructorImplicitParameters): Likewise. 	* interp/compiler.boot
 (compTopLevel): Do not bind $whereDecls. 
 (recordDeclarationInSideCondition): Take additional reference 	parameter to
 the list of processed decls.  Adjust callers. 	(compWhere): Record any side
 decls in compilation environment. 	* interp/c-util.boot
 (makeCompilationData): Initialize implicit data. 	(dbParameters): New. 
 (dbImplicitData): New accessor macro. 	(dbImplicitParameters): New. 
 (dbImplicitConstraints): Likewise. 	(dbSubstituteFormals): Likewise. 
 (dbSubstituteQueries): Likewise. 	* interp/database.boot
 (fixUpPredicate): Tidy. 	* boot/utility.boot (applySubst): Early exit
 on identity substitution. 	(applySubst!): Likewise. 
 (applySubstNQ): Likewise. 	* boot/ast.boot (bfIS1): Accept pattern
 matching against Boolean 	constant true.

---
 src/boot/strap/ast.clisp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/boot/strap/ast.clisp')

diff --git a/src/boot/strap/ast.clisp b/src/boot/strap/ast.clisp
index 2842cf8a..f074ad0b 100644
--- a/src/boot/strap/ast.clisp
+++ b/src/boot/strap/ast.clisp
@@ -1053,6 +1053,7 @@
          |d| |c| |a|)
     (RETURN
      (COND ((NULL |rhs|) (LIST 'NULL |lhs|))
+           ((EQ |rhs| T) (LIST 'EQ |lhs| |rhs|))
            ((|bfString?| |rhs|)
             (|bfAND| (LIST (LIST 'STRINGP |lhs|) (LIST 'STRING= |lhs| |rhs|))))
            ((OR (|bfChar?| |rhs|) (INTEGERP |rhs|)) (LIST 'EQL |lhs| |rhs|))
@@ -3281,7 +3282,7 @@
                            (CONS |rettype| NIL)))))
       (COND
        ((EQ |t| '|string|)
-        (SETQ |call| (LIST (|bfColonColon| 'CCL 'GET-CSTRING) |call|))))
+        (SETQ |call| (LIST (|bfColonColon| 'CCL '%GET-CSTRING) |call|))))
       (LET ((|bfVar#14| |aryPairs|) (|arg| NIL))
         (LOOP
          (COND
-- 
cgit v1.2.3