diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-10-13 04:44:48 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-10-13 04:44:48 +0000 |
| commit | a619487f9feb4a530244171b94decfccce57af8b (patch) | |
| tree | 5a0f52493070180df83c72571b54afc514b249a3 /src/algebra/strap/SETCAT-.lsp | |
| parent | af99530af5531146fb9b56b7fc58fe6209db0404 (diff) | |
| download | open-axiom-a619487f9feb4a530244171b94decfccce57af8b.tar.gz | |
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.
Diffstat (limited to 'src/algebra/strap/SETCAT-.lsp')
| -rw-r--r-- | src/algebra/strap/SETCAT-.lsp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/algebra/strap/SETCAT-.lsp b/src/algebra/strap/SETCAT-.lsp index b7ec1f9d..a84a276e 100644 --- a/src/algebra/strap/SETCAT-.lsp +++ b/src/algebra/strap/SETCAT-.lsp @@ -12,9 +12,11 @@ (PUT '|SETCAT-;latex;SS;2| '|SPADreplace| '(XLAM (|s|) "\\mbox{\\bf Unimplemented}")) -(DEFUN |SETCAT-;hash;SSi;1| (|s| $) 0) +(DEFUN |SETCAT-;hash;SSi;1| (|s| $) (DECLARE (IGNORE $)) 0) -(DEFUN |SETCAT-;latex;SS;2| (|s| $) "\\mbox{\\bf Unimplemented}") +(DEFUN |SETCAT-;latex;SS;2| (|s| $) + (DECLARE (IGNORE $)) + "\\mbox{\\bf Unimplemented}") (DEFUN |SetCategory&| (|#1|) (PROG (|dv$1| |dv$| $ |pv$|) |