code.lsp

(DECLAIM
 (FTYPE (FUNCTION ((|%List| |%Thing|) |%Shell|) |%Thing|) |ADDAST;base;$Sa;1|)) 

(DECLAIM
 (FTYPE (FUNCTION ((|%List| |%Thing|) |%Shell|) |%Thing|) |ADDAST;body;$Sa;2|)) 

(DECLAIM
 (FTYPE (FUNCTION ((|%List| |%Thing|) |%Shell|) |%Thing|)
  |ADDAST;coerce;$Of;3|)) 

(DEFUN |ADDAST;base;$Sa;1| (|x| $) (SPADCALL |x| (|shellEntry| $ 9))) 

(DEFUN |ADDAST;body;$Sa;2| (|x| $) (SPADCALL |x| (|shellEntry| $ 11))) 

(DEFUN |ADDAST;coerce;$Of;3| (|x| $)
  (SPADCALL '|AddAst|
            (LIST
             (SPADCALL '|base|
                       (SPADCALL (|ADDAST;base;$Sa;1| |x| $)
                                 (|shellEntry| $ 14))
                       (|shellEntry| $ 15))
             (SPADCALL '|body|
                       (SPADCALL (|ADDAST;body;$Sa;2| |x| $)
                                 (|shellEntry| $ 14))
                       (|shellEntry| $ 15)))
            (|shellEntry| $ 17))) 

