Fixup the system having incorrect manual refs and load issues in SBCL

anoma · Mar 6, 2023 · cb69f42 · cb69f42
1 parent f8dbcc4
commit cb69f42
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 7 deletions.
diff --git a/src/gui/graphing/package.lisp b/src/gui/graphing/package.lisp
@@ -51,5 +51,5 @@ ways that are intuitive to the user"
 
 (pax:defsection @graphing-manual (:title "The GEB Graphizer")
   "This section covers the GEB Graph representation"
-  (@grpahing-core pax:section)
+  (geb-gui.core:@graphing-core pax:section)
   (@pass-manual pax:section))
diff --git a/src/lambda/package.lisp b/src/lambda/package.lisp
@@ -25,7 +25,6 @@
  (uiop:define-package #:geb.lambda.trans
    (:documentation "A basic lambda translator into other parts of geb")
    (:shadow #:to-poly #:to-circuit)
-   (:local-nicknames (#:lambda #:geb.lambda.main))
    (:mix #:geb.lambda.spec #:geb.common #:common-lisp :geb.lambda.main)))
 
 (in-package #:geb.lambda.trans)

diff --git a/src/lambda/trans.lisp b/src/lambda/trans.lisp
@@ -52,18 +52,28 @@
        (geb:pair (compile-checked-term context lty l)
                  (compile-checked-term context rty r)))
       ((fst lty rty value)
-       (assert (geb.mixins:obj-equalp (class-of lty) (class-of type)) nil "Types should match on fst: ~A ~A"
-               term type)
+       (assert (geb.mixins:obj-equalp (class-of lty) (class-of type))
+               nil
+               "Types should match on fst: ~A ~A"
+               term
+               type)
        (comp (<-left lty rty) (compile-checked-term context (prod lty rty) value)))
       ((snd lty rty value)
-       (assert (geb.mixins:obj-equalp (class-of rty) (class-of type)) nil "Types should match on fst: ~A ~A"
-               term type)
+       (assert (geb.mixins:obj-equalp (class-of rty) (class-of type))
+               nil
+               "Types should match on fst: ~A ~A"
+               term
+               type)
        (comp (<-right lty rty) (compile-checked-term context (prod lty rty) value)))
       ((lamb vty tty term)
        (curry (commutes-left
                (compile-checked-term (cons vty context) tty term))))
       ((app dom com f x)
-       (assert (geb.mixins:obj-equalp dom type) nil "Types should match for application: ~A ~A" dom type)
+       (assert (geb.mixins:obj-equalp dom type)
+               nil
+               "Types should match for application: ~A ~A"
+               dom
+               type)
        (comp
         (so-eval dom com)
         (geb:pair (compile-checked-term context dom f)