2015-04-17T00:01:38Z nikki93 quit (Remote host closed the connection) 2015-04-17T00:01:54Z oleo_ joined #sbcl 2015-04-17T00:05:13Z oleo quit (Ping timeout: 264 seconds) 2015-04-17T00:07:59Z nikki93 joined #sbcl 2015-04-17T00:11:41Z psy_ quit (Ping timeout: 264 seconds) 2015-04-17T00:11:51Z zacts joined #sbcl 2015-04-17T00:16:44Z psy_ joined #sbcl 2015-04-17T00:30:58Z psy_ quit (Read error: No route to host) 2015-04-17T00:32:22Z psy_ joined #sbcl 2015-04-17T00:33:06Z slyrus joined #sbcl 2015-04-17T00:37:19Z nikki93 quit (Remote host closed the connection) 2015-04-17T00:58:32Z White_Flame quit (Ping timeout: 244 seconds) 2015-04-17T00:59:08Z White_Flame joined #sbcl 2015-04-17T01:05:00Z zacts quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-04-17T01:11:36Z milosn quit (Ping timeout: 240 seconds) 2015-04-17T01:23:05Z Bicyclidine quit (Ping timeout: 264 seconds) 2015-04-17T01:28:34Z slyrus quit (Ping timeout: 265 seconds) 2015-04-17T01:29:10Z dioxirane joined #sbcl 2015-04-17T01:45:17Z stassats` quit (Ping timeout: 264 seconds) 2015-04-17T01:59:13Z White_Flame quit (Ping timeout: 264 seconds) 2015-04-17T01:59:19Z White__Flame joined #sbcl 2015-04-17T01:59:45Z zacts joined #sbcl 2015-04-17T02:02:45Z rszeno quit (Quit: Leaving.) 2015-04-17T02:10:20Z echo-area joined #sbcl 2015-04-17T02:46:29Z slyrus joined #sbcl 2015-04-17T02:57:44Z slyrus quit (Ping timeout: 245 seconds) 2015-04-17T02:58:46Z White__Flame quit (Ping timeout: 252 seconds) 2015-04-17T02:59:01Z White_Flame joined #sbcl 2015-04-17T03:03:34Z scymtym_ quit (Ping timeout: 244 seconds) 2015-04-17T03:49:56Z psy_ quit (Ping timeout: 250 seconds) 2015-04-17T03:50:03Z psy_ joined #sbcl 2015-04-17T03:50:50Z gingerale joined #sbcl 2015-04-17T03:55:37Z dioxirane quit (Quit: Page closed) 2015-04-17T03:58:56Z White_Flame quit (Ping timeout: 240 seconds) 2015-04-17T03:59:42Z White_Flame joined #sbcl 2015-04-17T04:19:26Z Bike quit (Quit: restart) 2015-04-17T04:20:42Z Bike joined #sbcl 2015-04-17T04:46:13Z psy_ quit (Ping timeout: 248 seconds) 2015-04-17T04:47:45Z nikki93 joined #sbcl 2015-04-17T04:50:03Z edgar-rft joined #sbcl 2015-04-17T04:52:57Z smokeink_ joined #sbcl 2015-04-17T04:53:14Z smokeink quit (Read error: Connection reset by peer) 2015-04-17T04:53:30Z smokeink_ is now known as smokeink 2015-04-17T04:58:47Z White_Flame quit (Ping timeout: 244 seconds) 2015-04-17T04:58:49Z smokeink quit (Ping timeout: 265 seconds) 2015-04-17T04:59:20Z White_Flame joined #sbcl 2015-04-17T05:02:09Z pranavrc joined #sbcl 2015-04-17T05:04:44Z psy_ joined #sbcl 2015-04-17T05:07:00Z oleo_ quit (Quit: Leaving) 2015-04-17T05:09:34Z mega1 quit (Ping timeout: 256 seconds) 2015-04-17T05:15:45Z karswell` joined #sbcl 2015-04-17T05:19:37Z karswell quit (Ping timeout: 264 seconds) 2015-04-17T05:21:45Z smokeink joined #sbcl 2015-04-17T05:34:13Z milosn joined #sbcl 2015-04-17T05:36:16Z karswell` is now known as karswell 2015-04-17T05:38:36Z attila_lendvai joined #sbcl 2015-04-17T05:38:36Z attila_lendvai quit (Changing host) 2015-04-17T05:38:36Z attila_lendvai joined #sbcl 2015-04-17T05:51:14Z karswell quit (Remote host closed the connection) 2015-04-17T05:51:28Z karswell joined #sbcl 2015-04-17T05:59:39Z White__Flame joined #sbcl 2015-04-17T05:59:42Z White_Flame quit (Ping timeout: 272 seconds) 2015-04-17T06:11:14Z nikki93 quit (Remote host closed the connection) 2015-04-17T06:20:46Z karswell quit (Read error: Connection reset by peer) 2015-04-17T06:21:07Z karswell joined #sbcl 2015-04-17T06:54:11Z Quadrescence joined #sbcl 2015-04-17T06:59:03Z White__Flame quit (Ping timeout: 250 seconds) 2015-04-17T06:59:42Z White_Flame joined #sbcl 2015-04-17T07:05:39Z Shinmera joined #sbcl 2015-04-17T07:14:42Z ASau quit (Ping timeout: 252 seconds) 2015-04-17T07:16:10Z psy_ quit (Remote host closed the connection) 2015-04-17T07:35:13Z Cymew joined #sbcl 2015-04-17T07:35:49Z attila_lendvai quit (Ping timeout: 264 seconds) 2015-04-17T07:41:35Z scymtym_ joined #sbcl 2015-04-17T07:56:00Z tmh_ quit (Ping timeout: 244 seconds) 2015-04-17T07:59:24Z White_Flame quit (Ping timeout: 272 seconds) 2015-04-17T07:59:27Z White__Flame joined #sbcl 2015-04-17T08:02:10Z kanru quit (Remote host closed the connection) 2015-04-17T08:23:17Z kanru joined #sbcl 2015-04-17T08:34:58Z attila_lendvai joined #sbcl 2015-04-17T08:45:16Z Quadrescence quit (Ping timeout: 255 seconds) 2015-04-17T08:59:33Z White__Flame quit (Ping timeout: 244 seconds) 2015-04-17T08:59:44Z White_Flame joined #sbcl 2015-04-17T09:00:50Z milosn quit (Ping timeout: 272 seconds) 2015-04-17T09:13:48Z kanru quit (Remote host closed the connection) 2015-04-17T09:14:20Z kanru joined #sbcl 2015-04-17T09:14:49Z Quadrescence joined #sbcl 2015-04-17T09:16:04Z mega1 joined #sbcl 2015-04-17T09:47:04Z White_Flame quit (Ping timeout: 272 seconds) 2015-04-17T09:56:49Z milosn joined #sbcl 2015-04-17T09:57:50Z milosn quit (Read error: Connection reset by peer) 2015-04-17T10:01:54Z milosn joined #sbcl 2015-04-17T10:08:35Z milosn quit (Read error: Connection reset by peer) 2015-04-17T10:09:08Z milosn joined #sbcl 2015-04-17T10:09:18Z smokeink quit (Ping timeout: 244 seconds) 2015-04-17T10:14:08Z milosn quit (Ping timeout: 245 seconds) 2015-04-17T10:27:33Z echo-area quit (Remote host closed the connection) 2015-04-17T10:29:09Z milosn joined #sbcl 2015-04-17T10:32:56Z milosn quit (Read error: Connection reset by peer) 2015-04-17T10:34:08Z milosn joined #sbcl 2015-04-17T10:34:20Z karswell` joined #sbcl 2015-04-17T10:34:56Z karswell quit (Ping timeout: 240 seconds) 2015-04-17T10:37:47Z Quadrescence quit (Quit: This computer has gone to sleep) 2015-04-17T10:49:01Z milosn quit (Read error: Connection reset by peer) 2015-04-17T10:49:33Z milosn joined #sbcl 2015-04-17T10:57:22Z milosn quit (Ping timeout: 272 seconds) 2015-04-17T10:58:39Z chrnybo joined #sbcl 2015-04-17T11:15:44Z milosn joined #sbcl 2015-04-17T11:27:35Z milosn quit (Read error: Connection reset by peer) 2015-04-17T11:28:32Z milosn joined #sbcl 2015-04-17T11:40:50Z milosn quit (Ping timeout: 246 seconds) 2015-04-17T11:56:04Z pranavrc quit (Ping timeout: 245 seconds) 2015-04-17T11:56:05Z pranavrc_ joined #sbcl 2015-04-17T11:58:18Z pranavrc joined #sbcl 2015-04-17T12:00:13Z pranavrc_ quit (Ping timeout: 250 seconds) 2015-04-17T12:10:39Z milosn joined #sbcl 2015-04-17T12:21:51Z karswell` quit (Remote host closed the connection) 2015-04-17T12:22:07Z karswell` joined #sbcl 2015-04-17T12:27:36Z karswell` is now known as karswell 2015-04-17T12:28:36Z oleo joined #sbcl 2015-04-17T12:34:00Z karswell` joined #sbcl 2015-04-17T12:36:11Z karswell quit (Ping timeout: 250 seconds) 2015-04-17T12:38:28Z milosn quit (Read error: Connection reset by peer) 2015-04-17T12:39:35Z milosn joined #sbcl 2015-04-17T12:45:27Z milosn quit (Read error: Connection reset by peer) 2015-04-17T12:54:02Z milosn joined #sbcl 2015-04-17T12:55:37Z selat joined #sbcl 2015-04-17T13:05:28Z milosn quit (Ping timeout: 250 seconds) 2015-04-17T13:05:52Z Shinmera quit (Quit: しつれいしなければならないんです。) 2015-04-17T13:14:02Z milosn joined #sbcl 2015-04-17T13:17:42Z attila_lendvai quit (Ping timeout: 252 seconds) 2015-04-17T13:20:59Z smokeink joined #sbcl 2015-04-17T13:29:42Z pranavrc quit 2015-04-17T13:34:14Z scymtym_ quit (Ping timeout: 246 seconds) 2015-04-17T13:36:58Z milosn quit (Ping timeout: 272 seconds) 2015-04-17T13:41:07Z Shinmera joined #sbcl 2015-04-17T13:45:30Z milosn joined #sbcl 2015-04-17T14:14:26Z angavrilov_ joined #sbcl 2015-04-17T14:15:18Z angavrilov quit (Ping timeout: 276 seconds) 2015-04-17T14:15:23Z milosn quit (Ping timeout: 245 seconds) 2015-04-17T14:35:29Z Cymew quit (Ping timeout: 246 seconds) 2015-04-17T15:00:40Z stassats joined #sbcl 2015-04-17T15:17:45Z slyrus joined #sbcl 2015-04-17T15:24:02Z milosn joined #sbcl 2015-04-17T15:33:28Z edgar-rft quit (Quit: edgar-rft) 2015-04-17T15:35:33Z edgar-rft joined #sbcl 2015-04-17T15:37:15Z smokeink quit (Remote host closed the connection) 2015-04-17T15:50:41Z slyrus quit (Remote host closed the connection) 2015-04-17T16:41:43Z cmack joined #sbcl 2015-04-17T17:12:38Z gingerale quit (Remote host closed the connection) 2015-04-17T17:14:18Z Bicyclidine joined #sbcl 2015-04-17T17:18:29Z stassats: M-. on declaimed things is now in, both slime and sbcl 2015-04-17T17:39:10Z ASau joined #sbcl 2015-04-17T17:58:01Z Bicyclidine quit (Ping timeout: 264 seconds) 2015-04-17T17:59:25Z Bicyclidine joined #sbcl 2015-04-17T18:14:24Z cmack quit (Ping timeout: 256 seconds) 2015-04-17T18:20:47Z Bicyclidine quit (Ping timeout: 256 seconds) 2015-04-17T18:25:29Z Bicyclidine joined #sbcl 2015-04-17T18:31:49Z Bicyclidine quit (Ping timeout: 248 seconds) 2015-04-17T18:33:44Z Bicyclidine joined #sbcl 2015-04-17T18:47:47Z cmack joined #sbcl 2015-04-17T19:01:38Z White_Flame joined #sbcl 2015-04-17T19:01:52Z Bicyclidine quit (Ping timeout: 272 seconds) 2015-04-17T19:18:09Z White_Flame quit (Ping timeout: 245 seconds) 2015-04-17T19:18:46Z White_Flame joined #sbcl 2015-04-17T19:28:21Z zacts quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-04-17T19:33:36Z Bicyclidine joined #sbcl 2015-04-17T20:06:20Z rpg joined #sbcl 2015-04-17T20:06:33Z selat quit (Quit: Lost terminal) 2015-04-17T20:16:38Z Bicyclidine quit (Ping timeout: 245 seconds) 2015-04-17T20:18:43Z White_Flame quit (Ping timeout: 245 seconds) 2015-04-17T20:18:56Z White_Flame joined #sbcl 2015-04-17T20:20:55Z stassats quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-04-17T20:23:31Z Bicyclidine joined #sbcl 2015-04-17T20:48:34Z Bicyclidine quit (Ping timeout: 265 seconds) 2015-04-17T20:52:08Z Bicyclidine joined #sbcl 2015-04-17T20:54:08Z scymtym_ joined #sbcl 2015-04-17T20:57:10Z mega1: how does this work? How can I refer to (DECLAIM (INLINE FOO)) and (DECLAIM (FTYPE (...) FOO))? 2015-04-17T20:58:44Z Bicyclidine: i think it shows up in M-. foo 2015-04-17T21:03:17Z stassats joined #sbcl 2015-04-17T21:04:22Z mega1: OK. And programatically, I call SB-INTROSPECT:FIND-DEFINITION-SOURCES-BY-NAME and find the right match myself. 2015-04-17T21:05:28Z cmack quit (Remote host closed the connection) 2015-04-17T21:06:21Z stassats: M-. => # (DEFUN FOO) (DECLAIM FOO INLINE) 2015-04-17T21:07:20Z stassats: # (DEFUN FOO) (DECLAIM FOO TYPE) (DECLAIM FOO FTYPE) (DECLAIM FOO SPECIAL) (DECLAIM FOO INLINE) 2015-04-17T21:09:26Z mega1: Thanks. It should be possible to find the right one cleanly then. 2015-04-17T21:10:14Z mega1: Maybe I'll add (DECLAIM INLINE), (DECLAIM TYPE) etc locatives to pax. 2015-04-17T21:10:44Z mega1: Although I don't yet see how they will be useful there. 2015-04-17T21:12:10Z stassats: and it points to the whole declaim, if you have multiple declarations in it, it won't show you the exact one 2015-04-17T21:15:55Z stassats: how do people manage to bork their windows sbcl build? i just specifically downloaded the latest msys and mingw, and everything that should work, works 2015-04-17T21:16:35Z stassats: and the latest msys shell blows, even cmd.exe is better 2015-04-17T21:18:54Z White_Flame quit (Ping timeout: 244 seconds) 2015-04-17T21:19:10Z White_Flame joined #sbcl 2015-04-17T21:35:41Z stassats: next thing to try adding locations, alien types 2015-04-17T21:41:52Z nikki93 joined #sbcl 2015-04-17T21:42:18Z rpg quit (Quit: rpg) 2015-04-17T21:47:50Z nikki93 quit (Remote host closed the connection) 2015-04-17T21:58:35Z Bicyclidine quit (Quit: test) 2015-04-17T22:07:03Z White_Flame quit (Ping timeout: 245 seconds) 2015-04-17T22:18:30Z White_Flame joined #sbcl 2015-04-17T22:25:05Z White_Flame quit (Ping timeout: 250 seconds) 2015-04-17T22:26:14Z White_Flame joined #sbcl 2015-04-17T22:44:00Z zacts joined #sbcl 2015-04-17T23:08:08Z stassats: sb-gmp on 64 windows uses unsigned longs types, which are 32-bit on windows 2015-04-17T23:08:10Z stassats: fascinating 2015-04-17T23:08:41Z stassats: not sb-gmp, but the actual gmp 2015-04-17T23:08:53Z stassats: even though it properly uses long longs for the actual mpz digits 2015-04-17T23:10:32Z stassats: i just adjusted sb-gmp to those assumption, but gmp and mpfr seem to be brokenish in that respect 2015-04-17T23:39:57Z karswell` quit (Read error: Connection reset by peer) 2015-04-17T23:40:14Z karswell` joined #sbcl 2015-04-17T23:43:42Z rszeno joined #sbcl 2015-04-17T23:44:31Z nikki93 joined #sbcl