diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-17 08:59:26 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-17 08:59:26 +0000 |
| commit | 5e504b6abaef6cf7e7c58c17e26bec33856b60c0 (patch) | |
| tree | fc93b37d696d3c1ca38437a5ad9a815a85fe46b7 /src/algebra/strap/REF.lsp | |
| parent | ffb91646c6f11e84fa886aa5abc2de61ba291cc1 (diff) | |
| download | open-axiom-5e504b6abaef6cf7e7c58c17e26bec33856b60c0.tar.gz | |
* algebra/Makefile.pamphlet (all-algstrap): New.
* algebra/strap: Update cached Lisp translation.
Diffstat (limited to 'src/algebra/strap/REF.lsp')
| -rw-r--r-- | src/algebra/strap/REF.lsp | 52 |
1 files changed, 50 insertions, 2 deletions
diff --git a/src/algebra/strap/REF.lsp b/src/algebra/strap/REF.lsp index ad9f6dd0..ae5ee5c3 100644 --- a/src/algebra/strap/REF.lsp +++ b/src/algebra/strap/REF.lsp @@ -28,10 +28,10 @@ (LIST (SPADCALL (QCAR |p|) (|getShellEntry| $ 18))) (|getShellEntry| $ 20))) -(DEFUN |Reference| (#0=#:G1401) +(DEFUN |Reference| (#0=#:G1403) (PROG () (RETURN - (PROG (#1=#:G1402) + (PROG (#1=#:G1404) (RETURN (COND ((LETT #1# @@ -90,3 +90,51 @@ 1 1 22 0 1 1 0 6 0 11 1 0 6 0 13 1 1 16 0 21 2 0 8 0 0 9))))) '|lookupComplete|)) + +(SETQ |$CategoryFrame| + (|put| '|Reference| '|isFunctor| + '(((~= ((|Boolean|) $ $)) (|has| |#1| (|SetCategory|)) + (ELT $ NIL)) + ((|coerce| ((|OutputForm|) $)) + (|has| |#1| (|SetCategory|)) (ELT $ 21)) + ((|hash| ((|SingleInteger|) $)) + (|has| |#1| (|SetCategory|)) (ELT $ NIL)) + ((|latex| ((|String|) $)) (|has| |#1| (|SetCategory|)) + (ELT $ NIL)) + ((= ((|Boolean|) $ $)) T (ELT $ 9)) + ((|setref| (|#1| $ |#1|)) T (ELT $ 14)) + ((|deref| (|#1| $)) T (ELT $ 13)) + ((|setelt| (|#1| $ |#1|)) T (ELT $ 12)) + ((|elt| (|#1| $)) T (ELT $ 11)) + ((|ref| ($ |#1|)) T (ELT $ 10))) + (|addModemap| '|Reference| '(|Reference| |#1|) + '((|Join| (|Type|) + (CATEGORY |domain| + (SIGNATURE |ref| ($ |#1|)) + (SIGNATURE |elt| (|#1| $)) + (SIGNATURE |setelt| (|#1| $ |#1|)) + (SIGNATURE |deref| (|#1| $)) + (SIGNATURE |setref| (|#1| $ |#1|)) + (SIGNATURE = ((|Boolean|) $ $)) + (IF (|has| |#1| (|SetCategory|)) + (ATTRIBUTE (|SetCategory|)) + |%noBranch|))) + (|Type|)) + T '|Reference| + (|put| '|Reference| '|mode| + '(|Mapping| + (|Join| (|Type|) + (CATEGORY |domain| + (SIGNATURE |ref| ($ |#1|)) + (SIGNATURE |elt| (|#1| $)) + (SIGNATURE |setelt| + (|#1| $ |#1|)) + (SIGNATURE |deref| (|#1| $)) + (SIGNATURE |setref| + (|#1| $ |#1|)) + (SIGNATURE = ((|Boolean|) $ $)) + (IF (|has| |#1| (|SetCategory|)) + (ATTRIBUTE (|SetCategory|)) + |%noBranch|))) + (|Type|)) + |$CategoryFrame|)))) |