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, 2 deletions

diff --git a/src/algebra/strap/PRIMARR.lsp b/src/algebra/strap/PRIMARR.lsp
index 09b02a6b..9aa4b635 100644
--- a/src/algebra/strap/PRIMARR.lsp
+++ b/src/algebra/strap/PRIMARR.lsp
@@ -49,9 +49,11 @@
                     (|%SimpleArray| *))
                 |PRIMARR;fill!;$S$;9|)) 
 
-(DEFUN |PRIMARR;#;$Nni;1| (|x| $) (|sizeOfSimpleArray| |x|)) 
+(DEFUN |PRIMARR;#;$Nni;1| (|x| $)
+  (DECLARE (IGNORE $))
+  (|sizeOfSimpleArray| |x|)) 
 
-(DEFUN |PRIMARR;minIndex;$I;2| (|x| $) 0) 
+(DEFUN |PRIMARR;minIndex;$I;2| (|x| $) (DECLARE (IGNORE $)) 0) 
 
 (DEFUN |PRIMARR;empty;$;3| ($)
   (|makeSimpleArray| (|getVMType| (|getShellEntry| $ 6)) 0)) 
@@ -60,15 +62,19 @@
   (|makeFilledSimpleArray| (|getVMType| (|getShellEntry| $ 6)) |n| |x|)) 
 
 (DEFUN |PRIMARR;qelt;$IS;5| (|x| |i| $)
+  (DECLARE (IGNORE $))
   (|getSimpleArrayEntry| |x| |i|)) 
 
 (DEFUN |PRIMARR;elt;$IS;6| (|x| |i| $)
+  (DECLARE (IGNORE $))
   (|getSimpleArrayEntry| |x| |i|)) 
 
 (DEFUN |PRIMARR;qsetelt!;$I2S;7| (|x| |i| |s| $)
+  (DECLARE (IGNORE $))
   (|setSimpleArrayEntry| |x| |i| |s|)) 
 
 (DEFUN |PRIMARR;setelt;$I2S;8| (|x| |i| |s| $)
+  (DECLARE (IGNORE $))
   (|setSimpleArrayEntry| |x| |i| |s|)) 
 
 (DEFUN |PRIMARR;fill!;$S$;9| (|x| |s| $)