Hi
I do not know if this is a problem with CL-UNIFICATION or SLIME. It seems it is something to do with SLIME. What happened if you try to COMPILE-FILE the code?
Cheers -- Marco
On Jun 14, 2006, at 2:32 PM, John Leuner wrote:
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 this error report:
; 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
This code works when the compiler does not have to write a fasl file.
What should I be doing to allow make-load-form to succeed?
Thanks John Leuner
cl-unification-devel site list cl-unification-devel@common-lisp.net http://common-lisp.net/mailman/listinfo/cl-unification-devel
-- 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.