From 5e504b6abaef6cf7e7c58c17e26bec33856b60c0 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 17 Aug 2008 08:59:26 +0000
Subject: 	* algebra/Makefile.pamphlet (all-algstrap): New. 	*
 algebra/strap: Update cached Lisp translation.

---
 src/algebra/strap/REF.lsp | 52 +++++++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 50 insertions(+), 2 deletions(-)

(limited to 'src/algebra/strap/REF.lsp')

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|)))) 
-- 
cgit v1.2.3