2015-06-12T09:01:11Z ccl-logbot joined #sbcl
2015-06-12T09:01:11Z 
2015-06-12T09:01:11Z names: ccl-logbot tuborgman hlavaty` attila_lendvai scymtym_ angavrilov Cymew Shinmera karswell bsmr oleo_ Fade Xach psilord |3b| dougk_ psy_ nyef White_Flame selat Guest31042 milosn kanru pchrist edgar-rft reb alchemis7 frankS2 drmeister ivan4th minion jackc- carvite ferada pkhuong foom jdz p_l flip214 nicdev Intensity brucem Bike Xof dsp__ antoszka akkad clop PuercoPop joshe dustinm` irsol specbot Ralt christoph_debian luis snafuchs abbe Blkt fe[nl]ix jsnell_
2015-06-12T09:01:11Z names: mood les yauz tmh_ rj-code kjeldahl
2015-06-12T09:05:59Z hlavaty`: dougk_: your fix 45abecd96be4f0a30fadfc4e3c50d24fc988aaa0 worked, thanks a lot
2015-06-12T09:16:29Z attila_lendvai quit (Ping timeout: 245 seconds)
2015-06-12T09:24:04Z pkhuong quit (Ping timeout: 272 seconds)
2015-06-12T09:35:14Z pkhuong joined #sbcl
2015-06-12T09:35:38Z pkhuong is now known as Guest54042
2015-06-12T10:02:01Z oleo_ quit (Quit: Leaving)
2015-06-12T10:13:44Z oleo joined #sbcl
2015-06-12T10:13:59Z milosn quit (Quit: leaving)
2015-06-12T10:15:50Z gingerale joined #sbcl
2015-06-12T10:22:28Z loke joined #sbcl
2015-06-12T12:00:13Z stassats joined #sbcl
2015-06-12T12:01:01Z nyef quit (Ping timeout: 264 seconds)
2015-06-12T12:25:42Z ktt9 joined #sbcl
2015-06-12T12:25:58Z ktt9 left #sbcl
2015-06-12T12:41:53Z Guest54042 is now known as pkhuong
2015-06-12T13:18:57Z Ralt: hi
2015-06-12T13:19:09Z Ralt: I'd like to improve sbcl
2015-06-12T13:19:20Z Ralt: namely, I have a small improvement in mind
2015-06-12T13:19:28Z Ralt: throwing an error on this: making this
2015-06-12T13:19:31Z Ralt: oops
2015-06-12T13:19:33Z stassats: we'd like only large improvements
2015-06-12T13:19:44Z Ralt: throwing an error on this: http://paste.lisp.org/display/149634
2015-06-12T13:20:15Z Ralt: (the setf to an integer)
2015-06-12T13:20:40Z Ralt: stassats: heh.
2015-06-12T13:20:49Z Ralt: I just wanted to know if there is any "contributing" guide
2015-06-12T13:20:54Z stassats: that already happens doesn't it?
2015-06-12T13:21:20Z scymtym_: Ralt: i think the type-check can already be enabled by having a suitable policy at the right time
2015-06-12T13:21:25Z stassats: (declaim (optimize (safety 3))) (defclass foo () ((bar :initarg :bar :type string)))
2015-06-12T13:21:42Z stassats: interestingly, if it's defined without safety 3, redefining doesn't help
2015-06-12T13:22:00Z Ralt: oh, it has to be done for the defclass
2015-06-12T13:22:49Z Ralt: thanks.
2015-06-12T13:22:51Z stassats: so, your small improvement should shift into making redefinition work
2015-06-12T13:23:17Z Ralt: I'm not sure how this should work now, though.
2015-06-12T13:23:26Z stassats: redefining from safety 3 to safety 0 works, but raising back to 3, no error
2015-06-12T13:24:00Z scymtym_: stassats: i think there is generally something wrong w.r.t. slot type checking and redefinition. iirc, compiling and redefining with safety 3 MEMBER slot types leads to incorrect type-checks using the old type.
2015-06-12T13:24:22Z stassats: yes, there's a ticket and i think i had a stab at it sometime ago
2015-06-12T13:25:38Z stassats: https://bugs.launchpad.net/sbcl/+bug/1182204
2015-06-12T13:25:56Z stassats: https://bugs.launchpad.net/sbcl/+bug/1182204/comments/5
2015-06-12T13:27:54Z Ralt: ah, I found the correct reproducing bug
2015-06-12T13:28:34Z Ralt: no error here: http://paste.lisp.org/display/149638
2015-06-12T13:29:07Z Ralt: it's not just me being crazy, right?
2015-06-12T13:29:19Z stassats: yes error here
2015-06-12T13:29:34Z stassats: redefinition doesn't work, remember
2015-06-12T13:29:34Z Ralt: you get an error in sbcl?
2015-06-12T13:29:55Z Ralt: which redefinition?
2015-06-12T13:30:01Z stassats: some redefinition
2015-06-12T13:31:06Z Ralt: so it's "normal" to not get an error in this case? because of some redefinition?
2015-06-12T13:31:15Z Ralt: even though I don't see what's redefined...
2015-06-12T13:32:20Z nyef joined #sbcl
2015-06-12T13:33:00Z Ralt: there's a single declaim there, and the class are created after
2015-06-12T13:33:30Z stassats` joined #sbcl
2015-06-12T13:33:45Z stassats` quit (Changing host)
2015-06-12T13:33:45Z stassats` joined #sbcl
2015-06-12T13:33:57Z stassats`: there's an error in this case
2015-06-12T13:34:06Z stassats`: i put this into a .lisp file and did --load
2015-06-12T13:34:56Z stassats quit (Ping timeout: 246 seconds)
2015-06-12T13:41:08Z Ralt: hm
2015-06-12T13:41:09Z Ralt: indeed
2015-06-12T13:41:45Z Ralt: I'll try to find out why it's not working in a middle of a file loaded with asdf
2015-06-12T13:42:10Z stassats`: compile-file may have a different result
2015-06-12T13:42:35Z stassats`: though it doesn't have here
2015-06-12T13:42:40Z Ralt: doesn't it load the file when I quickload it?
2015-06-12T13:42:56Z Ralt: ah
2015-06-12T13:44:31Z stassats` quit (Remote host closed the connection)
2015-06-12T13:45:05Z Ralt: I guess it's because declaim has to be the first in the file.
2015-06-12T13:51:15Z milosn joined #sbcl
2015-06-12T14:05:12Z Cymew quit (Ping timeout: 244 seconds)
2015-06-12T14:20:19Z edgar-rft quit (Quit: edgar-rft)
2015-06-12T14:43:45Z prxq joined #sbcl
2015-06-12T15:31:43Z hlavaty` quit (Remote host closed the connection)
2015-06-12T16:03:13Z stassats joined #sbcl
2015-06-12T16:07:41Z stassats: Ralt: declaim doesn't have to be first
2015-06-12T16:12:14Z stassats quit (Remote host closed the connection)
2015-06-12T16:14:10Z adlai joined #sbcl
2015-06-12T16:18:40Z stassats joined #sbcl
2015-06-12T16:18:44Z stassats quit (Changing host)
2015-06-12T16:18:44Z stassats joined #sbcl
2015-06-12T16:31:28Z adlai quit (Ping timeout: 255 seconds)
2015-06-12T16:35:34Z Adlai joined #sbcl
2015-06-12T16:40:12Z milosn quit (Ping timeout: 244 seconds)
2015-06-12T16:41:10Z milosn joined #sbcl
2015-06-12T16:43:16Z oleo_ joined #sbcl
2015-06-12T16:46:05Z oleo quit (Ping timeout: 250 seconds)
2015-06-12T16:55:42Z karswell quit (Remote host closed the connection)
2015-06-12T16:55:49Z karswell joined #sbcl
2015-06-12T16:57:01Z tuborgman quit (Ping timeout: 258 seconds)
2015-06-12T17:33:50Z Quadrescence joined #sbcl
2015-06-12T17:49:23Z tuborgman joined #sbcl
2015-06-12T17:52:49Z oleo_ quit (Quit: Leaving)
2015-06-12T17:56:11Z ASau joined #sbcl
2015-06-12T18:04:54Z oleo joined #sbcl
2015-06-12T18:12:09Z ASau quit (Remote host closed the connection)
2015-06-12T18:16:17Z ASau joined #sbcl
2015-06-12T18:19:05Z akkad quit (Excess Flood)
2015-06-12T18:21:20Z akkad joined #sbcl
2015-06-12T18:24:00Z Fade quit (Remote host closed the connection)
2015-06-12T18:43:50Z nikki93 joined #sbcl
2015-06-12T18:54:01Z nikki93 quit (Remote host closed the connection)
2015-06-12T19:17:11Z psilord quit (Quit: Leaving.)
2015-06-12T19:17:43Z psilord joined #sbcl
2015-06-12T19:42:22Z edgar-rft joined #sbcl
2015-06-12T19:51:24Z nikki93 joined #sbcl
2015-06-12T19:51:41Z reb quit (Remote host closed the connection)
2015-06-12T19:52:39Z nikki93 quit (Client Quit)
2015-06-12T20:03:08Z scymtym_ quit (Ping timeout: 252 seconds)
2015-06-12T20:07:32Z Xach quit (*.net *.split)
2015-06-12T20:07:33Z foom quit (*.net *.split)
2015-06-12T20:07:34Z Intensity quit (*.net *.split)
2015-06-12T20:07:34Z Xof quit (*.net *.split)
2015-06-12T20:08:21Z foom joined #sbcl
2015-06-12T20:12:35Z Xach joined #sbcl
2015-06-12T20:12:38Z Intensity joined #sbcl
2015-06-12T20:26:38Z joshe quit (Ping timeout: 265 seconds)
2015-06-12T20:30:30Z prxq quit (Ping timeout: 265 seconds)
2015-06-12T21:12:48Z jdz quit (Ping timeout: 252 seconds)
2015-06-12T21:19:10Z jdz joined #sbcl
2015-06-12T21:22:32Z prxq joined #sbcl
2015-06-12T21:24:22Z nyef quit (Ping timeout: 244 seconds)
2015-06-12T21:33:23Z stassats quit (Remote host closed the connection)
2015-06-12T21:44:22Z angavrilov quit (Remote host closed the connection)
2015-06-12T21:47:30Z stassats joined #sbcl
2015-06-12T21:59:49Z attila_lendvai joined #sbcl
2015-06-12T22:00:14Z Shinmera quit (Quit: しつれいしなければならないんです。)
2015-06-12T22:05:48Z Xof joined #sbcl
2015-06-12T22:15:20Z prxq quit (Remote host closed the connection)
2015-06-12T22:16:27Z stassats` joined #sbcl
2015-06-12T22:17:42Z stassats quit (Ping timeout: 252 seconds)
2015-06-12T22:21:44Z gingerale quit (Ping timeout: 252 seconds)
2015-06-12T22:42:31Z stassats` quit (Ping timeout: 265 seconds)
2015-06-12T22:43:00Z Guest31042 quit (Ping timeout: 252 seconds)
2015-06-12T22:44:09Z Guest58709 joined #sbcl
2015-06-12T22:46:38Z joshe joined #sbcl
2015-06-12T22:55:06Z Guest58709 quit (Ping timeout: 252 seconds)
2015-06-12T22:56:40Z smithzv_ joined #sbcl
2015-06-12T23:32:17Z attila_lendvai quit (Ping timeout: 240 seconds)
2015-06-12T23:53:10Z nyef joined #sbcl
2015-06-12T23:57:21Z joshe quit (Ping timeout: 276 seconds)