2014-10-07T00:04:25Z DGASAU joined #sbcl
2014-10-07T00:05:22Z scymtym_ joined #sbcl
2014-10-07T00:05:33Z Bicyclidine quit (Ping timeout: 260 seconds)
2014-10-07T00:15:49Z krzysz00 joined #sbcl
2014-10-07T00:16:27Z fikusz quit (Ping timeout: 272 seconds)
2014-10-07T00:30:08Z DGASAU quit (Remote host closed the connection)
2014-10-07T00:31:09Z DGASAU joined #sbcl
2014-10-07T00:44:44Z DGASAU quit (Remote host closed the connection)
2014-10-07T00:45:57Z DGASAU joined #sbcl
2014-10-07T00:53:32Z DGASAU quit (Ping timeout: 260 seconds)
2014-10-07T00:57:03Z DGASAU joined #sbcl
2014-10-07T01:26:17Z krzysz00 quit (Ping timeout: 260 seconds)
2014-10-07T01:33:11Z krzysz00 joined #sbcl
2014-10-07T01:39:45Z DGASAU quit (Remote host closed the connection)
2014-10-07T01:41:33Z DGASAU joined #sbcl
2014-10-07T01:42:42Z krzysz00 quit (Ping timeout: 250 seconds)
2014-10-07T01:46:24Z DGASAU quit (Ping timeout: 272 seconds)
2014-10-07T02:02:35Z oleo is now known as Guest49063
2014-10-07T02:02:56Z DGASAU joined #sbcl
2014-10-07T02:03:27Z oleo__ joined #sbcl
2014-10-07T02:03:56Z krzysz00 joined #sbcl
2014-10-07T02:05:52Z Guest49063 quit (Ping timeout: 240 seconds)
2014-10-07T02:08:19Z DGASAU quit (Ping timeout: 272 seconds)
2014-10-07T02:27:36Z irsol quit (Ping timeout: 246 seconds)
2014-10-07T02:33:55Z Bicyclidine joined #sbcl
2014-10-07T02:35:11Z slyrus quit (Read error: Connection reset by peer)
2014-10-07T02:35:23Z irsol joined #sbcl
2014-10-07T02:37:57Z slyrus joined #sbcl
2014-10-07T02:38:37Z christoph_debian quit (Ping timeout: 260 seconds)
2014-10-07T02:44:47Z DGASAU joined #sbcl
2014-10-07T02:44:51Z DGASAU quit (Remote host closed the connection)
2014-10-07T02:46:28Z DGASAU joined #sbcl
2014-10-07T02:52:03Z christoph_debian joined #sbcl
2014-10-07T02:55:20Z DGASAU quit (Ping timeout: 260 seconds)
2014-10-07T02:56:27Z krzysz00 quit (Ping timeout: 272 seconds)
2014-10-07T02:59:19Z krzysz00 joined #sbcl
2014-10-07T03:09:48Z krzysz00 quit (Ping timeout: 250 seconds)
2014-10-07T03:11:34Z krzysz00 joined #sbcl
2014-10-07T03:16:15Z milosn quit (Ping timeout: 246 seconds)
2014-10-07T03:17:08Z milosn joined #sbcl
2014-10-07T03:48:32Z slyrus quit (Ping timeout: 260 seconds)
2014-10-07T03:56:18Z slyrus joined #sbcl
2014-10-07T03:59:13Z psilord joined #sbcl
2014-10-07T04:21:22Z DGASAU joined #sbcl
2014-10-07T04:51:43Z nyef quit (Ping timeout: 272 seconds)
2014-10-07T05:29:03Z oleo__ quit (Quit: Verlassend)
2014-10-07T05:33:14Z Bicyclidine quit (Ping timeout: 250 seconds)
2014-10-07T05:43:38Z Bicyclidine joined #sbcl
2014-10-07T05:44:27Z edgar-rft joined #sbcl
2014-10-07T05:46:00Z pranavrc joined #sbcl
2014-10-07T05:55:22Z scymtym_ quit (Ping timeout: 240 seconds)
2014-10-07T06:55:19Z stassats joined #sbcl
2014-10-07T07:02:47Z stassats: somewhat interesting, doing C-c C-k twice results in has a fasl file type, but no fasl header: "Expected "# FASL", but got #(0 0 0 0 0 0)."
2014-10-07T07:03:45Z fikusz joined #sbcl
2014-10-07T07:07:47Z DGASAU quit (Ping timeout: 245 seconds)
2014-10-07T07:11:21Z Krystof quit (Write error: Broken pipe)
2014-10-07T07:17:15Z DGASAU joined #sbcl
2014-10-07T07:22:59Z Krystof joined #sbcl
2014-10-07T07:22:59Z ChanServ has set mode +o Krystof
2014-10-07T07:35:43Z DGASAU quit (Read error: Connection reset by peer)
2014-10-07T07:36:33Z DGASAU joined #sbcl
2014-10-07T07:36:39Z DGASAU quit (Read error: Connection reset by peer)
2014-10-07T07:37:31Z DGASAU joined #sbcl
2014-10-07T07:38:47Z DGASAU quit (Read error: Connection reset by peer)
2014-10-07T07:39:32Z DGASAU joined #sbcl
2014-10-07T07:48:54Z Bicyclidine quit (Ping timeout: 246 seconds)
2014-10-07T07:59:52Z DGASAU quit (Read error: Connection reset by peer)
2014-10-07T08:07:04Z DGASAU joined #sbcl
2014-10-07T08:07:14Z DGASAU quit (Read error: Connection reset by peer)
2014-10-07T08:08:09Z DGASAU joined #sbcl
2014-10-07T08:17:20Z jackdaniel quit (Quit: leaving)
2014-10-07T08:17:56Z jackdaniel joined #sbcl
2014-10-07T08:24:34Z Posterdati quit (Quit: KVIrc 4.1.3 Equilibrium http://www.kvirc.net/)
2014-10-07T08:28:15Z Posterdati joined #sbcl
2014-10-07T08:43:19Z angavrilov joined #sbcl
2014-10-07T09:06:06Z DGASAU quit (Read error: Connection reset by peer)
2014-10-07T09:06:44Z DGASAU joined #sbcl
2014-10-07T09:43:28Z pkhuong_ joined #sbcl
2014-10-07T09:48:53Z pkhuong quit (Ping timeout: 263 seconds)
2014-10-07T09:51:07Z attila_lendvai joined #sbcl
2014-10-07T09:51:07Z attila_lendvai quit (Changing host)
2014-10-07T09:51:07Z attila_lendvai joined #sbcl
2014-10-07T10:15:14Z movbh joined #sbcl
2014-10-07T10:21:57Z stassats: so, back to the character casing and declarations
2014-10-07T10:22:01Z stassats: it doesn't appear to be as easy
2014-10-07T10:22:06Z White_Flame quit (Quit: No Ping reply in 180 seconds.)
2014-10-07T10:22:21Z White_Flame joined #sbcl
2014-10-07T10:22:25Z stassats: since it first reads a ub8 array into the globals and only later converts them into the right types
2014-10-07T10:23:21Z Krystof: that's fixable
2014-10-07T10:23:30Z stassats: sure
2014-10-07T10:23:44Z stassats: just not a drop in fix
2014-10-07T10:24:36Z stassats: so, how can i have a global without a value?
2014-10-07T10:26:06Z Krystof: I don't think you can
2014-10-07T10:26:17Z flip214: Krystof: I wanted to ask about this small change: http://paste.lisp.org/display/143958
2014-10-07T10:26:36Z flip214: basically, assert shiftf instead of setf, to make sure that the perfect hash stays so ;)
2014-10-07T10:27:14Z flip214: but that change crashes SBCL for me, in make-target-2
2014-10-07T10:27:27Z flip214: do you have a minute to tell me what's wrong there?
2014-10-07T10:28:21Z stassats: because 0 is not null?
2014-10-07T10:28:30Z Krystof: there might be other problems
2014-10-07T10:29:03Z Krystof: ASSERT contains some quite heavy machinery; it might be that things like *handler-clusters* aren't bound at such an early point in cold-init (setting up the character database happens very early indeed)
2014-10-07T10:29:25Z Krystof: you might get further if you use AVER rather than ASSERT
2014-10-07T10:29:52Z stassats: so, i guess i can put some dummy arrays into globals
2014-10-07T10:33:11Z flip214: Krystof: thanks, trying with aver.
2014-10-07T10:33:24Z flip214: stassats: this is not an integer-array, so default should be NIL?
2014-10-07T10:33:40Z stassats: nope
2014-10-07T10:43:53Z stassats: what a useful warning Constant ;     #(5 0 0 128 0 ...) conflicts with its asserted type ;     (SIMPLE-ARRAY (UNSIGNED-BYTE 8) (*)).
2014-10-07T10:45:17Z stassats: so much for the RECOMPILE restart,   The function SB!KERNEL:TYPE-PROCLAMATION-MISMATCH-WARN is undefined.
2014-10-07T10:46:38Z scymtym: that could be my fault
2014-10-07T10:48:43Z scymtym: stassats: the function should exist. did this happen early in the build?
2014-10-07T10:49:49Z stassats: target-char
2014-10-07T10:51:44Z stassats: it's not much of a problem, really
2014-10-07T10:53:55Z scymtym: sure, i was concerned whether it may be broken in general. but since condition is after target-char, this only seems to be a problem during the build
2014-10-07T10:54:16Z movbh quit (Remote host closed the connection)
2014-10-07T10:54:58Z stassats: wait what, there is a non simple array
2014-10-07T10:55:17Z stassats: or is it just lying to me
2014-10-07T10:55:33Z stassats: ;     #(5 0 0 128 0 ...) conflicts with its asserted type ;     (SIMPLE-ARRAY (UNSIGNED-BYTE 8) (*)). then Unportably dumping (ARRAY (UNSIGNED-BYTE 8)) #(5 0 0 128 0 ...)
2014-10-07T10:59:06Z Krystof: scymtym: it could be fixed by adding (copied) definitions of type-proclamation-mismatch-warn and its associated condition to src/code/cross-condition.lisp
2014-10-07T10:59:19Z Krystof: bonus points if you think of a nice way to fix all the OAOOM problems
2014-10-07T11:00:42Z stassats: i don't get this type mismatch
2014-10-07T11:01:05Z scymtym: Krystof: cross-condition says i have to invent DEF!CONDITION first
2014-10-07T11:01:55Z Krystof: it's always easier to invent something if you know its name
2014-10-07T11:02:39Z stassats: a hoverboard
2014-10-07T11:07:17Z stassats: don't get it at all
2014-10-07T11:16:35Z flip214: Krystof: compile-tested patch is http://paste.lisp.org/display/143958#1
2014-10-07T11:17:11Z stassats: is aver not available there?
2014-10-07T11:18:15Z flip214: no.
2014-10-07T11:18:31Z stassats: really?
2014-10-07T11:26:40Z flip214: I got an error with just (aver ...).
2014-10-07T11:27:18Z stassats: well, we can look it up :name "SB!IMPL" :use ("CL" "SB!ALIEN" "SB!BIGNUM" "SB!DEBUG" "SB!EXT" "SB!FASL" "SB!GRAY" "SB!INT" "SB!KERNEL" "SB!SYS")
2014-10-07T11:42:44Z stassats: i guess improving the type mismatch warning would be a good way to start figuring this out
2014-10-07T11:46:32Z stassats: ;   Constant ;     #(5 0 0 128 0 ...)  of type (SIMPLE-ARRAY (UNSIGNED-BYTE 8) (18657)) ;   conflicts with its asserted type ;     (SIMPLE-ARRAY (UNSIGNED-BYTE 8) (*)).
2014-10-07T11:46:33Z stassats: fun
2014-10-07T11:49:05Z stassats: can somebody explain that to me?
2014-10-07T11:49:53Z flip214: stassats: can I reproduce that?
2014-10-07T11:56:48Z pkhuong_: stassats: add a break in there to examine the ctype objects?
2014-10-07T11:57:01Z stassats: just did
2014-10-07T11:57:26Z pkhuong_: what do they look like? no host/guest confusion, I hope?
2014-10-07T11:57:38Z stassats: i need to skip some breaks first
2014-10-07T11:59:46Z flip214: stassats: 2 more builds did now work with just (aver).
2014-10-07T12:00:21Z stassats: well, break didn't make much sense
2014-10-07T12:06:46Z pkhuong_ is now known as pkhuong
2014-10-07T12:08:47Z stassats: doesn't make any sense
2014-10-07T12:25:28Z stassats: so, the derived type is actually wrong
2014-10-07T12:25:44Z stassats: or it's right, but it doesn't match the constant's type
2014-10-07T12:26:38Z stassats: so it's somehow a simple-vector, but actually is a ub8 vector
2014-10-07T12:33:31Z Hache_ joined #sbcl
2014-10-07T12:35:56Z stassats: could (make-array n :element-type (list 'unsigned-byte (* 8 n))) throw out type derivation?
2014-10-07T12:36:56Z stassats: could it mistake (simple-array * (*)) with a simple-vector?
2014-10-07T12:45:00Z stassats: no, i really don't get it
2014-10-07T12:49:06Z stassats: ok, the problem is only with dumped arrays
2014-10-07T12:51:24Z stassats: not for long
2014-10-07T12:51:42Z stassats: cold init mismatch now, i like xc errors better, to be fair
2014-10-07T13:08:21Z psilord quit (Quit: Leaving.)
2014-10-07T13:12:56Z DGASAU quit (Ping timeout: 272 seconds)
2014-10-07T13:14:01Z nyef joined #sbcl
2014-10-07T13:18:18Z Krystof: ouch.  Mark Tarver's message to cmucl-imp has got to hurt :-/
2014-10-07T13:18:28Z leuler joined #sbcl
2014-10-07T13:20:26Z loke_ joined #sbcl
2014-10-07T13:20:32Z fe[nl]ix: Krystof: what message ?
2014-10-07T13:20:59Z Krystof: sorry, comp.lang.lisp
2014-10-07T13:21:42Z oleo joined #sbcl
2014-10-07T13:21:42Z stassats: google is really helpful with "chronic lymphocytic leukemia"
2014-10-07T13:22:07Z oleo: ?
2014-10-07T13:22:29Z oleo: are you sick ?
2014-10-07T13:22:48Z stassats: maybe google knows better
2014-10-07T13:22:50Z oleo: my stepmother has some sort of it too..
2014-10-07T13:23:02Z stassats: it's the result of searching for "c.l.l."
2014-10-07T13:23:02Z oleo: they couldn't do much....
2014-10-07T13:23:08Z oleo: lol
2014-10-07T13:23:14Z stassats: or c.l.l
2014-10-07T13:23:43Z DGASAU joined #sbcl
2014-10-07T13:42:01Z pranavrc quit
2014-10-07T14:02:33Z stassats: i think i just mixed up ` with ,
2014-10-07T14:10:23Z stassats: ok, back to the type mismatch
2014-10-07T14:17:49Z stassats: #20 (Object is not of type INTEGER.) ... even fixnum: 70368667959024
2014-10-07T14:23:42Z krzysz00 quit (Ping timeout: 246 seconds)
2014-10-07T14:24:08Z psilord joined #sbcl
2014-10-07T14:46:03Z eudoxia joined #sbcl
2014-10-07T14:56:00Z oleo__ joined #sbcl
2014-10-07T14:57:28Z oleo is now known as Guest59953
2014-10-07T14:57:52Z Guest59953 quit (Ping timeout: 240 seconds)
2014-10-07T15:00:37Z cracauer_ quit (Remote host closed the connection)
2014-10-07T15:35:42Z eudoxia quit (Ping timeout: 245 seconds)
2014-10-07T16:02:40Z Bicyclidine joined #sbcl
2014-10-07T16:03:05Z leuler quit (Quit: ERC Version 5.1.2 $Revision: 1.796.2.6 $ (IRC client for Emacs))
2014-10-07T16:05:18Z krzysz00 joined #sbcl
2014-10-07T16:09:50Z nicdev quit (Remote host closed the connection)
2014-10-07T16:10:12Z nicdev joined #sbcl
2014-10-07T16:40:29Z krzysz00 quit (Ping timeout: 260 seconds)
2014-10-07T16:42:01Z krzysz00 joined #sbcl
2014-10-07T16:57:09Z stassats: ok, made the first half of the character optimizations
2014-10-07T16:57:23Z stassats: time to go home then, i guess
2014-10-07T17:02:48Z Bicyclidine quit (Ping timeout: 260 seconds)
2014-10-07T17:02:50Z stassats quit (Ping timeout: 272 seconds)
2014-10-07T17:03:22Z slyrus quit (Ping timeout: 240 seconds)
2014-10-07T17:12:42Z krzysz00 quit (Ping timeout: 245 seconds)
2014-10-07T17:17:00Z loke_ quit (Remote host closed the connection)
2014-10-07T17:47:32Z stassats joined #sbcl
2014-10-07T17:51:08Z Hache_ quit (Remote host closed the connection)
2014-10-07T17:53:07Z angavrilov quit (Remote host closed the connection)
2014-10-07T17:55:33Z scymtym_ joined #sbcl
2014-10-07T18:34:25Z oleo__ quit (Quit: Verlassend)
2014-10-07T18:40:06Z _8hzp joined #sbcl
2014-10-07T18:43:41Z hzp quit (Ping timeout: 260 seconds)
2014-10-07T18:49:00Z prxq joined #sbcl
2014-10-07T18:50:24Z slyrus joined #sbcl
2014-10-07T18:59:19Z stassats: got locked out of the apartment, more time to hack on char-downcase
2014-10-07T19:03:35Z oleo joined #sbcl
2014-10-07T19:06:56Z stassats quit (Ping timeout: 260 seconds)
2014-10-07T19:19:23Z slyrus_ joined #sbcl
2014-10-07T19:20:51Z slyrus quit (Ping timeout: 246 seconds)
2014-10-07T19:20:54Z slyrus_ is now known as slyrus
2014-10-07T19:50:21Z edgar-rft quit (Quit: memory access lost because execution destroyed)
2014-10-07T20:00:27Z yacks joined #sbcl
2014-10-07T20:27:00Z DGASAU quit (Remote host closed the connection)
2014-10-07T20:29:41Z DGASAU joined #sbcl
2014-10-07T20:36:41Z krzysz00 joined #sbcl
2014-10-07T20:40:38Z DGASAU quit (Ping timeout: 250 seconds)
2014-10-07T20:51:05Z slyrus quit (Ping timeout: 260 seconds)
2014-10-07T20:51:29Z gingerale quit (Ping timeout: 272 seconds)
2014-10-07T21:01:48Z krzysz00 quit (Ping timeout: 258 seconds)
2014-10-07T21:30:12Z scymtym_ quit (Ping timeout: 260 seconds)
2014-10-07T21:35:00Z krzysz00 joined #sbcl
2014-10-07T21:45:31Z prxq quit (Remote host closed the connection)
2014-10-07T22:11:53Z krzysz00 quit (Ping timeout: 272 seconds)
2014-10-07T22:18:00Z krzysz00 joined #sbcl
2014-10-07T22:36:54Z davazp joined #sbcl
2014-10-07T22:37:51Z krzysz00 quit (Ping timeout: 272 seconds)
2014-10-07T22:47:52Z krzysz00 joined #sbcl
2014-10-07T23:16:09Z bugrum joined #sbcl
2014-10-07T23:22:47Z krzysz00 quit (Ping timeout: 245 seconds)
2014-10-07T23:30:37Z irsol quit (Ping timeout: 245 seconds)
2014-10-07T23:31:21Z irsol joined #sbcl
2014-10-07T23:39:20Z bugrum quit (Remote host closed the connection)
2014-10-07T23:41:32Z krzysz00 joined #sbcl
2014-10-07T23:46:15Z krzysz00 quit (Ping timeout: 272 seconds)
2014-10-07T23:55:40Z slyrus joined #sbcl
2014-10-07T23:55:58Z davazp quit (Remote host closed the connection)
2014-10-07T23:56:35Z psilord quit (Quit: Leaving.)
2014-10-07T23:57:14Z psilord joined #sbcl