From a619487f9feb4a530244171b94decfccce57af8b Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 13 Oct 2008 04:44:48 +0000 Subject: 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. --- src/algebra/strap/INS-.lsp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/algebra/strap/INS-.lsp') diff --git a/src/algebra/strap/INS-.lsp b/src/algebra/strap/INS-.lsp index 7feb7cf5..b16fd75f 100644 --- a/src/algebra/strap/INS-.lsp +++ b/src/algebra/strap/INS-.lsp @@ -95,7 +95,7 @@ |%Thing|) |INS-;powmod;4S;29|)) -(DEFUN |INS-;characteristic;Nni;1| ($) 0) +(DEFUN |INS-;characteristic;Nni;1| ($) (DECLARE (IGNORE $)) 0) (DEFUN |INS-;differentiate;2S;2| (|x| $) (|spadConstant| $ 9)) @@ -106,7 +106,7 @@ (DEFUN |INS-;positive?;SB;4| (|x| $) (SPADCALL (|spadConstant| $ 9) |x| (|getShellEntry| $ 15))) -(DEFUN |INS-;copy;2S;5| (|x| $) |x|) +(DEFUN |INS-;copy;2S;5| (|x| $) (DECLARE (IGNORE $)) |x|) (DEFUN |INS-;bit?;2SB;6| (|x| |i| $) (SPADCALL @@ -118,7 +118,7 @@ (SPADCALL (SPADCALL (|spadConstant| $ 21) |n| (|getShellEntry| $ 19)) (|getShellEntry| $ 22))) -(DEFUN |INS-;rational?;SB;8| (|x| $) 'T) +(DEFUN |INS-;rational?;SB;8| (|x| $) (DECLARE (IGNORE $)) 'T) (DEFUN |INS-;euclideanSize;SNni;9| (|x| $) (PROG (#0=#:G1424 #1=#:G1425) -- cgit v1.2.3