00:01:18 echo-area [~user@182.92.247.2] has joined #sbcl 00:33:40 -!- edgar-rft [~user@HSI-KBW-078-043-123-191.hsi4.kabel-badenwuerttemberg.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 01:07:36 hefner [~hefner@static-71-166-162-194.washdc.east.verizon.net] has joined #sbcl 01:54:18 antgreen [~user@70.50.66.53] has joined #sbcl 02:54:22 Would SBCL make any effort to inline or otherwise optimize the function call chain that would be produced by something like a repeated application of alexandria:curry? 02:54:39 have you tried it? 02:54:40 Or would it compile down to something that very much resembles the repeated function application that it implies? 02:54:48 I have not, just thought about it recently, figured I'd ask 02:54:55 ask dissassemble 02:55:06 That was plan B :( 02:55:11 Thanks anyways 03:07:37 -!- tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 03:35:40 -!- minion [~minion@pppoe.178-66-21-241.dynamic.avangarddsl.ru] has quit [Remote host closed the connection] 04:01:08 homie` [~levgue@xdsl-78-35-173-145.netcologne.de] has joined #sbcl 04:04:50 -!- homie [~levgue@xdsl-87-79-251-146.netcologne.de] has quit [Ping timeout: 272 seconds] 04:09:09 -!- profmakx [~profmakx@unaffiliated/profmakx] has quit [Read error: Connection reset by peer] 04:09:11 permanente [~profmakx@2a01:4f8:150:3181:2::20] has joined #sbcl 04:22:41 -!- kanru [~kanru@kanru-1-pt.tunnel.tserv15.lax1.ipv6.he.net] has quit [Quit: ZNC - http://znc.sourceforge.net] 04:24:41 kanru [~kanru@kanru-1-pt.tunnel.tserv15.lax1.ipv6.he.net] has joined #sbcl 04:25:44 -!- hefner [~hefner@static-71-166-162-194.washdc.east.verizon.net] has quit [Quit: Tell me when to go.] 04:27:19 -!- specbot [~specbot@pppoe.178-66-21-241.dynamic.avangarddsl.ru] has quit [Read error: Connection reset by peer] 04:49:59 -!- milanj [~milanj_@79-101-181-135.dynamic.isp.telekom.rs] has quit [Quit: Leaving] 04:53:44 minion [~minion@pppoe.178-66-21-241.dynamic.avangarddsl.ru] has joined #sbcl 04:54:27 specbot [~specbot@pppoe.178-66-21-241.dynamic.avangarddsl.ru] has joined #sbcl 05:13:31 nikodemus [~nikodemus@176-93-191-189.bb.dnainternet.fi] has joined #sbcl 05:13:32 -!- ChanServ has set mode +o nikodemus 06:05:18 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 06:12:13 sdemarre [~serge@91.176.50.152] has joined #sbcl 06:25:53 tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 06:30:57 prxq [~mommer@mnhm-5f75eded.pool.mediaWays.net] has joined #sbcl 06:36:14 -!- nikodemus [~nikodemus@176-93-191-189.bb.dnainternet.fi] has quit [Quit: This computer has gone to sleep] 06:41:54 -!- sdemarre [~serge@91.176.50.152] has quit [Ping timeout: 272 seconds] 06:48:21 -!- minion [~minion@pppoe.178-66-21-241.dynamic.avangarddsl.ru] has quit [Ping timeout: 248 seconds] 07:42:03 -!- tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 07:46:04 jdz [~jdz@193.206.22.97] has joined #sbcl 08:00:07 echo-are` [~user@182.92.247.2] has joined #sbcl 08:00:42 kanru_ [~kanru@kanru-1-pt.tunnel.tserv15.lax1.ipv6.he.net] has joined #sbcl 08:01:39 -!- echo-area [~user@182.92.247.2] has quit [Ping timeout: 252 seconds] 08:03:05 -!- kanru [~kanru@kanru-1-pt.tunnel.tserv15.lax1.ipv6.he.net] has quit [*.net *.split] 08:03:05 -!- antifuchs [foobar@care.boinkor.net] has quit [*.net *.split] 08:03:31 -!- permanente is now known as profmakx 08:03:39 -!- profmakx [~profmakx@2a01:4f8:150:3181:2::20] has quit [Changing host] 08:03:39 profmakx [~profmakx@unaffiliated/profmakx] has joined #sbcl 08:04:53 antifuchs [foobar@care.boinkor.net] has joined #sbcl 08:28:33 -!- siccegge [~user@davinci.siccegge.de] has quit [Remote host closed the connection] 10:03:54 -!- homie` [~levgue@xdsl-78-35-173-145.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 10:26:15 -!- echo-are` [~user@182.92.247.2] has quit [Remote host closed the connection] 11:17:38 attila_lendvai [~attila_le@188-143-56-35.pool.digikabel.hu] has joined #sbcl 11:17:39 -!- attila_lendvai [~attila_le@188-143-56-35.pool.digikabel.hu] has quit [Changing host] 11:17:39 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 11:31:10 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: Connection reset by peer] 11:31:11 attila_lendvai1 [~attila_le@188-143-56-35.pool.digikabel.hu] has joined #sbcl 11:31:11 -!- attila_lendvai1 is now known as attila_lendvai 11:31:12 -!- attila_lendvai [~attila_le@188-143-56-35.pool.digikabel.hu] has quit [Changing host] 11:31:12 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 11:33:54 -!- antgreen [~user@70.50.66.53] has quit [Remote host closed the connection] 11:34:08 attila_lendvai1 [~attila_le@188-143-56-35.pool.digikabel.hu] has joined #sbcl 11:34:08 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Disconnected by services] 11:34:16 -!- attila_lendvai1 is now known as attila_lendvai 11:34:16 -!- attila_lendvai [~attila_le@188-143-56-35.pool.digikabel.hu] has quit [Changing host] 11:34:16 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 11:37:12 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Disconnected by services] 11:37:12 attila_lendvai1 [~attila_le@178-164-243-231.pool.digikabel.hu] has joined #sbcl 11:37:15 -!- attila_lendvai1 is now known as attila_lendvai 11:37:15 -!- attila_lendvai [~attila_le@178-164-243-231.pool.digikabel.hu] has quit [Changing host] 11:37:15 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 11:38:13 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Client Quit] 11:40:50 attila_lendvai [~attila_le@178-164-243-231.pool.digikabel.hu] has joined #sbcl 11:40:51 -!- attila_lendvai [~attila_le@178-164-243-231.pool.digikabel.hu] has quit [Changing host] 11:40:51 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 12:33:28 saschakb [~saschakb@p4FEA123E.dip0.t-ipconnect.de] has joined #sbcl 12:34:12 -!- saschakb [~saschakb@p4FEA123E.dip0.t-ipconnect.de] has left #sbcl 12:34:23 -!- tresta [~narog@s213-103-192-37.cust.tele2.se] has quit [Read error: Connection reset by peer] 12:40:34 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 13:21:41 attila_lendvai [~attila_le@178-164-243-231.pool.digikabel.hu] has joined #sbcl 13:21:42 -!- attila_lendvai [~attila_le@178-164-243-231.pool.digikabel.hu] has quit [Changing host] 13:21:42 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 13:22:36 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: Connection reset by peer] 13:22:39 attila_lendvai1 [~attila_le@178-164-243-231.pool.digikabel.hu] has joined #sbcl 13:22:42 -!- attila_lendvai1 is now known as attila_lendvai 13:22:43 -!- attila_lendvai [~attila_le@178-164-243-231.pool.digikabel.hu] has quit [Changing host] 13:22:43 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 13:25:35 -!- Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [Remote host closed the connection] 13:27:08 gko [~gko@114-34-168-13.HINET-IP.hinet.net] has joined #sbcl 13:43:23 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 252 seconds] 13:43:45 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 13:45:09 -!- cmm- [~cmm@bzq-79-180-211-142.red.bezeqint.net] has quit [Ping timeout: 245 seconds] 13:45:54 cmm [~cmm@bzq-79-180-211-142.red.bezeqint.net] has joined #sbcl 13:48:12 edgar-rft [~user@HSI-KBW-078-043-123-191.hsi4.kabel-badenwuerttemberg.de] has joined #sbcl 13:52:57 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 13:57:38 -!- antifuchs [foobar@care.boinkor.net] has quit [Ping timeout: 272 seconds] 13:59:05 antifuchs [foobar@care.boinkor.net] has joined #sbcl 14:06:45 Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 14:12:46 attila_lendvai [~attila_le@178-164-243-231.pool.digikabel.hu] has joined #sbcl 14:12:46 -!- attila_lendvai [~attila_le@178-164-243-231.pool.digikabel.hu] has quit [Changing host] 14:12:46 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 14:14:17 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: Connection reset by peer] 14:14:19 attila_lendvai1 [~attila_le@178-164-243-231.pool.digikabel.hu] has joined #sbcl 14:14:19 -!- attila_lendvai1 is now known as attila_lendvai 14:14:19 -!- attila_lendvai [~attila_le@178-164-243-231.pool.digikabel.hu] has quit [Changing host] 14:14:19 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 14:28:16 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 14:35:58 plutoid [~pluto@58.39.164.31] has joined #sbcl 15:05:58 -!- plutoid [~pluto@58.39.164.31] has quit [Quit: Leaving] 15:33:16 -!- jdz [~jdz@193.206.22.97] has quit [Ping timeout: 272 seconds] 16:12:14 agspathis [~user@37.32.175.118] has joined #sbcl 16:31:53 jdz [~jdz@host244-107-dynamic.9-87-r.retail.telecomitalia.it] has joined #sbcl 16:34:46 -!- gko [~gko@114-34-168-13.HINET-IP.hinet.net] has quit [] 16:35:40 minion [~minion@pppoe.178-66-21-241.dynamic.avangarddsl.ru] has joined #sbcl 16:37:58 -!- agspathis [~user@37.32.175.118] has left #sbcl 16:43:58 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 17:00:10 sdemarre [~serge@91.176.50.152] has joined #sbcl 17:31:51 huangjs [~huangjs@200.54.109.17] has joined #sbcl 17:34:12 -!- specbot [~specbot@pppoe.178-66-21-241.dynamic.avangarddsl.ru] has quit [Ping timeout: 244 seconds] 17:49:11 milanj [~milanj_@79-101-181-135.dynamic.isp.telekom.rs] has joined #sbcl 17:59:32 (about (typep 1 '(cons . 1))) after i recompiled the type translator, the error went away 18:00:48 yeah... I think it's a bug in our implementation of destructuring-bind, though. 18:01:07 quoth the destructuring-bind.lisp: 18:01:07 ;; This declaration-as-assertion should protect us from 18:01:07 ;; (DESTRUCTURING-BIND (X . Y) 'NOT-A-LIST ...). 18:01:07 (declare (type list ,whole-name)) 18:02:10 so, it gets somehow compiled with safety 0? 18:02:12 so, we end up taking the car of 2. 18:02:33 The xc is a bit funky. It's definitely not quite (safety 0), though. 18:03:10 However, it does trust static types a lot more. 18:04:03 so, how to go about it? 18:04:30 replace that declaration with a (check-type) and rebinding, I'd say. 18:04:48 or even no rebinding, actually. 18:07:02 make it depend on policy maybe? 18:12:14 -!- huangjs [~huangjs@200.54.109.17] has quit [Ping timeout: 272 seconds] 18:12:29 De-funkify the XC, maybe? 18:13:09 well, trusting static types is a feature in #-sb-fluid builds. 18:15:59 !def-type-translator could check for lists before passing things to destructuring-bind 18:17:15 stassats`: no, destructuring-bind is broken. 18:17:27 At least in xc. 18:18:08 but fixing it doesn't give a proper error, just "1" is not list 18:19:47 What do you mean "fixing"? Making sure the declaration is checked, or inserting an explicit type check? 18:20:04 either of this 18:21:20 i'm not arguing that destructuring-bind is not broken 18:22:14 it's just that it's not enough to get (typep 1 '(cons . 1)) produce a good error, adding (when (atom (rest ,whole)) (sb!c:compiler-error "Malformed type-specifier ~a" ,whole)) gives Malformed type-specifier (CONS . 1) and slime picks it up and highlights the place 18:23:30 that's the problem with dotted lists, they cause errors, but not proper compiler-errors, so it's hard to find where the bad form appeared 18:25:03 and checking manually for proper lists and signalling compiler-errors isn't the best way to go 18:25:15 perhaps there should be a compiler-destructuring-bind or something 18:28:34 or maybe even some pattern-matching CASE variant 18:28:48 because a lot of code just does CARs and CADRs 18:29:48 LiamH [~none@pdp8.nrl.navy.mil] has joined #sbcl 18:31:00 (and which are not strict enough) 18:35:23 huangjs [~huangjs@200.54.109.17] has joined #sbcl 18:40:06 -!- sdemarre [~serge@91.176.50.152] has quit [Ping timeout: 272 seconds] 18:41:54 Is there any way in which warmer cold fasls could help? Maybe a third build target phase, in which the cross-compiled compiler builds a target compiler, and then /THOSE/ fasls are included in a fresh core built by genesis? 18:42:32 like's it's not complicated enough already 18:44:24 True, true... 18:55:13 sdemarre [~serge@91.176.169.64] has joined #sbcl 19:31:08 Fare [~Fare@216.239.55.82] has joined #sbcl 19:45:00 TimKack [~tkack@46.194.190.138] has joined #sbcl 20:11:32 stassats [~stassats@wikipedia/stassats] has joined #sbcl 20:12:11 -!- minion [~minion@pppoe.178-66-21-241.dynamic.avangarddsl.ru] has quit [Disconnected by services] 20:12:14 minion [~minion@pppoe.178-66-70-102.dynamic.avangarddsl.ru] has joined #sbcl 20:15:20 -!- stassats` [~stassats@wikipedia/stassats] has quit [Ping timeout: 265 seconds] 20:25:56 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Read error: Operation timed out] 20:38:53 homie [~levgue@xdsl-78-35-176-27.netcologne.de] has joined #sbcl 21:01:22 -!- homie [~levgue@xdsl-78-35-176-27.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:45:02 homie [~levgue@xdsl-78-35-176-27.netcologne.de] has joined #sbcl 21:48:27 -!- homie [~levgue@xdsl-78-35-176-27.netcologne.de] has quit [Client Quit] 21:55:10 homie [~levgue@xdsl-78-35-176-27.netcologne.de] has joined #sbcl 21:56:09 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Quit: Leaving] 21:58:51 -!- homie [~levgue@xdsl-78-35-176-27.netcologne.de] has quit [Client Quit] 22:05:18 -!- huangjs [~huangjs@200.54.109.17] has quit [Ping timeout: 272 seconds] 22:06:50 -!- LiamH [~none@pdp8.nrl.navy.mil] has quit [Quit: Leaving.] 22:18:30 i think DEFINE-CONDITION may behave incorrectly when the :report option is supplied 22:18:53 the hyperspec says the name of the condition class should be returned 22:20:03 but DEFINE-CONDITION expands to code that, at load and execute time, returns the result of (%SET-CONDITION-REPORT ...) 22:21:40 should i file a bug report? 22:30:03 -!- jdz [~jdz@host244-107-dynamic.9-87-r.retail.telecomitalia.it] has quit [Ping timeout: 245 seconds] 22:34:44 its independent from :report 22:35:01 it always returns the wrong thing 22:35:13 i'll fix it 22:35:44 you can blame nikodemus, in the meantime 22:36:27 i wouldn't dare 22:36:34 thanks for fixing this 22:36:46 scymtym: well, he broke it, so you can, a little 22:36:52 :) 22:46:57 huh, it breaks a test-case 22:48:10 in a strange way 22:48:17 if i use prog1, it breaks 22:49:05 ok, i think i understand why 23:06:18 scymtym: alright, pushed 23:10:35 -!- TimKack [~tkack@46.194.190.138] has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!] 23:15:07 specbot [~specbot@pppoe.178-66-70-102.dynamic.avangarddsl.ru] has joined #sbcl 23:17:29 stassats: many thanks 23:22:36 stassats: on a related note, is MAKE-CONDITION supposed to detect invalid initargs in the same way MAKE-INSTANCE does? 23:22:52 clhs make-condition 23:22:52 http://www.lispworks.com/reference/HyperSpec/Body/f_mk_cnd.htm 23:23:50 it says "initialization argument list", but i'm not sure whether that implies any checking 23:24:42 i tried clisp and they signal an error for (make-condition 'foo :bar 1) when condition class foo does not have the :bar initarg 23:25:33 as does (make-instance 'foo :bar 1) in SBCL 23:28:17 it's not required to do any checking 23:29:49 stassats: thanks, sorry for the noise 23:29:50 conditions being disconnected from the rest of CLOS is murky 23:30:42 is it necessary for bootstrapping? 23:50:52 -!- Fare [~Fare@216.239.55.82] has quit [Quit: Leaving]