(DEFUN |AddAst| ()
  (DECLARE (SPECIAL |$ConstructorCache|))
  (LET ((#1=#:G544 (|tableValue| |$ConstructorCache| '|AddAst|)))
    (COND (#1# (|CDRwithIncrement| (CDAR #1#)))
          (T
           (UNWIND-PROTECT
               (PROG1
                   (CDDAR
                    (SETF (|tableValue| |$ConstructorCache| '|AddAst|)
                            (LIST (CONS NIL (CONS 1 (|AddAst;|))))))
                 (SETQ #1# T))
             (COND
              ((NOT #1#) (|tableRemove!| |$ConstructorCache| '|AddAst|)))))))) 

(DEFUN |AddAst;| ()
  (DECLARE (SPECIAL |$ConstructorCache|))
  (LET (($ (|newShell| 23)) (|pv$| (|buildPredVector| 0 0 NIL)))
    (PROGN
     (SETF (|shellEntry| $ 0) '(|AddAst|))
     (SETF (|shellEntry| $ 3) |pv$|)
     (|haddProp| |$ConstructorCache| '|AddAst| NIL (CONS 1 $))
     (|stuffDomainSlots| $)
     (SETF (|shellEntry| $ 6) (|List| (|SpadAst|)))
     $))) 

(MAKEPROP '|AddAst| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL '|Rep| (|SpadAst|) (|List| 7)
              (0 . |second|) |ADDAST;base;$Sa;1| (5 . |third|)
              |ADDAST;body;$Sa;2| (|OutputForm|) (10 . |coerce|) (15 . =)
              (|List| $) (21 . |elt|) |ADDAST;coerce;$Of;3| (|Syntax|)
              (|String|) (|SingleInteger|) (|Boolean|))
           '#(~= 27 |latex| 33 |hash| 38 |coerce| 43 |body| 58 |before?| 63
              |base| 69 = 74)
           'NIL
           (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0))
                 (CONS
                  '#(NIL |AbstractSyntaxCategory&| |SetCategory&| |BasicType&|
                     NIL NIL NIL NIL NIL)
                  (CONS
                   '#((|SpadSyntaxCategory|) (|AbstractSyntaxCategory|)
                      (|SetCategory|) (|BasicType|) (|HomotopicTo| 19) (|Type|)
                      (|CoercibleFrom| 19) (|CoercibleTo| 19)
                      (|CoercibleTo| 13))
                   (|makeByteWordVec2| 22
                                       '(1 8 7 0 9 1 8 7 0 11 1 7 13 0 14 2 13
                                         0 0 0 15 2 13 0 0 16 17 2 0 22 0 0 1 1
                                         0 20 0 1 1 0 21 0 1 1 0 19 0 1 1 0 0
                                         19 1 1 0 13 0 18 1 0 7 0 12 2 0 22 0 0
                                         1 1 0 7 0 10 2 0 22 0 0 1)))))
           '|lookupComplete|)) 

(SETF (|dbTemplate| (|constructorDB| '|AddAst|))
        #(NIL NIL NIL NIL NIL NIL '|Rep| (|SpadAst|) (|List| 7) (0 . |second|)
          |ADDAST;base;$Sa;1| (5 . |third|) |ADDAST;body;$Sa;2| (|OutputForm|)
          (10 . |coerce|) (15 . =) (|List| $) (21 . |elt|)
          |ADDAST;coerce;$Of;3| (|Syntax|) (|String|) (|SingleInteger|)
          (|Boolean|))) 

(SETF (|dbLookupFunction| (|constructorDB| '|AddAst|)) '|lookupComplete|) 

(SETF (|dbConstructorForm| (|constructorDB| '|AddAst|)) '(|AddAst|)) 

(SETF (|dbConstructorKind| (|constructorDB| '|AddAst|)) '|domain|) 

(SETF (|dbConstructorModemap| (|constructorDB| '|AddAst|))
        '(((|AddAst|)
           (|Join| (|SpadSyntaxCategory|)
                   (CATEGORY |domain| (SIGNATURE |base| ((|SpadAst|) $))
                    (SIGNATURE |body| ((|SpadAst|) $)))))
          (T |AddAst|))) 

(SETF (|dbDualSignature| (|constructorDB| '|AddAst|)) '(NIL)) 

(SETF (|dbSourceFile| (|constructorDB| '|AddAst|)) '"syntax.spad") 

(SETF (|dbModemaps| (|constructorDB| '|AddAst|))
        '((|base| (*1 *2 *1)
           (AND (|isDomain| *2 (|SpadAst|)) (|isDomain| *1 (|AddAst|))))
          (|body| (*1 *2 *1)
           (AND (|isDomain| *2 (|SpadAst|)) (|isDomain| *1 (|AddAst|)))))) 

(SETF (|dbOperations| (|constructorDB| '|AddAst|))
        '((~= (#1=((|Boolean|) $ $) NIL T ELT))
          (|latex| (((|String|) $) NIL T ELT))
          (|hash| (((|SingleInteger|) $) NIL T ELT))
          (|coerce| (((|OutputForm|) $) 18 T ELT) (($ #2=(|Syntax|)) NIL T ELT)
                    ((#2# $) NIL T ELT))
          (|body| (((|SpadAst|) $) 12 T ELT)) (|before?| (#1# NIL T ELT))
          (|base| (((|SpadAst|) $) 10 T ELT)) (= (#1# NIL T ELT)))) 

(SETF (|dbOperationTable| (|constructorDB| '|AddAst|))
        #(~= 27 |latex| 33 |hash| 38 |coerce| 43 |body| 58 |before?| 63 |base|
          69 = 74)) 

(SETF (|dbCapsuleDefinitions| (|constructorDB| '|AddAst|))
        '((|ADDAST;coerce;$Of;3| ((|OutputForm|) $))
          (|ADDAST;body;$Sa;2| ((|SpadAst|) $))
          (|ADDAST;base;$Sa;1| ((|SpadAst|) $)))) 

(SETF (|dbAbbreviation| (|constructorDB| '|AddAst|)) 'ADDAST) 

(SETF (|dbPrincipals| (|constructorDB| '|AddAst|))
        '(((|SpadSyntaxCategory|) . T))) 

(SETF (|dbAncestors| (|constructorDB| '|AddAst|))
        '(((|AbstractSyntaxCategory|) . T) ((|BasicType|) . T)
          ((|CoercibleFrom| #1=(|Syntax|)) . T) ((|CoercibleTo| #1#) . T)
          ((|CoercibleTo| (|OutputForm|)) . T) ((|HomotopicTo| #1#) . T)
          ((|SetCategory|) . T) ((|SpadSyntaxCategory|) . T) ((|Type|) . T)))