libera/#sbcl - IRC Chatlog
Search
11:11:10
semz
Is 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.
12:18:03
semz
was mostly a "why is this even here" question that popped up while I was reading the manual
12:42:10
semz
Oh right, a LOCALLY DECLARE would affect everything inside the THE as well. Makes sense.
12:46:38
jackdaniel
that said if that's the case I'm still curious why such inherently unsafe construct may be used in safe code
19:27:21
semz
stassats: 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))))?