I had just answered on the CL-UNIFICATION mailing list. This looks more like a problem with SLIME + Reader macros.
Cheers Marco On Jun 16, 2006, at 3:09 PM, John Leuner wrote: > 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 > > > _______________________________________________ > Gardeners mailing list > [email protected] > http://www.lispniks.com/mailman/listinfo/gardeners > -- 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. _______________________________________________ Gardeners mailing list [email protected] http://www.lispniks.com/mailman/listinfo/gardeners
