freenode/#sbcl - IRC Chatlog
Search
17:12:08
stassats
resolved all the test failures, and now (map-into (the string z) #'evenp x) gets a conflict
19:54:13
stassats
and i need to express sequence-types as type arguments, i.e. (merge 'string ...), i guess (nth-type-arg) could work
20:47:11
stassats
(adjoin 1 z :key #'car) => The function CAR is called by ADJOIN with ((INTEGER 1 1)) but it accepts (LIST).
20:50:38
stassats
and "The function EVENP called by MAP-INTO returns BOOLEAN but CHARACTER is expected"
20:51:09
stassats
instead of Derived type of EVENP is (FUNCTION (INTEGER) (VALUES BOOLEAN &OPTIONAL)), conflicting with its asserted type (SB-KERNEL:FUNCTION-DESIGNATOR (T) CHARACTER).
20:59:32
stassats
and i save the caller name, even if MAP-INTO is transformed into something else it'll still be reported as MAP-INTO
21:02:58
stassats
and some things during ir2 conversion, if there's anything left resembling the original call
21:03:25
stassats
now i'm saving the lvars at the assert-call-type and updating them when they are substituted
21:05:36
stassats
probably not today, but i don't need to overhaul a thousand lines of code for it anymore
1:09:52
stassats
i know how to optimize (typecase x (double-float 10) (bignum 20)) to only load the widetag once
1:10:24
stassats
but i don't have an easy way to wrap some blocks in a lambda, to introduce a variable
1:17:27
stassats
even better would be, widetag is loaded only once unless it has to be spilled, but that's even more complicated to detect and enact
1:38:50
stylewarning
i saved an image with save-lisp-and-die, and trying to run a resulting binary, and it's complaining about the location of a core file and its inability to find it