[cl-unification-devel] Re: Problems with cl-unification

[Marco Antoniotti]

Thanks Peter,

can you send me a diff of the changes you made?

Thanks

marco



On Nov 11, 2005, at 5:13 AM, Peter Mechlenborg wrote:

> Marco Antoniotti wrote:
>> On Nov 10, 2005, at 3:56 AM, Peter Julian Marstrand Mechlenborg wrote:
>>> Hi
>>>
>>> I have gotten cl-unification from CVS:
>>> [goblin:~/.asdf-install-dir/site]$cvs -z3 -d
>>> :pserver:anonymous:anonymous at common-lisp.net:/project/cl- 
>>> unification/ cvsroot co
>>> cl-unification
>>>
>>> and I have used SBCL 0.9.6 and clisp-2.33.2.
>>>
>>> First some notes.
>>>
>>> - The macro match-case is not exported. Is this correct?.
>> Yep.  I need to get back to work on this.
>
> I also changed the &rest argument in match-case to &body to get Slime
> to indent the macro better.
>
>>>
>>> - I think this code snippet in match-case:
>>>
>>>    ...
>>>    (otherwise-claus
>>>      (if otherwise-clause-present-p
>>>          (first (last clauses))
>>>    ...
>>>
>>> should be replaced with this:
>>>
>>>    ...
>>>    (otherwise-clause
>>>       (if otherwise-clause-present-p
>>>           `(progn ,@(rest (first (last clauses))))
>>>    ...
>>>
>>> Otherwise I get the error "the function: otherwise not defined".
>> Yes.  This looks like a bug.  Thanks for the report.
>> I cannot quite help you with the code below.  I do not know what   
>> BOUND-IDL-CLASSES is and so on.
>
> If you did, I would be really scared :-). It's something for my master,
> and not relevant.
>
> Here is a cleaned up version that seems to have the same problem.
>
> (defun nested-match-cases (input)
>   (match-case (input)
>     ((:a ?a :b ?bs)
>      (loop for b in ?bs
> 	   collect (match-case (b)
> 		     ((:c ?c)   ?c)
> 		     ((:d ?d)   ?d)
> 		     (otherwise (error 'error-inner)))))
>     (otherwise 'error-outer)))
>
>
>> However, I will fix the problems with CL-UNIFICATION ASAP.
>> Meanwhile, why don't you subscribe to the cl-unification-devel  
>> mailing  list?
>
> Just did!
>
>> Cheers
>> -- 
>> Marco
>
>   --  Peter
>
--
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.