freenode/#sbcl - IRC Chatlog
Search
15:54:04
stassats
i might just implement it this weekend, maybe not efficiently, but this is getting embarrassing
16:19:16
scymtym
stassats: i have been working on that on and off for some time. would you give me until tomorrow to prepare a proposal?
16:25:44
nyef``
... A closer approximation could be generated, of course. Including error bounds to cover for the variation in length of years due to leap days. Accounting for leap seconds seems a little over-the-top for granularity, though.
17:08:55
scymtym
stassats: did you see this: when cross-compiling checkgen.lisp in: DEFUN TYPE-TEST-COST: STYLE-WARNING: The function TYPE-TEST-COST is called by REDUCE with (LIST) but it accepts (CTYPE)? that seems to be based on the sequence type rather than the element type
17:11:32
scymtym
(:key (function-designator ((nth-arg 1)))) -> (:key (function-designator ((nth-arg 1 :sequence t))))?
17:20:40
nyef``
Basically, make it easier to guess what the intent is. ":sequence t" says to me "something special is going on, you might want to look up what that means", while "elements-of" says to me "this is a sequence, and we're going to be using its elements here".
18:02:19
nyef``
stassats: Well, I can see why you don't want to change how these argument types are represented. SYS:SRC;COMPILER;MACROS.LISP, MAKE-CALLABLE-MAP is *brutal*.
19:43:26
nyef``
stassats: While I'm here, (nth-arg 0 :key key) or (key-of (nth-arg 0))? And (key-of (elements-of (nth-arg 1))), or (elements-of (nth-arg 1) :key key), or (elements-of (nth-arg 1 :key key))?
19:52:56
nyef``
Hrm. I might also try changing (rest-args :sequence t) to (elements-of (each-rest-arg))?