From: Tobias C. R. <tc...@fr...> - 2008-12-26 01:56:26
|
"Nikodemus Siivola" <nik...@ra...> writes: > I bet the MIN and/or MAX are wrong there, possibly reversed. The > bitvector based set implementation the CONSET is part of is relatively > new, so maybe some edge case is not getting handled right? > > More debugging information next week, unless someone gets there first. > My SBCL time is pretty minimal till than. > > Cheers, > > -- Nikodemus > ------------------------------------------------------------------------------ I found a bug in CONSET-INTERSECTION: diff --git a/src/compiler/constraint.lisp b/src/compiler/constraint.lisp index 4199027..b00358e 100644 --- a/src/compiler/constraint.lisp +++ b/src/compiler/constraint.lisp @@ -284,7 +284,7 @@ `(let ((start (max (or (conset-min conset-1) 0) (or (conset-min conset-2) 0))) (end (min (conset-max conset-1) - (conset-max conset-1)))) + (conset-max conset-2)))) (if (> start end) nil (position 1 (conset-vector conset-1) That doesn't make my branch compile yet, though. (Same error.) -T. |