4:02:49Bikei've started implementing some of the compiler type check logic i was wondering about. for now i'll skip anything too time travely, but i might enable it conditioned on an experimental compilation declaration to see how disruptive it is
4:03:24beachSounds good. Looking forward to a report.
4:06:02Bikethe main thing i'm doing is trying to establish a safety level between "all declarations are checked" and "all declarations are trusted"
4:06:02Bikei have a plan that should enable things like, (let ((x ...)) (declare (type (and (satisfies bar) (cons (satisfies foo))) x)) (car (the cons x))) checking that x is a cons but not bothering with the rest
4:06:03Bikesince there's a type declaration, i figure moving up a type check in that situation (to the declaration at earliest) is no problem, and i believe sbcl already does so