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, 8 insertions, 4 deletions

diff --git a/src/algebra/strap/LIST.lsp b/src/algebra/strap/LIST.lsp
index 97621b74..e43d4ed3 100644
--- a/src/algebra/strap/LIST.lsp
+++ b/src/algebra/strap/LIST.lsp
@@ -48,13 +48,17 @@
 (DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|)
                 |LIST;convert;$If;13|)) 
 
-(DEFUN |LIST;nil;$;1| ($) NIL) 
+(DEFUN |LIST;nil;$;1| ($) (DECLARE (IGNORE $)) NIL) 
 
-(DEFUN |LIST;null;$B;2| (|l| $) (NULL |l|)) 
+(DEFUN |LIST;null;$B;2| (|l| $) (DECLARE (IGNORE $)) (NULL |l|)) 
 
-(DEFUN |LIST;cons;S2$;3| (|s| |l| $) (CONS |s| |l|)) 
+(DEFUN |LIST;cons;S2$;3| (|s| |l| $)
+  (DECLARE (IGNORE $))
+  (CONS |s| |l|)) 
 
-(DEFUN |LIST;append;3$;4| (|l| |t| $) (APPEND |l| |t|)) 
+(DEFUN |LIST;append;3$;4| (|l| |t| $)
+  (DECLARE (IGNORE $))
+  (APPEND |l| |t|)) 
 
 (DEFUN |LIST;writeOMList| (|dev| |x| $)
   (SEQ (SPADCALL |dev| (|getShellEntry| $ 14))