Hi John
I saw your message today on the CL-UNIFICATION mailing list and I answered there.
As I said, it looks to me a problem with Slime + Reader Macros. The #T(...) reader macro expands into a template instance. Maybe that is the problem.
Marco
On Jun 16, 2006, at 3:12 PM, John Leuner wrote:
Hi Marco
...
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
-- Marco Antoniotti http://bioinformatics.nyu.edu/~marcoxa NYU Courant Bioinformatics Group tel. +1 - 212 - 998 3488 715 Broadway 10th FL fax. +1 - 212 - 998 3484 New York, NY, 10003, U.S.A.