freenode/#sicl - IRC Chatlog
Search
8:01:59
beach
As long as the method combination produces an effective method, it can do what it pleases. At least I think so.
8:02:52
scymtym
the only problem i can think of is COMPUTE-APPLICABLE-METHODS behavior non-deterministically
8:03:27
beach
I don't think so. As I recall, it already returns the methods in order of most applicable first.
8:04:25
scymtym
maybe i'm confused, but i think COMPUTE-APPLICABLE-METHODS shouldn't look at qualifiers so it would return those methods in an arbitrary order
8:04:56
scymtym
that may be fine since, as you both point out, the method combination will take care of it
8:06:53
scymtym
technical problems notwithstanding, i feel like fiddlerwoaroof's example should work
8:06:58
fiddlerwoaroof
7.6.6.1.3 seems to say that the method combination is responsible in this case
8:07:21
fiddlerwoaroof
"A qualifier serves to mark a method, and the meaning of a qualifier is determined by the way that these marks are used by this step of the procedure (e.g. method combination)"
8:08:58
beach
fiddlerwoaroof: Reminds me of a song by King Crimson: "I repeat myself under stress. I repeat myself under stress. I repeat myself under stress..."
8:10:01
fiddlerwoaroof
It's just my luck that, when I finally get around to investigating a new corner of the spec, I run into a bug :)
8:15:16
scymtym
fiddlerwoaroof: for corners of the spec that is not uncommon and not particularly unlucky
8:16:34
scymtym
fiddlerwoaroof: it would be nice to fix SBCL, so feel free to submit a patch. i would definitely apply it unless Xof can think of a reason why it shouldn't be allowed
13:17:26
Bike
sorry if someone mentioned this already, but define-method-combination mentions the case of being in the same method group with the same specializers but different qualifiers
13:37:46
beach
She is invaluable. That's why I don't produce anything when she is busy with other things.
16:47:44
fiddlerwoaroof
Bike: I guess the the second-to-last example of define-method-combination wasn't well thought out then?
17:03:02
fiddlerwoaroof
That's how I interpreted the standard: that the method groups are a convenience feature for the programmers
17:03:25
fiddlerwoaroof
But I can see how the standard might be saying that the method group determines the role of a method