freenode/#sbcl - IRC Chatlog Search Friday, 20th of September 2019, 6:17:38 UTC 13:30:20 pfdietz I am seeing a heap corruption error in some varieties of random testing on the SEARCH function. Trying to track it down, but reproducibility is difficult. 16:39:43 stassats feels unlikely that SEARCH itself is broken 17:36:08 pfdietz Bug submitted 17:42:44 stassats right, a type conflict 17:51:06 stassats so, search can return an index beyond the sequence... 17:54:16 stassats judging by the comments, i did envision that, but " only when searching for "" and :start2 being equal to :end2" 17:54:33 stassats missing :from-end t 17:55:54 stassats i really need to invent some NIL type derivation catcher 17:56:29 stassats so that it doesn't just go off the rails 18:06:32 stassats ok, that's easy, now, why doesn't (position a (the (simple-vector 8) b)) derive that it's below 8 18:11:44 stassats it loses the type after getting transformed to SB-KERNEL:%FIND-POSITION