Add support for Lisp declarations in generated Lisp code.

	* interp/i-map.boot (compileCoerceMap): Tell backend that
	minivector is global.
	* interp/i-spec1.boot (compileADEFBody): Likewise.
	* interp/slam.boot (reportFunctionCompilation): Likewise.
	* interp/define.boot (spadCompileOrSetq): Tell backend to ignore
	last argument for simple functions.
	* interp/c-util.boot (skipDeclarations): New.
	(lastDeclarationNode): Likewise.
	(declareGlobalVariables): Likewise.
	(transformToBackendCode): Use them to allow for Lisp
	declarations in middle-end forms.
	* interp/sys-driver.boot (AxiomCore::%sysInit): Reading Lisp level
	Floating point numbers default to double precision.
	* algebra/strap: Update.

1 files changed, 10 insertions, 6 deletions

diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp
index 565c4386..693fc054 100644
--- a/src/algebra/strap/BOOLEAN.lsp
+++ b/src/algebra/strap/BOOLEAN.lsp
@@ -79,13 +79,13 @@
 (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Shell|) |%Thing|)
                 |BOOLEAN;coerce;$Of;23|)) 
 
-(DEFUN |BOOLEAN;test;2$;1| (|a| $) |a|) 
+(DEFUN |BOOLEAN;test;2$;1| (|a| $) (DECLARE (IGNORE $)) |a|) 
 
 (DEFUN |BOOLEAN;nt| (|b| $) (COND (|b| 'NIL) ('T 'T))) 
 
-(DEFUN |BOOLEAN;true;$;3| ($) 'T) 
+(DEFUN |BOOLEAN;true;$;3| ($) (DECLARE (IGNORE $)) 'T) 
 
-(DEFUN |BOOLEAN;false;$;4| ($) NIL) 
+(DEFUN |BOOLEAN;false;$;4| ($) (DECLARE (IGNORE $)) NIL) 
 
 (DEFUN |BOOLEAN;not;2$;5| (|b| $) (COND (|b| 'NIL) ('T 'T))) 
 
@@ -108,16 +108,20 @@
 (DEFUN |BOOLEAN;nand;3$;13| (|a| |b| $)
   (COND (|a| (|BOOLEAN;nt| |b| $)) ('T 'T))) 
 
-(DEFUN |BOOLEAN;=;3$;14| (|a| |b| $) (EQ |a| |b|)) 
+(DEFUN |BOOLEAN;=;3$;14| (|a| |b| $)
+  (DECLARE (IGNORE $))
+  (EQ |a| |b|)) 
 
 (DEFUN |BOOLEAN;implies;3$;15| (|a| |b| $) (COND (|a| |b|) ('T 'T))) 
 
-(DEFUN |BOOLEAN;equiv;3$;16| (|a| |b| $) (EQ |a| |b|)) 
+(DEFUN |BOOLEAN;equiv;3$;16| (|a| |b| $)
+  (DECLARE (IGNORE $))
+  (EQ |a| |b|)) 
 
 (DEFUN |BOOLEAN;<;3$;17| (|a| |b| $)
   (COND (|b| (|BOOLEAN;nt| |a| $)) ('T 'NIL))) 
 
-(DEFUN |BOOLEAN;size;Nni;18| ($) 2) 
+(DEFUN |BOOLEAN;size;Nni;18| ($) (DECLARE (IGNORE $)) 2) 
 
 (DEFUN |BOOLEAN;index;Pi$;19| (|i| $)
   (COND ((SPADCALL |i| (|getShellEntry| $ 26)) 'NIL) ('T 'T)))