[cl-unification-devel] Bugreport

Marco Antoniotti marcoxa at cs.nyu.edu
Tue Oct 25 19:21:56 UTC 2005


Hi

it took a long time, but I added two bugfixes to the CVS.  One is the  
one reported by Norman Werner here, and the other is a minor test in  
the checking of the number of default clauses in MATCHING.

Cheers
--
Marco








On Aug 25, 2005, at 11:23 AM, Marco Antoniotti wrote:

> Ok.  This is an easy one.
>
> Marco
>
>
> On Aug 25, 2005, at 12:57 AM, norman werner wrote:
>
>>
>> it is not an unification-error.
>> On sbcl it is
>>
>> "debugger invoked on a SB-KERNEL:BOUNDING-INDICES-BAD-ERROR in thread  
>> 2890:
>>   The bounding indices 0 and 2 are bad for a sequence of length 1."
>>
>> However this will almost certainly depend on the lisp used.
>>
>> Norman
>>
>> ______________________________________________________________________ 
>> ___
>> Mit der Gruppen-SMS von WEB.DE FreeMail können Sie eine SMS an alle
>> Freunde gleichzeitig schicken:  
>> http://freemail.web.de/features/?mc=021179
>>
>>
>>
> --
> Marco Antoniotti					http://bioinformatics.nyu.edu
> 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