00:12:02 hargettp [~anonymous@pool-71-184-181-149.bstnma.east.verizon.net] has joined #sbcl 00:12:47 -!- hargettp [~anonymous@pool-71-184-181-149.bstnma.east.verizon.net] has quit [Client Quit] 00:47:02 derrida [~derrida@unaffiliated/deleuze] has joined #sbcl 00:52:13 lnostdal_ [~quassel@56.84-48-233.nextgentel.com] has joined #sbcl 00:52:29 -!- lnostdal [~quassel@56.84-48-233.nextgentel.com] has quit [Ping timeout: 240 seconds] 02:21:40 stassats [~stassats@wikipedia/stassats] has joined #sbcl 03:15:45 -!- nyef [~nyef@pool-71-255-129-229.cncdnh.east.myfairpoint.net] has quit [Quit: G'night all.] 04:25:22 -!- tcr1 [~tcr@cpc1-bour2-0-0-cust414.15-1.cable.virginmedia.com] has quit [Quit: Leaving.] 05:01:14 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 276 seconds] 05:47:19 -!- tsuru [~charlie@c-174-50-217-160.hsd1.tn.comcast.net] has quit [Remote host closed the connection] 08:02:02 -!- rbarraud_ [~rbarraud@118-92-18-14.dsl.dyn.ihug.co.nz] has quit [Read error: Connection reset by peer] 08:27:58 attila_lendvai [~attila_le@89.135.200.180] has joined #sbcl 08:47:48 tcr [~tcr@cpc1-bour2-0-0-cust414.15-1.cable.virginmedia.com] has joined #sbcl 09:26:54 -!- tcr [~tcr@cpc1-bour2-0-0-cust414.15-1.cable.virginmedia.com] has quit [Quit: Leaving.] 09:32:28 tcr [~tcr@cpc1-bour2-0-0-cust414.15-1.cable.virginmedia.com] has joined #sbcl 10:01:46 -!- cmm [~cmm@bzq-79-181-203-193.red.bezeqint.net] has quit [Ping timeout: 265 seconds] 10:02:31 cmm [~cmm@bzq-79-181-203-193.red.bezeqint.net] has joined #sbcl 10:25:20 stassats [~stassats@wikipedia/stassats] has joined #sbcl 10:53:03 -!- tcr [~tcr@cpc1-bour2-0-0-cust414.15-1.cable.virginmedia.com] has quit [Ping timeout: 245 seconds] 11:01:22 tcr [~tcr@cpc1-bour2-0-0-cust414.15-1.cable.virginmedia.com] has joined #sbcl 11:24:37 hargettp [~anonymous@pool-71-184-181-149.bstnma.east.verizon.net] has joined #sbcl 11:24:39 rbarraud [~rbarraud@118-93-88-117.dsl.dyn.ihug.co.nz] has joined #sbcl 11:40:59 -!- rbarraud [~rbarraud@118-93-88-117.dsl.dyn.ihug.co.nz] has quit [Ping timeout: 276 seconds] 12:03:55 Hrm seems like compiler macros are tried only once in the very beginning of compilation?expanded 12:04:04 especially before inlining 12:12:07 -!- hargettp [~anonymous@pool-71-184-181-149.bstnma.east.verizon.net] has quit [Quit: hargettp] 12:21:50 hargettp [~anonymous@pool-71-184-181-149.bstnma.east.verizon.net] has joined #sbcl 12:53:08 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 276 seconds] 12:54:42 rmarynch [~roman@bras-11-ge-62.122.200.238.utm.if.ua] has joined #sbcl 13:03:21 nikodemus [~nikodemus@cs181058025.pp.htv.fi] has joined #sbcl 13:03:21 -!- ChanServ has set mode +o nikodemus 13:45:49 nyef [~nyef@pool-71-255-129-229.cncdnh.east.myfairpoint.net] has joined #sbcl 13:46:11 G'morning all. 13:48:20 Hi nyef 14:06:33 Blkt [~user@net-93-146-149-37.cust.dsl.teletu.it] has joined #sbcl 14:44:13 -!- rmarynch [~roman@bras-11-ge-62.122.200.238.utm.if.ua] has quit [Quit: Leaving] 15:29:33 Fare [~Fare@ita4fw1.itasoftware.com] has joined #sbcl 15:41:12 stassats [~stassats@wikipedia/stassats] has joined #sbcl 15:54:57 whee, compiler-macros on steroids! 15:55:04 https://bugs.launchpad.net/sbcl/+bug/632368 15:56:50 this is funny, i've been thinking on and off about exposing derived types to compiler macros for years now 15:57:22 then tcr asks about propagating constants for them, and suddendly the answer is obvious :) 15:59:19 Btw, can deftransforms in some way express expression simplification, like (not (not (not x))) -> (not x), or can it only be done by compiler macros? 15:59:53 huh. that's clever. 16:00:02 I've always been annoyed at how useless compiler macros were 16:00:38 nifty 16:02:00 I always though the answer would be to make constantp better, but I guess making it be called on simpler things is okay too. :) 16:05:28 foom: how would a better constantp help with the case described in that bug? 16:05:40 luis: it wouldn't...but it would help with all my use cases 16:06:28 foom: can you give me one such example? 16:13:50 (defmacro foo (a b) `(+ ,a ,b)) (constantp '(foo 1 2)) 16:17:21 we mostly don't use compiler macros, and instead use functions marked foldable with (defknown ,name (&rest t) * (sb-c::movable sb-c::foldable sb-c::flushable)) and deftransforms. 16:17:39 (since deftransforms already run after constant propagation) 16:19:23 lnostdal [~quassel@56.84-48-233.nextgentel.com] has joined #sbcl 16:21:12 -!- lnostdal_ [~quassel@56.84-48-233.nextgentel.com] has quit [Ping timeout: 240 seconds] 16:58:10 foom: i have patch that addresses the issues in the first cut of that 16:59:14 now i just need someone with a big codebase and compiler-macros to find out how much it increases the compilation time... 17:10:40 -!- attila_lendvai [~attila_le@89.135.200.180] has quit [Quit: Leaving.] 17:22:35 drewc [~user@S01060013101b6ddb.vc.shawcable.net] has joined #sbcl 18:03:26 tsuru [~charlie@c-174-50-217-160.hsd1.tn.comcast.net] has joined #sbcl 18:13:57 -!- Krystof [~csr21@84-51-132-95.christ977.adsl.metronet.co.uk] has quit [Remote host closed the connection] 18:20:41 Krystof [~csr21@84-51-132-95.christ977.adsl.metronet.co.uk] has joined #sbcl 18:20:41 -!- ChanServ has set mode +o Krystof 18:22:20 -!- nikodemus [~nikodemus@cs181058025.pp.htv.fi] has quit [Quit: This computer has gone to sleep] 18:25:16 -!- cmm [~cmm@bzq-79-181-203-193.red.bezeqint.net] has quit [Ping timeout: 252 seconds] 18:26:16 cmm [~cmm@bzq-79-181-203-193.red.bezeqint.net] has joined #sbcl 18:35:07 -!- Krystof [~csr21@84-51-132-95.christ977.adsl.metronet.co.uk] has quit [Quit: Leaving] 18:35:50 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 276 seconds] 18:42:19 Krystof [~csr21@84-51-132-95.christ977.adsl.metronet.co.uk] has joined #sbcl 18:42:19 -!- ChanServ has set mode +o Krystof 19:03:08 nikodemus [~nikodemus@cs181199216.pp.htv.fi] has joined #sbcl 19:03:08 -!- ChanServ has set mode +o nikodemus 19:09:00 -!- nikodemus [~nikodemus@cs181199216.pp.htv.fi] has quit [Quit: Leaving] 19:19:09 -!- Krystof [~csr21@84-51-132-95.christ977.adsl.metronet.co.uk] has quit [Quit: Leaving] 19:57:03 -!- hargettp [~anonymous@pool-71-184-181-149.bstnma.east.verizon.net] has quit [Quit: hargettp] 20:02:56 hargettp [~anonymous@pool-71-184-181-149.bstnma.east.verizon.net] has joined #sbcl 20:38:30 rbarraud [~rbarraud@118-93-88-117.dsl.dyn.ihug.co.nz] has joined #sbcl 22:45:38 -!- tsuru [~charlie@c-174-50-217-160.hsd1.tn.comcast.net] has quit [Remote host closed the connection] 22:50:22 -!- rbarraud [~rbarraud@118-93-88-117.dsl.dyn.ihug.co.nz] has quit [Read error: Connection reset by peer] 22:50:38 rbarraud [~rbarraud@118-93-88-117.dsl.dyn.ihug.co.nz] has joined #sbcl 23:00:22 Krystof [~csr21@84-51-132-95.christ977.adsl.metronet.co.uk] has joined #sbcl 23:00:23 -!- ChanServ has set mode +o Krystof 23:37:49 -!- hargettp [~anonymous@pool-71-184-181-149.bstnma.east.verizon.net] has quit [Quit: hargettp]