[cl-unification-devel] Problems compiling code use #T template
Marco Antoniotti
marcoxa at cs.nyu.edu
Mon Jun 19 21:04:09 UTC 2006
On Jun 18, 2006, at 4:38 PM, John Leuner wrote:
> I tried it on clisp, here it works:
> ...
> where extra.lisp is:
>
> (in-package :cl-user)
>
> (defun check-recipient ()
>
> (unify:find-variable-value '?a (unify:unify #T(list ?a ?b ?c) '(1 2
> 3))))
>
> So maybe it is an SBCL bug?
Not necessarily. Maybe it is still a CL-UNIFICATION bug. The problem
is that the reader macro returns an object. Maybe it's be better for
it to just expand in the correct call.
I'll have more time to look into it in a couple of days.
Cheers
marco
>
> John
>
>
>
> On Sat, 2006-06-17 at 16:39 +0200, Marco Antoniotti wrote:
>> Now that I think about it It may be a problem with the template
>> implementation.
>>
>> Does any other Lisp have the problem other than SBCL? If so I think I
>> know what is going on.
>>
>> Cheers
>>
>> Marco
>>
>>
>>
>>
>> On Jun 16, 2006, at 5:51 PM, John Leuner wrote:
>>
>>> Someone on #lisp told me that it wasn't a problem with the reader
>>> macro,
>>> at least he said that the problem is that SBCL can't write this
>>> object
>>> to the fasl file.
>>>
>>> So I tried it with SBCL without loading SLIME:
>>>
>>> * (asdf:oos 'asdf:load-op 'unification)
>>>
>>> ; loading system definition
>>> from /home/jbominji/.sbcl/systems/unification.asd
>>>
>>> * (compile-file "extra.lisp")
>>>
>>> ; compiling file "/home/jbominji/jbominji/extra.lisp" (written 16 JUN
>>> 2006 10:43:55 PM):
>>> ; compiling (IN-PACKAGE :CL-USER); in:
>>> ; LAMBDA (#:G14 #:G15
>>> ; #:G16
>>> ; #:G17
>>> ; #:G18
>>> ; #:G19
>>> ; #:G20
>>> ; #:G21
>>> ; #:G22
>>> ; #:G23
>>> ; #:G24
>>> ; #:G25
>>> ; ...)
>>> ; (TYPEP SB-PCL::.ARG1. 'CONS)
>>> ; --> CONSP
>>> ; ==>
>>> ; SB-PCL::.ARG1.
>>> ;
>>> ; note: deleting unreachable code
>>>
>>> ; (TYPEP SB-PCL::.ARG1. 'SYMBOL)
>>> ; --> SYMBOLP
>>> ; ==>
>>> ; SB-PCL::.ARG1.
>>> ;
>>> ; note: deleting unreachable code
>>> ;
>>> ; note: deleting unreachable code
>>>
>>> ; compiling (DEFUN CHECK-RECIPIENT ...)
>>> ; 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 5 notes
>>>
>>>
>>> ; /home/jbominji/jbominji/extra.fasl written
>>> ; compilation finished in 0:00:01
>>> #P"/home/jbominji/jbominji/extra.fasl"
>>> T
>>>
>>> where extra.lisp has:
>>>
>>> (defun check-recipient ()
>>> (unify:find-variable-value '?a (unify:unify #T(list ?a ?b ?c) '(1 2
>>> 3))))
>>>
>>> Does that help? Since coming across this problem I've done some
>>> reading
>>> about reader macros, it seems simple in principle but I don't
>>> understand
>>> the relationships between what reader macros are installed at
>>> compile-time when compiling which packages etc.
>>>
>>> John
>>>
>>>
>>> On Fri, 2006-06-16 at 15:33 +0200, Marco Antoniotti wrote:
>>>> 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 at 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.
>>>>
>>>> _______________________________________________
>>>> cl-unification-devel site list
>>>> cl-unification-devel at common-lisp.net
>>>> http://common-lisp.net/mailman/listinfo/cl-unification-devel
>>>
>>> _______________________________________________
>>> cl-unification-devel site list
>>> cl-unification-devel at 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.
>>
>> _______________________________________________
>> cl-unification-devel site list
>> cl-unification-devel at 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.
More information about the cl-unification-devel
mailing list