00:14:09 Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 01:00:14 slyrus [~chatzilla@99-28-161-110.lightspeed.miamfl.sbcglobal.net] has joined #sbcl 01:09:53 -!- prxq [~mommer@mnhm-4d0128e9.pool.mediaWays.net] has quit [Ping timeout: 246 seconds] 01:23:09 prxq [~mommer@mnhm-590c3410.pool.mediaWays.net] has joined #sbcl 02:06:16 -!- milanj [~milanj_@109-92-112-58.dynamic.isp.telekom.rs] has quit [Quit: Leaving] 06:06:37 sdemarre [~serge@91.176.95.115] has joined #sbcl 06:28:16 -!- borkman [~user@S0106001111de1fc8.cg.shawcable.net] has quit [Remote host closed the connection] 06:42:14 -!- sdemarre [~serge@91.176.95.115] has quit [Ping timeout: 245 seconds] 06:49:59 -!- prxq [~mommer@mnhm-590c3410.pool.mediaWays.net] has quit [Quit: Leaving] 06:50:41 prxq [~mommer@mnhm-590c3410.pool.mediaWays.net] has joined #sbcl 07:09:12 luis` [~luis@nhop.r42.eu] has joined #sbcl 07:10:40 les_ [moreorles@lesharris.com] has joined #sbcl 07:11:03 -!- luis [~luis@nhop.r42.eu] has quit [Ping timeout: 245 seconds] 07:11:03 -!- ivan`` [~ivan@unaffiliated/ivan/x-000001] has quit [Ping timeout: 245 seconds] 07:11:04 -!- dlowe [~dlowe@digital.sanctuary.org] has quit [Ping timeout: 245 seconds] 07:11:04 -!- les [moreorles@fsf/member/les] has quit [Ping timeout: 245 seconds] 07:11:06 -!- DGASAU` [~user@91.218.144.129] has quit [Ping timeout: 245 seconds] 07:11:06 -!- lsenta [u6454@gateway/web/irccloud.com/x-padgejkjwmfqywpf] has quit [Ping timeout: 245 seconds] 07:11:26 DGASAU`` [~user@91.218.144.129] has joined #sbcl 07:13:00 dlowe [dlowe@digital.sanctuary.org] has joined #sbcl 07:13:04 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 07:15:56 ivan`` [~ivan@unaffiliated/ivan/x-000001] has joined #sbcl 07:20:07 lsenta [u6454@gateway/web/irccloud.com/x-twjdvmvyqeiklbtx] has joined #sbcl 07:21:37 jdz [~jdz@193.206.22.97] has joined #sbcl 07:47:52 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 08:00:07 -!- tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 08:10:25 Kryztof [~user@178-83-229-138.dynamic.hispeed.ch] has joined #sbcl 08:10:25 -!- ChanServ has set mode +o Kryztof 08:27:02 tcr [~tcr@178-83-229-138.dynamic.hispeed.ch] has joined #sbcl 08:42:46 -!- wbooze [~wbooze@xdsl-78-35-149-147.netcologne.de] has quit [Ping timeout: 252 seconds] 08:42:58 -!- homie [~levgue@xdsl-78-35-149-147.netcologne.de] has quit [Ping timeout: 245 seconds] 08:49:46 gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has joined #sbcl 08:49:57 -!- gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has left #sbcl 08:56:38 gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has joined #sbcl 08:56:53 -!- gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has left #sbcl 09:01:22 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Read error: Connection reset by peer] 09:01:23 Phooodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 09:06:55 thoughts on reasons we wouldn't want to unconditionally insert a DX cleanup in ir1-convert-fbindings? 09:45:17 -!- Phooodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Read error: Connection reset by peer] 09:45:35 Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 09:46:24 gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has joined #sbcl 09:46:34 -!- gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has left #sbcl 09:54:43 gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has joined #sbcl 09:54:49 -!- gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has left #sbcl 10:02:40 TimKack [~user@c-2ec2be18-74736162.cust.telenor.se] has joined #sbcl 10:11:49 -!- TimKack [~user@c-2ec2be18-74736162.cust.telenor.se] has quit [Ping timeout: 245 seconds] 10:16:56 TimKack [~user@c-2ec23c4f-74736162.cust.telenor.se] has joined #sbcl 10:22:33 ASau` [~user@93-80-193-34.broadband.corbina.ru] has joined #sbcl 10:25:02 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Ping timeout: 260 seconds] 10:25:14 gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has joined #sbcl 10:26:23 -!- ASau [~user@95-26-55-149.broadband.corbina.ru] has quit [Ping timeout: 246 seconds] 10:29:13 -!- gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has quit [Write error: Broken pipe] 10:29:33 gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has joined #sbcl 10:31:59 -!- gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has quit [Client Quit] 10:33:03 gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has joined #sbcl 10:36:07 -!- gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has quit [Client Quit] 10:40:04 gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has joined #sbcl 10:41:13 -!- gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has quit [Read error: Connection reset by peer] 10:42:10 gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has joined #sbcl 10:42:35 -!- gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has quit [Read error: Connection reset by peer] 10:43:51 gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has joined #sbcl 10:44:08 -!- gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has quit [Read error: Connection reset by peer] 10:47:46 gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has joined #sbcl 10:48:32 -!- gko [~gko@42-75-79-53.dynamic-ip.hinet.net] has quit [Read error: Connection reset by peer] 10:55:24 -!- tcr [~tcr@178-83-229-138.dynamic.hispeed.ch] has quit [Quit: Leaving.] 11:05:32 tcr [~tcr@178-83-229-138.dynamic.hispeed.ch] has joined #sbcl 11:18:31 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 11:19:38 -!- prxq [~mommer@mnhm-590c3410.pool.mediaWays.net] has quit [Ping timeout: 240 seconds] 11:19:58 prxq [~mommer@mnhm-590c3410.pool.mediaWays.net] has joined #sbcl 11:29:24 TimKack` [~user@46.194.146.105] has joined #sbcl 11:30:51 -!- Fade [~fade@outrider.deepsky.com] has quit [Ping timeout: 244 seconds] 11:30:58 Fade [~fade@outrider.deepsky.com] has joined #sbcl 11:32:37 -!- TimKack [~user@c-2ec23c4f-74736162.cust.telenor.se] has quit [Ping timeout: 248 seconds] 12:12:07 edgar-rft [~me@78.43.123.191] has joined #sbcl 12:26:34 scymtym_ [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has joined #sbcl 12:41:48 -!- edgar-rft [~me@78.43.123.191] has quit [Quit: Perpetual darkness] 12:49:23 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 244 seconds] 12:56:53 borodon [~Borodon@ip68-106-150-168.cl.ri.cox.net] has joined #sbcl 13:01:37 LiamH [~none@pdp8.nrl.navy.mil] has joined #sbcl 13:02:48 attila_lendvai [~attila_le@188-143-65-10.pool.digikabel.hu] has joined #sbcl 13:02:48 -!- attila_lendvai [~attila_le@188-143-65-10.pool.digikabel.hu] has quit [Changing host] 13:02:48 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 13:04:05 Does SBCL have any code that can emit comments in the pretty printer (PPRINT)? 13:10:00 -!- LiamH [~none@pdp8.nrl.navy.mil] has quit [*.net *.split] 13:10:00 -!- lsenta [u6454@gateway/web/irccloud.com/x-twjdvmvyqeiklbtx] has quit [*.net *.split] 13:10:00 -!- jsnell [~jsnell@ash.snellman.net] has quit [*.net *.split] 13:10:00 -!- galdor [galdor@def92-10-88-162-192-107.fbx.proxad.net] has quit [*.net *.split] 13:10:34 Context: I'm playing around with some ideas of generating code intended for humans to manipulate -- like API function -- and I am trying to avoid string fiddling code if I can help it. 13:13:17 DGASAU [~user@91.218.144.129] has joined #sbcl 13:16:07 LiamH [~none@pdp8.nrl.navy.mil] has joined #sbcl 13:16:07 lsenta [u6454@gateway/web/irccloud.com/x-twjdvmvyqeiklbtx] has joined #sbcl 13:16:07 jsnell [~jsnell@ash.snellman.net] has joined #sbcl 13:16:07 galdor [galdor@def92-10-88-162-192-107.fbx.proxad.net] has joined #sbcl 13:23:35 if you read comments as some kind of object, you should be able to write a print-object method for them 13:45:35 -!- jdz [~jdz@193.206.22.97] has quit [Quit: Byebye.] 13:45:41 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Disconnected by services] 13:45:41 attila_lendvai1 [~attila_le@178-164-242-48.pool.digikabel.hu] has joined #sbcl 13:45:41 -!- attila_lendvai1 is now known as attila_lendvai 13:45:42 -!- attila_lendvai [~attila_le@178-164-242-48.pool.digikabel.hu] has quit [Changing host] 13:45:42 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 13:47:18 brown` [user@nat/google/x-dtgzwiirotqaqzvu] has joined #sbcl 13:56:20 attila_lendvai1 [~attila_le@178-164-243-76.pool.digikabel.hu] has joined #sbcl 13:56:20 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Disconnected by services] 14:06:21 attila_lendvai [~attila_le@178-164-243-87.pool.digikabel.hu] has joined #sbcl 14:06:21 -!- attila_lendvai [~attila_le@178-164-243-87.pool.digikabel.hu] has quit [Changing host] 14:06:21 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 14:07:52 -!- attila_lendvai1 [~attila_le@178-164-243-76.pool.digikabel.hu] has quit [Ping timeout: 260 seconds] 14:09:39 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Disconnected by services] 14:09:39 attila_lendvai1 [~attila_le@188-143-59-242.pool.digikabel.hu] has joined #sbcl 14:09:42 -!- attila_lendvai1 is now known as attila_lendvai 14:09:43 -!- attila_lendvai [~attila_le@188-143-59-242.pool.digikabel.hu] has quit [Changing host] 14:09:43 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 14:09:56 homie [~levgue@xdsl-78-35-132-37.netcologne.de] has joined #sbcl 14:14:31 brown`` [user@nat/google/x-atpmvbsghszwpdpo] has joined #sbcl 14:16:58 -!- brown` [user@nat/google/x-dtgzwiirotqaqzvu] has quit [Read error: Connection reset by peer] 14:17:04 wbooze [~wbooze@xdsl-78-35-132-37.netcologne.de] has joined #sbcl 14:26:33 stassats [~stassats@wikipedia/stassats] has joined #sbcl 14:28:44 -!- antifuchs [foobar@care.boinkor.net] has quit [Ping timeout: 272 seconds] 14:30:12 antifuchs [foobar@care.boinkor.net] has joined #sbcl 14:30:32 so... I seem to have working auto-DX functions when passed to map, etc. and out of line transforms. 14:31:17 But, some of it depends on a source transform to detect when lambdas are passed directy. 14:31:56 I think there's a decent way to transform lambdas so that (progn .. (lambda) ...) becomes essentially (progn ... (flet (...) ...)) 14:32:37 *but*, ISTM that leaves us open to bugs when a dozen lambdas are stack allocated and only popped off at the very end of the progn. 14:33:02 thoughts? 14:33:31 my only thought is "that'd be cool" 14:33:57 which part? 14:34:16 the general part, map+lambda 14:34:19 foom [jknight@nat/google/x-mkwgrwgfondeygqn] has joined #sbcl 14:35:04 I'm genuinely surprised each time that branch passes the test suite. 15:00:06 https://github.com/pkhuong/sbcl/tree/cached-specialisation <- pushed the mess here. 15:00:25 It specialises sequence functions out of line 15:00:39 and auto-dxes functions a lot more. 15:01:16 Without the latter, switching to out of line functions conses a lot more, and that's no good. 15:05:49 -!- scymtym_ [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has quit [Read error: Connection reset by peer] 15:07:58 scymtym_ [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has joined #sbcl 15:21:01 nice 15:22:39 auto-dxification has been on the list for about a decade, I think 15:27:31 I haven't read your diff fully, so forgive me if you've done this, but... would it be nice to give the specialized out-of-line functions names, e.g. #'(replace string string) or #'(position t string)? 15:28:52 #'(cached-lambda replace (args..) ..body) ? 15:30:38 -!- stassats [~stassats@wikipedia/stassats] has quit [Remote host closed the connection] 15:30:39 Kryztof: oh yeah, definitely a good idea. 15:32:06 there's also the potential for specializing some things like constant arguments with :count args (I think :count 1 is quite common to see, for example) 15:32:14 yes (: 15:32:23 but none of the :count-ful functions have useful transforms 15:34:11 auto-dxification is one of the things I found really neat in ACL too 15:35:53 (SB-C::SPECIALIZED-FUNCTION SB-KERNEL:%MAP LIST SB-C:ANY (SIMPLE-ARRAY DOUBLE-FLOAT 1)) 15:36:46 yeah, that's a bit ugly :-) 15:36:59 but cool 15:37:13 ANY? 15:37:26 unknown 15:37:36 how does that differ to T? 15:37:39 sb-c:any shouldn't be used as a function name. 15:37:47 we're also specialising on function names. 15:38:33 Only ones for which we have transforms and that are inlinable. 15:46:04 what's *almost* directly doable with out of line specialisation is implementing mildly polymorphic sites as a perfect hash + call. 15:53:53 mm... we probably want to wrap calls to funargs to declare argument types too. 16:18:35 -!- DGASAU [~user@91.218.144.129] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 16:19:02 -!- DGASAU`` is now known as DGASAU 16:47:40 -!- scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has quit [Remote host closed the connection] 16:48:12 -!- scymtym_ [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has quit [Remote host closed the connection] 16:48:51 scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has joined #sbcl 17:05:25 -!- slyrus [~chatzilla@99-28-161-110.lightspeed.miamfl.sbcglobal.net] has quit [Ping timeout: 248 seconds] 17:08:48 christoph_debian [~user@oteiza.siccegge.de] has joined #sbcl 17:31:07 sdemarre [~serge@91.176.180.97] has joined #sbcl 17:39:49 -!- ASau` [~user@93-80-193-34.broadband.corbina.ru] has quit [Remote host closed the connection] 17:40:14 ASau` [~user@176.14.117.99] has joined #sbcl 17:46:08 -!- lichtblau [~user@port-92-195-61-68.dynamic.qsc.de] has quit [Read error: Operation timed out] 17:46:19 lichtblau [~user@port-92-195-61-68.dynamic.qsc.de] has joined #sbcl 18:03:48 -!- tcr [~tcr@178-83-229-138.dynamic.hispeed.ch] has quit [Quit: Leaving.] 18:15:34 milanj [~milanj_@93-87-166-64.dynamic.isp.telekom.rs] has joined #sbcl 18:25:31 Phoodus [~foo@wsip-68-107-217-139.ph.ph.cox.net] has joined #sbcl 18:31:53 too bad. I thought I'd be able to check one of tcr's wishlist (automatically insert type declarations for arguments of mapped functions), but python isn't smart enough to inline through closure allocation. 18:36:23 tcr [~tcr@178-83-229-138.dynamic.hispeed.ch] has joined #sbcl 18:37:17 tcr: sorry, still can't move information about infered element types into mapped functions (: 18:37:56 he's going to play pool instead 18:38:23 ah, the glamorous startup life 18:38:30 that would have been a great hack if it worked 18:39:07 froydnj: I just have to figure out how to make local call conversion work through lambda-var-bound values. 18:54:33 antgreen [user@nat/redhat/x-snwlsgxtatjwmbfl] has joined #sbcl 19:28:42 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Ping timeout: 260 seconds] 19:42:08 mm... that was too easy. 19:42:25 I believe the appropriate thing to say is "mwhahaha" 19:51:09 -!- huangjs [~huangjs@190.8.100.83] has quit [Quit: Leaving] 20:02:04 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 20:09:38 I have a feeling that splicing direct references to functionals instead of indirecting through a lambda-var might be breaking some IR1 invariant, but I can't see what (: 20:11:27 attila_lendvai [~attila_le@188-143-59-242.pool.digikabel.hu] has joined #sbcl 20:11:27 -!- attila_lendvai [~attila_le@188-143-59-242.pool.digikabel.hu] has quit [Changing host] 20:11:27 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 20:30:00 ASau`` [~user@93-80-253-113.broadband.corbina.ru] has joined #sbcl 20:30:31 ASau [~user@93-80-253-113.broadband.corbina.ru] has joined #sbcl 20:30:41 -!- ASau`` [~user@93-80-253-113.broadband.corbina.ru] has quit [Remote host closed the connection] 20:32:18 attila_lendvai1 [~attila_le@188-143-64-196.pool.digikabel.hu] has joined #sbcl 20:32:18 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Disconnected by services] 20:33:47 -!- ASau` [~user@176.14.117.99] has quit [Ping timeout: 245 seconds] 20:40:20 -!- tcr [~tcr@178-83-229-138.dynamic.hispeed.ch] has quit [Quit: Leaving.] 20:44:50 -!- Kryztof [~user@178-83-229-138.dynamic.hispeed.ch] has quit [Ping timeout: 246 seconds] 20:45:51 it might actually be supposed to work, but we don't communicate changes aggressively enough between constraint prop and locall 20:46:04 oh well 20:48:22 attila_lendvai [~attila_le@188-143-56-200.pool.digikabel.hu] has joined #sbcl 20:48:35 -!- attila_lendvai [~attila_le@188-143-56-200.pool.digikabel.hu] has quit [Changing host] 20:48:35 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 20:51:43 -!- attila_lendvai1 [~attila_le@188-143-64-196.pool.digikabel.hu] has quit [Ping timeout: 245 seconds] 21:00:14 -!- sdemarre [~serge@91.176.180.97] has quit [Ping timeout: 246 seconds] 21:04:53 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Read error: Connection reset by peer] 21:05:12 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 21:11:24 -!- antgreen [user@nat/redhat/x-snwlsgxtatjwmbfl] has quit [Remote host closed the connection] 21:35:14 -!- wbooze [~wbooze@xdsl-78-35-132-37.netcologne.de] has quit [Ping timeout: 246 seconds] 21:35:52 -!- homie [~levgue@xdsl-78-35-132-37.netcologne.de] has quit [Ping timeout: 260 seconds] 22:10:19 rpg [~rpg@23-25-144-217-static.hfc.comcastbusiness.net] has joined #sbcl 22:10:28 -!- rpg [~rpg@23-25-144-217-static.hfc.comcastbusiness.net] has quit [Client Quit] 22:12:18 -!- LiamH [~none@pdp8.nrl.navy.mil] has quit [Quit: Leaving.] 22:26:47 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 22:31:31 huangjs [~huangjs@190.8.100.83] has joined #sbcl 22:32:18 ASau` [~user@93-80-253-113.broadband.corbina.ru] has joined #sbcl 22:33:36 -!- ASau [~user@93-80-253-113.broadband.corbina.ru] has quit [Remote host closed the connection] 22:46:05 -!- borodon [~Borodon@ip68-106-150-168.cl.ri.cox.net] has quit [Quit: Leaving] 23:32:22 kanru` [~user@61-228-150-180.dynamic.hinet.net] has joined #sbcl 23:34:10 -!- tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.]