[cl-unification-devel] Re: cl-unification library fails

[Marco Antoniotti]

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.