I am trying to use the cl-unification library.
When I compile the following code in SBCL (using C-c C-k in Slime),
(in-package :cl-user)
(defun check-recipient ()
(unify:unify #T(list ?a ?b ?c) '(1 2 3)))
I get an error report about writing this object #T(...) to the fasl
file.
If I compile the method alone (C-c C-c) no errors are reported.
Can anyone tell me what I am doing wrong or what I should do to get this
to work? I emailed the cl-unification development list but got no
response, I'm hoping someone can point out what's wrong with my usage or
with the library.
;
file: /home/jbominji/jbominji/extra.lisp
; in: DEFUN
CHECK-RECIPIENT
; (CL.EXT.DACF.UNIFICATION:UNIFY #T(LIST ?A ?B ?C) '(1 2
3))
;
==>
;
#T(LIST ?A ?B ?C)
;
; caught
ERROR:
; don't know how to dump #T(LIST ?A ?B ?C) (default MAKE-LOAD-FORM
method
called).
;
; note: The first argument never returns a
value.
; '(1 2
3)
;
; note: deleting unreachable
code
;
; compilation unit
finished
; caught 1 ERROR
condition
; printed 2
notes
; /home/jbominji/jbominji/extra.fasl
written
; compilation finished in
0:00:00
STYLE-WARNING: redefining CHECK-RECIPIENT in DEFUN
John Leuner