11:11:10semzIs there a difference between sb-ext:truly-the and cl:the under (safety 0)? I thought the latter did everything the manual claims about the former.
11:43:12heisigGood question, I'd like to know this as well.
12:11:04jackdanielboth expand to the same ir1 translator supply different policy
12:11:23jackdanielis there a reason to believe that they are not the same under (safety 0)?
12:18:03semzwas mostly a "why is this even here" question that popped up while I was reading the manual
12:32:58jackdanielprobably to allow the counterpart with safety >= 2
12:42:10semzOh right, a LOCALLY DECLARE would affect everything inside the THE as well. Makes sense.
12:46:38jackdanielthat said if that's the case I'm still curious why such inherently unsafe construct may be used in safe code
12:46:44jackdanielso I wouldn't hold too much to my guessing :)
19:22:06stassatssemz: yes, safety 0 and truly-the are different
19:22:27stassatstruly-the only disables type checks, safety 0 disables all safety checks
19:27:21semzstassats: this is hilariously awkward and purely to check my understanding, but would there be a difference between (truly-the type (foo bar)) and (locally (declare (optimize (safety 0))) (the type (locally (declare (optimize (safety 2 #| or whatever else came before |#))) (foo bar))))?
19:28:34semzI guess the more readable version of this question is "does SBCL do anything other than type checks with THE"