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@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.