freenode/#sbcl - IRC Chatlog
Search
15:52:00
|3b|
(if (realp a) a (coerce a 'complex)) WARNs about derived type not matching asserted type, is there some valid problem there i'm missing?
15:58:58
|3b|
i guess it can't figure out that being a number and not real means it can't be not complex in the deftransform for coerce? (does sbcl have any other subtypes of number?)
18:46:58
kpoeck
I have hit some problems with clasp, but now I wonder whether I found a problem in sbcls code
18:48:36
Bike
i already told you yesterday that I think it's reasonable to interpret a lack of :read-only as meaning to inherit whatever the included slot specified.
18:59:57
pfdietz
"If a slot is read-only in the included structure, then it must also be so in the including structure."
19:07:44
kpoeck
An example is https://github.com/stassats/sbcl/blob/master/src/code/type-class.lisp#L593
19:18:37
pfdietz
It's reasonable to interpret the :read-only as being inherited, but it's also reasonable to say a conforming CL implementation can reject this. So I think SBCL should put in explicit :read-only t for those slot descriptors.