2014-10-17T00:03:59Z psilord joined #sbcl 2014-10-17T00:14:49Z snafuchs quit (Ping timeout: 260 seconds) 2014-10-17T00:16:33Z snafuchs joined #sbcl 2014-10-17T00:18:19Z oleo is now known as Guest4131 2014-10-17T00:19:11Z oleo__ joined #sbcl 2014-10-17T00:21:06Z Guest4131 quit (Ping timeout: 240 seconds) 2014-10-17T00:27:22Z edgar-rft quit (Quit: the consequences are unspecified) 2014-10-17T00:54:57Z snafuchs quit (Ping timeout: 260 seconds) 2014-10-17T00:55:07Z snafuchs joined #sbcl 2014-10-17T01:03:58Z Bicyclidine joined #sbcl 2014-10-17T01:24:23Z Bicyclidine quit (Ping timeout: 265 seconds) 2014-10-17T01:28:00Z scymtym_ quit (Ping timeout: 260 seconds) 2014-10-17T01:51:25Z snafuchs quit (Ping timeout: 260 seconds) 2014-10-17T01:51:59Z snafuchs joined #sbcl 2014-10-17T02:01:08Z Bicyclidine joined #sbcl 2014-10-17T02:27:43Z psykotron joined #sbcl 2014-10-17T02:35:45Z snafuchs quit (Ping timeout: 260 seconds) 2014-10-17T02:37:33Z snafuchs joined #sbcl 2014-10-17T02:38:23Z christoph_debian quit (Ping timeout: 244 seconds) 2014-10-17T02:52:43Z christoph_debian joined #sbcl 2014-10-17T03:40:04Z jhao joined #sbcl 2014-10-17T03:46:22Z gingerale joined #sbcl 2014-10-17T04:34:45Z snafuchs quit (Ping timeout: 260 seconds) 2014-10-17T04:35:03Z snafuchs joined #sbcl 2014-10-17T04:45:20Z gingerale quit (Quit: I love my HydraIRC -> http://www.hydrairc.com <-) 2014-10-17T04:59:29Z snafuchs quit (Ping timeout: 260 seconds) 2014-10-17T05:00:03Z snafuchs joined #sbcl 2014-10-17T05:05:28Z Bicyclidine quit (Ping timeout: 260 seconds) 2014-10-17T05:09:44Z psykotron quit (Quit: Connection closed for inactivity) 2014-10-17T05:15:53Z sobel quit (Ping timeout: 240 seconds) 2014-10-17T05:19:03Z krzysz00 quit (Ping timeout: 272 seconds) 2014-10-17T05:24:13Z snafuchs quit (Ping timeout: 260 seconds) 2014-10-17T05:24:47Z snafuchs joined #sbcl 2014-10-17T05:25:42Z krzysz00 joined #sbcl 2014-10-17T05:33:12Z jhao quit (Ping timeout: 255 seconds) 2014-10-17T05:33:58Z Bike quit (Quit: restart) 2014-10-17T05:34:05Z oleo__ quit (Quit: Verlassend) 2014-10-17T05:35:37Z Bike joined #sbcl 2014-10-17T05:38:13Z snafuchs quit (Ping timeout: 260 seconds) 2014-10-17T05:38:36Z snafuchs joined #sbcl 2014-10-17T05:52:43Z sobel joined #sbcl 2014-10-17T05:58:06Z jhao joined #sbcl 2014-10-17T06:10:21Z pranavrc joined #sbcl 2014-10-17T06:10:21Z pranavrc quit (Changing host) 2014-10-17T06:10:21Z pranavrc joined #sbcl 2014-10-17T06:33:24Z c4h joined #sbcl 2014-10-17T06:55:30Z krzysz00 quit (Quit: leaving) 2014-10-17T06:57:36Z DGASAU quit (Read error: Connection reset by peer) 2014-10-17T06:57:57Z DGASAU` joined #sbcl 2014-10-17T07:00:28Z fridim_ joined #sbcl 2014-10-17T07:07:25Z prxq joined #sbcl 2014-10-17T07:23:04Z irsol quit (Ping timeout: 244 seconds) 2014-10-17T07:34:30Z prxq quit (Remote host closed the connection) 2014-10-17T07:39:05Z c4h quit (Quit: quit) 2014-10-17T07:48:22Z pranavrc quit (Remote host closed the connection) 2014-10-17T07:57:30Z psy quit (Remote host closed the connection) 2014-10-17T07:58:47Z jhao quit (Ping timeout: 265 seconds) 2014-10-17T08:01:48Z DGASAU` is now known as DGASAU 2014-10-17T08:13:30Z scymtym_ joined #sbcl 2014-10-17T08:20:44Z psy joined #sbcl 2014-10-17T08:27:43Z attila_lendvai joined #sbcl 2014-10-17T08:27:43Z attila_lendvai quit (Changing host) 2014-10-17T08:27:43Z attila_lendvai joined #sbcl 2014-10-17T08:48:24Z fridim_ quit (Ping timeout: 258 seconds) 2014-10-17T08:49:10Z pranavrc joined #sbcl 2014-10-17T08:49:10Z pranavrc quit (Changing host) 2014-10-17T08:49:10Z pranavrc joined #sbcl 2014-10-17T08:51:38Z stassats joined #sbcl 2014-10-17T08:53:46Z pranavrc quit (Ping timeout: 240 seconds) 2014-10-17T09:41:35Z jhao joined #sbcl 2014-10-17T09:46:12Z jhao quit (Ping timeout: 246 seconds) 2014-10-17T09:48:42Z pranavrc joined #sbcl 2014-10-17T10:15:17Z fikusz quit (Ping timeout: 245 seconds) 2014-10-17T10:28:46Z fikusz joined #sbcl 2014-10-17T10:53:13Z snafuchs quit (Ping timeout: 260 seconds) 2014-10-17T10:53:39Z snafuchs joined #sbcl 2014-10-17T10:54:52Z scymtym_ quit (Ping timeout: 245 seconds) 2014-10-17T11:00:55Z edgar-rft joined #sbcl 2014-10-17T11:03:34Z cmack quit (Remote host closed the connection) 2014-10-17T11:30:09Z jhao joined #sbcl 2014-10-17T11:35:08Z jhao quit (Ping timeout: 260 seconds) 2014-10-17T11:44:21Z jhao joined #sbcl 2014-10-17T11:49:02Z jhao quit (Ping timeout: 245 seconds) 2014-10-17T12:09:45Z snafuchs quit (Ping timeout: 260 seconds) 2014-10-17T12:10:25Z snafuchs joined #sbcl 2014-10-17T12:21:02Z eudoxia joined #sbcl 2014-10-17T12:29:14Z irsol joined #sbcl 2014-10-17T12:30:51Z eudoxia quit (Quit: Lost terminal) 2014-10-17T12:34:54Z attila_lendvai quit (Ping timeout: 246 seconds) 2014-10-17T12:56:14Z psilord quit (Quit: Leaving.) 2014-10-17T13:11:27Z DGASAU quit (Read error: Connection reset by peer) 2014-10-17T13:12:01Z DGASAU joined #sbcl 2014-10-17T13:17:34Z psy quit (Remote host closed the connection) 2014-10-17T13:33:05Z jhao joined #sbcl 2014-10-17T13:35:11Z psy joined #sbcl 2014-10-17T13:38:12Z jhao quit (Ping timeout: 258 seconds) 2014-10-17T13:40:22Z pranavrc_ joined #sbcl 2014-10-17T13:43:51Z pranavrc quit (Ping timeout: 244 seconds) 2014-10-17T14:01:21Z eudoxia joined #sbcl 2014-10-17T14:02:24Z eudoxia quit (Client Quit) 2014-10-17T14:06:21Z pranavrc_ quit 2014-10-17T14:11:27Z psilord joined #sbcl 2014-10-17T14:18:52Z oleo joined #sbcl 2014-10-17T14:31:46Z brucem quit (Ping timeout: 240 seconds) 2014-10-17T14:35:39Z brucem joined #sbcl 2014-10-17T15:01:57Z snafuchs quit (Ping timeout: 260 seconds) 2014-10-17T15:02:06Z snafuchs joined #sbcl 2014-10-17T15:03:37Z gingerale joined #sbcl 2014-10-17T15:06:06Z krzysz00 joined #sbcl 2014-10-17T15:07:22Z karswell quit (Ping timeout: 240 seconds) 2014-10-17T15:21:48Z jhao joined #sbcl 2014-10-17T15:27:03Z jhao quit (Ping timeout: 272 seconds) 2014-10-17T15:33:11Z Guest63074 joined #sbcl 2014-10-17T15:34:05Z thoto quit (Ping timeout: 265 seconds) 2014-10-17T15:38:57Z Guest63074 quit (Ping timeout: 258 seconds) 2014-10-17T15:45:15Z nyef joined #sbcl 2014-10-17T15:47:19Z krzysz00 quit (Ping timeout: 272 seconds) 2014-10-17T15:48:27Z kanru` joined #sbcl 2014-10-17T16:24:05Z krzysz00 joined #sbcl 2014-10-17T16:25:29Z snafuchs quit (Ping timeout: 260 seconds) 2014-10-17T16:25:45Z snafuchs joined #sbcl 2014-10-17T16:46:41Z stassats quit (Remote host closed the connection) 2014-10-17T16:47:00Z stassats joined #sbcl 2014-10-17T16:52:00Z stassats quit (Ping timeout: 260 seconds) 2014-10-17T16:57:47Z krzysz00 quit (Ping timeout: 245 seconds) 2014-10-17T17:05:00Z hlavaty quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2014-10-17T17:10:36Z jhao joined #sbcl 2014-10-17T17:12:04Z kanru`: I'm confused.. could someone explain this string type weirdness? 2014-10-17T17:12:06Z kanru`: http://paste.lisp.org/display/144080 2014-10-17T17:14:12Z Bike: (array foo) isn't a subtype of (array bar) unless foo and bar have the same upgraded array element type, not even if foo is a subtype of bar 2014-10-17T17:15:17Z Bike: the only thing that seems weird there is the strings of :version and :ver having different types, but it's just kind of weird, should be perfectly fine 2014-10-17T17:15:39Z jhao quit (Ping timeout: 255 seconds) 2014-10-17T17:16:14Z kanru`: not when one is array type but the other one is a string 2014-10-17T17:16:44Z Bike: yeah, string is defined specially. the subtypeps you have going there are consistent with the definition. 2014-10-17T17:17:03Z nyef: So, the difference between :VERSION and :VER is probably that one was processed via the cross-compiler and genesis, and the other was not. 2014-10-17T17:17:30Z nyef: STRING, IIRC, is (OR (VECTOR CHARACTER) (VECTOR BASE-CHAR) (VECTOR NIL)). 2014-10-17T17:19:37Z nyef: Try (inspect (sb-kernel:specifier-type 'string)) 2014-10-17T17:20:49Z kanru`: 4. TYPES: (# # #) 2014-10-17T17:20:51Z Bike: :versions also gives a simple-base-string, but not :versnios and such, so yeah probably that 2014-10-17T17:21:26Z nyef: kanru`: And from that, we know that you have a unicode build. 2014-10-17T17:21:54Z kanru`: right, I built with --fancy 2014-10-17T17:22:23Z kanru`: so I was using cxml, which declare the input string is '(simple-array character), but when passed in (string :version) I got a type error 2014-10-17T17:22:56Z nyef: I thought that cxml was an xml parser, not a formatter? 2014-10-17T17:23:35Z nyef: XML is, somewhat bizarrely, a binary format when it comes to parsing. 2014-10-17T17:24:08Z kanru`: it could serialize xml in some very verbose way 2014-10-17T17:24:22Z kanru`: common-lisp.net/project/cxml/quickstart.html#id54138 2014-10-17T18:04:40Z krzysz00 joined #sbcl 2014-10-17T18:07:57Z kanru` quit (Ping timeout: 272 seconds) 2014-10-17T18:32:49Z krzysz00 quit (Ping timeout: 260 seconds) 2014-10-17T18:45:52Z krzysz00 joined #sbcl 2014-10-17T18:54:40Z krzysz00 quit (Ping timeout: 265 seconds) 2014-10-17T18:59:20Z jhao joined #sbcl 2014-10-17T19:04:33Z jhao quit (Ping timeout: 260 seconds) 2014-10-17T19:18:58Z DGASAU quit (Remote host closed the connection) 2014-10-17T19:25:26Z DGASAU joined #sbcl 2014-10-17T19:33:19Z Bicyclidine joined #sbcl 2014-10-17T19:52:10Z krzysz00 joined #sbcl 2014-10-17T19:58:01Z Bicyclidine quit (Ping timeout: 255 seconds) 2014-10-17T20:02:52Z krzysz00 quit (Ping timeout: 260 seconds) 2014-10-17T20:13:21Z christoph_debian quit (Ping timeout: 272 seconds) 2014-10-17T20:39:26Z Bicyclidine joined #sbcl 2014-10-17T20:48:06Z jhao joined #sbcl 2014-10-17T20:52:46Z jhao quit (Ping timeout: 240 seconds) 2014-10-17T21:01:19Z krzysz00 joined #sbcl 2014-10-17T21:26:57Z gingerale quit (Ping timeout: 260 seconds) 2014-10-17T21:27:31Z christoph_debian joined #sbcl 2014-10-17T21:40:06Z krzysz00 quit (Ping timeout: 240 seconds) 2014-10-17T22:02:15Z Bicyclidine quit (Ping timeout: 272 seconds) 2014-10-17T22:17:31Z krzysz00 joined #sbcl 2014-10-17T22:36:48Z jhao joined #sbcl 2014-10-17T22:41:42Z jhao quit (Ping timeout: 244 seconds) 2014-10-17T22:46:19Z scymtym_ joined #sbcl 2014-10-17T22:58:02Z psilord quit (Quit: Leaving.) 2014-10-17T23:02:09Z heddwch quit (Ping timeout: 255 seconds) 2014-10-17T23:08:10Z jdz_ is now known as jdz 2014-10-17T23:10:52Z Bicyclidine joined #sbcl 2014-10-17T23:39:31Z heddwch joined #sbcl 2014-10-17T23:39:40Z psykotron joined #sbcl 2014-10-17T23:42:39Z DGASAU quit (Ping timeout: 255 seconds) 2014-10-17T23:49:34Z jhao joined #sbcl 2014-10-17T23:49:46Z psilord joined #sbcl