00:23:45 -!- drmeister [~drmeister@pool-71-185-168-200.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 00:41:23 LiamH [~none@96.231.222.26] has joined #sbcl 00:58:07 drmeister [~drmeister@pool-71-185-168-200.phlapa.fios.verizon.net] has joined #sbcl 00:58:36 echo-area [~user@182.92.247.2] has joined #sbcl 01:26:58 edgar-rft [~GOD@HSI-KBW-078-043-120-047.hsi4.kabel-badenwuerttemberg.de] has joined #sbcl 01:48:00 scymtym: Thanks! 01:48:12 loke: no problem 01:48:41 maybe it will get merged faster if you click "this bug affects me" :) 01:49:18 (not really) 01:49:48 stassats: yeah  i suspected that 01:50:08 I 01:50:13 I'll do it anyway :-) 01:50:47 I managed to create the sequence I wanted, but figuring out the details would have been easier with a manual :-) 01:59:28 -!- LiamH [~none@96.231.222.26] has quit [Quit: Leaving.] 02:38:20 -!- fisxoj [~fisxoj@192-0-131-151.cpe.teksavvy.com] has quit [Quit: Ex-Chat] 02:39:06 -!- christoph_debian [~christoph@ppp-188-174-14-217.dynamic.mnet-online.de] has quit [Ping timeout: 264 seconds] 02:52:18 christoph_debian [~christoph@ppp-93-104-185-196.dynamic.mnet-online.de] has joined #sbcl 03:20:50 -!- yacks [~py@103.6.159.99] has quit [Ping timeout: 245 seconds] 03:29:06 fisxoj [~fisxoj@192-0-131-151.cpe.teksavvy.com] has joined #sbcl 03:32:08 -!- fisxoj [~fisxoj@192-0-131-151.cpe.teksavvy.com] has quit [Client Quit] 03:32:58 yacks [~py@103.6.159.99] has joined #sbcl 03:39:42 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 264 seconds] 03:54:29 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 04:11:49 -!- yacks [~py@103.6.159.99] has quit [Quit: Leaving] 04:16:16 Is there anything that prevents adding an optimisation transformer that translates a call to EQUAL into EQ if it can be shown that one of its arguments is a FIXNUM? 04:16:35 That doesn't seem to happen right now 04:21:44 no, just no one noticed it was an issue in code 04:22:17 reducing to EQL and letting EQL run its normal strength reduction will likely be more robust and general. 04:23:06 pkhuong: That's what I was thinking of doing 04:24:37 If it can be shown that one of the arguments is a symbol, the same reduction applies 04:27:50 -!- scymtym_ [~user@ip-5-147-120-181.unitymediagroup.de] has quit [Ping timeout: 264 seconds] 04:28:47 pkhuong: How do you test after changing the SBCL source without recompiling everything from scratch? 04:29:32 if either argument does not types-equal-or-intersect with cons array or pathname, equal can be strength reduced to eql. 04:29:36 loke: you don't. 04:30:17 slam.sh works sometimes, but I don't think it will for this change. 04:52:13 yay. it works :-) 04:52:14 <|3b|> pkhuong: should that check for generic sequences too? 04:53:14 Would this be an acceptable fix? 04:53:15 http://paste.lisp.org/display/138746 04:54:10 |3b|: good point. Perhaps the check should be for sequence types instead of cons? 04:54:26 instead of cons or array, I mean 04:55:11 sdemarre [~serge@191.70-64-87.adsl-dyn.isp.belgacom.be] has joined #sbcl 04:55:27 |3b|: equal doesn't. 04:57:18 loke: you can work on the intersection of x-type and y-type. 04:57:35 and (specifier-type `(or ...)) 04:58:08 <|3b|> ah, right, equal only check contents for strings and bitvectors, not all arrays 05:02:33 pkhuong: Like this? 05:02:33 http://paste.lisp.org/display/138747 05:03:55 Should this go as an optimisation instead of the general EQUAL tranformer? (the difference, as I understand it, is that the former would be affected by OPTIMIZE type declarations?) 05:04:38 deftransforms define optimisation rewrites. 05:05:02 combination has a specific meaning (~ function call) in SBCL, so another word would be preferable. 05:05:20 pkhuong: right, but it seems this one is applied even when optimisations are set to 0? 05:05:39 yes. 05:06:18 The general EQUAL transform is also an optimisation, so I don't know what distinction you're making. 05:06:52 prxq [~mommer@mnhm-5f75c469.pool.mediaWays.net] has joined #sbcl 05:06:56 pkhuong: I just want to understand what factors decide whether or not OPTIMIZE controls if an optimisation is applied? 05:07:07 Is it merely whether or not the optimisation is expensive? 05:07:33 loke: whether a :policy expression was specified, or tested by hand in the transform. 05:07:44 Oh, I see 05:07:45 (or bit-vector string cons pathname) would be tighter. 05:08:49 pkhuong: Right, 05:08:59 It seems to work fine in my tests. 05:16:52 Can this be merged? This is what I ended up with (in addition to a greater understanding): 05:16:52 http://paste.lisp.org/display/138748 05:20:14 loke: if you can also come up with unit tests. 05:25:58 -!- sdemarre [~serge@191.70-64-87.adsl-dyn.isp.belgacom.be] has quit [Ping timeout: 245 seconds] 05:36:37 where should the equality tests go? 05:37:04 type.pure.lisp? 05:37:44 sdemarre [~serge@87.64.70.191] has joined #sbcl 05:43:02 compiler.pure.lisp 05:45:45 OK, I'll write some tests. Should I file a bug report on this and submit the patch there? 05:45:57 yes. 05:46:10 OK. will do 05:46:38 -!- sdemarre [~serge@87.64.70.191] has quit [Ping timeout: 240 seconds] 06:52:39 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [Ping timeout: 260 seconds] 07:29:50 prxq_ [~mommer@mnhm-590c3020.pool.mediaWays.net] has joined #sbcl 07:33:14 -!- prxq [~mommer@mnhm-5f75c469.pool.mediaWays.net] has quit [Ping timeout: 264 seconds] 07:37:40 -!- Vivitron [~Vivitron@c-50-172-44-193.hsd1.il.comcast.net] has quit [Ping timeout: 246 seconds] 07:50:34 k-stz [~user@HSI-KBW-095-208-250-187.hsi5.kabel-badenwuerttemberg.de] has joined #sbcl 07:55:56 oleo_ [d4b81ecd@gateway/web/freenode/ip.212.184.30.205] has joined #sbcl 08:04:22 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 08:07:57 benkard [~benkard@2a01:198:6d5:0:fd79:e621:a949:e19] has joined #sbcl 08:53:38 -!- benkard [~benkard@2a01:198:6d5:0:fd79:e621:a949:e19] has quit [Ping timeout: 264 seconds] 08:55:26 benkard [~benkard@2a01:198:6d5:0:fd79:e621:a949:e19] has joined #sbcl 08:59:20 -!- k-stz [~user@HSI-KBW-095-208-250-187.hsi5.kabel-badenwuerttemberg.de] has quit [Remote host closed the connection] 09:01:49 -!- benkard [~benkard@2a01:198:6d5:0:fd79:e621:a949:e19] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz] 09:22:40 -!- edgar-rft [~GOD@HSI-KBW-078-043-120-047.hsi4.kabel-badenwuerttemberg.de] has quit [Read error: Operation timed out] 09:23:03 benkard [~benkard@2a01:198:6d5:0:b049:2a8e:e285:ae5d] has joined #sbcl 09:25:49 -!- echo-area [~user@182.92.247.2] has quit [Ping timeout: 246 seconds] 09:34:18 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Ping timeout: 245 seconds] 09:34:38 -!- kludge` [~comet@unaffiliated/espiral] has quit [Ping timeout: 240 seconds] 09:36:20 kludge` [~comet@unaffiliated/espiral] has joined #sbcl 09:42:11 antoszka [~antoszka@unaffiliated/antoszka] has joined #sbcl 10:13:05 -!- loke [~loke@203.127.16.194] has quit [Remote host closed the connection] 10:22:47 loke [~loke@203.127.16.194] has joined #sbcl 10:25:54 attila_lendvai [~attila_le@62-165-243-178.pool.digikabel.hu] has joined #sbcl 10:25:54 -!- attila_lendvai [~attila_le@62-165-243-178.pool.digikabel.hu] has quit [Changing host] 10:25:54 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 10:31:59 davazp [~user@31.200.133.113] has joined #sbcl 10:41:53 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 10:44:28 attila_lendvai [~attila_le@62-165-243-178.pool.digikabel.hu] has joined #sbcl 10:44:28 -!- attila_lendvai [~attila_le@62-165-243-178.pool.digikabel.hu] has quit [Changing host] 10:44:28 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 10:44:29 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Remote host closed the connection] 10:48:52 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #sbcl 10:53:28 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [Ping timeout: 260 seconds] 11:44:35 ASau` [~user@p4FF971EB.dip0.t-ipconnect.de] has joined #sbcl 11:47:56 -!- ASau [~user@p4FF96E41.dip0.t-ipconnect.de] has quit [Ping timeout: 245 seconds] 12:02:27 pranavrc [~pranavrc@122.164.150.162] has joined #sbcl 12:02:27 -!- pranavrc [~pranavrc@122.164.150.162] has quit [Changing host] 12:02:27 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 12:12:12 -!- drmeister [~drmeister@pool-71-185-168-200.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 12:39:47 yacks [~py@103.6.159.99] has joined #sbcl 12:59:41 -!- benkard [~benkard@2a01:198:6d5:0:b049:2a8e:e285:ae5d] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz] 13:01:08 benkard [~benkard@2a01:198:6d5:0:dcd7:e2dd:4981:69e2] has joined #sbcl 13:03:25 -!- oleo_ [d4b81ecd@gateway/web/freenode/ip.212.184.30.205] has quit [] 13:04:31 drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has joined #sbcl 13:28:50 -!- davazp [~user@31.200.133.113] has quit [Remote host closed the connection] 13:29:36 -!- drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has quit [Ping timeout: 245 seconds] 13:29:52 drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has joined #sbcl 13:31:03 -!- drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has quit [Read error: Connection reset by peer] 13:31:33 drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has joined #sbcl 13:52:01 segv- [~mb@95-91-242-155-dynip.superkabel.de] has joined #sbcl 14:05:51 -!- foom [~jknight@2620:15c:6:14:be30:5bff:fedf:6db6] has quit [Ping timeout: 260 seconds] 14:11:24 -!- drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has quit [Remote host closed the connection] 14:15:37 drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has joined #sbcl 14:23:10 oleo [~oleo@xdsl-78-35-141-20.netcologne.de] has joined #sbcl 14:27:23 -!- drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has quit [Remote host closed the connection] 14:31:37 drmeister [~drmeister@farnsworth.chem.temple.edu] has joined #sbcl 14:48:29 stassats [~stassats@wikipedia/stassats] has joined #sbcl 14:56:34 foom [~jknight@2620:15c:6:14:be30:5bff:fedf:6db6] has joined #sbcl 15:19:05 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #sbcl 15:25:47 Vivitron [~Vivitron@c-50-172-44-193.hsd1.il.comcast.net] has joined #sbcl 15:30:00 -!- ASau` is now known as ASau 15:47:38 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 15:53:03 -!- yacks [~py@103.6.159.99] has quit [Ping timeout: 245 seconds] 16:06:21 -!- Vivitron [~Vivitron@c-50-172-44-193.hsd1.il.comcast.net] has quit [Quit: trivial-irc-0.0.4] 16:16:06 yacks [~py@103.6.159.99] has joined #sbcl 16:18:46 teggi [~teggi@123.20.116.221] has joined #sbcl 16:26:02 -!- foom [~jknight@2620:15c:6:14:be30:5bff:fedf:6db6] has quit [Remote host closed the connection] 16:30:03 eeezkil [~eeezkil@unaffiliated/eeezkil] has joined #sbcl 16:33:11 foom [~jknight@2620:15c:6:14:be30:5bff:fedf:6db6] has joined #sbcl 16:38:18 -!- ASau [~user@p4FF971EB.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 16:45:56 -!- stassats [~stassats@wikipedia/stassats] has quit [Remote host closed the connection] 16:53:16 ASau [~user@p4FF971EB.dip0.t-ipconnect.de] has joined #sbcl 17:35:17 -!- eeezkil [~eeezkil@unaffiliated/eeezkil] has quit [Read error: Connection reset by peer] 17:43:01 -!- slyrus [~chatzilla@107.201.4.22] has quit [Ping timeout: 268 seconds] 17:53:26 -!- teggi [~teggi@123.20.116.221] has quit [Remote host closed the connection] 18:01:48 l_ [~l@84.233.246.170] has joined #sbcl 18:01:52 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Quit: Ping timeout: ] 18:02:34 -!- l_ [~l@84.233.246.170] has left #sbcl 18:05:57 -!- segv- [~mb@95-91-242-155-dynip.superkabel.de] has quit [Ping timeout: 248 seconds] 18:21:30 -!- drmeister [~drmeister@farnsworth.chem.temple.edu] has quit [Remote host closed the connection] 18:22:15 drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has joined #sbcl 18:24:15 -!- oleo [~oleo@xdsl-78-35-141-20.netcologne.de] has quit [Ping timeout: 260 seconds] 18:24:31 oleo [~oleo@xdsl-78-35-178-27.netcologne.de] has joined #sbcl 18:27:05 stassats [~stassats@wikipedia/stassats] has joined #sbcl 18:27:26 *stassats* replaced SNB with Haswell, build times went from 3:40 to 2:50 18:27:31 not bad 18:27:44 segv- [~mb@95-91-242-155-dynip.superkabel.de] has joined #sbcl 18:28:05 -!- segv- [~mb@95-91-242-155-dynip.superkabel.de] has quit [Remote host closed the connection] 18:28:37 segv- [~mb@95-91-242-155-dynip.superkabel.de] has joined #sbcl 18:28:48 copy-more-arg seems to be an issue in all ports, and even from WHN's initial commit. 18:29:02 in cmucl too, then 18:29:09 The CMUCL people will probably want to hear about it 18:30:59 yep, but cmucl has a different failure mode 18:31:30 how does it fail? 18:31:54 (9 (NIL NIL)) (10 (NIL NIL)) (11 (NIL 10)) 18:32:05 where 9 is the number of fixed args 18:32:23 all other numbers, below and above, are the correct :key 10 18:32:33 and what happens to &rest lists? 18:32:59 what do you mean? 18:33:09 here's the test used: (loop for i from 1 to 100 collect (list i (apply (compile nil `(lambda (,@(loop repeat i collect (gensym)) &rest args) args)) (append (make-list i) '(:key 10))))) 18:33:23 ok, so what happens if you pass a longer list? 18:34:10 passing '(:key 10 20 30 40) => (9 (NIL NIL NIL NIL NIL)) (10 (NIL NIL NIL NIL NIL)) (11 (NIL 40 NIL NIL 40)) (12 (40 NIL NIL 30 40)) (13 (NIL NIL 20 30 40)) (14 (NIL 10 20 30 40)) 18:35:54 Interesting. I guess they push a NIL before copying the &more vector in place. 18:40:10 -!- drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has quit [Read error: Connection reset by peer] 18:40:16 drmeiste_ [~drmeister@wirelessNAT188.wireless.temple.edu] has joined #sbcl 18:40:24 sdemarre [~serge@91.180.75.253] has joined #sbcl 18:40:44 i don't have the latest cmucl, there were some changes to more vops 18:48:04 -!- drmeiste_ [~drmeister@wirelessNAT188.wireless.temple.edu] has quit [Remote host closed the connection] 18:49:32 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Remote host closed the connection] 18:57:01 drmeister [~drmeister@farnsworth.chem.temple.edu] has joined #sbcl 19:05:15 -!- stassats [~stassats@wikipedia/stassats] has quit [Remote host closed the connection] 19:28:07 slyrus [~chatzilla@173-228-44-92.dsl.static.sonic.net] has joined #sbcl 19:31:04 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 264 seconds] 19:33:02 scymtym_ [~user@ip-5-147-120-181.unitymediagroup.de] has joined #sbcl 19:36:50 -!- benkard [~benkard@2a01:198:6d5:0:dcd7:e2dd:4981:69e2] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz] 19:51:39 -!- drmeister [~drmeister@farnsworth.chem.temple.edu] has quit [Remote host closed the connection] 19:59:47 drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has joined #sbcl 20:45:22 -!- segv- [~mb@95-91-242-155-dynip.superkabel.de] has quit [Read error: Connection reset by peer] 20:51:52 segv- [~mb@95-91-242-155-dynip.superkabel.de] has joined #sbcl 20:56:35 -!- drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has quit [Remote host closed the connection] 20:57:21 drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has joined #sbcl 20:58:51 -!- sdemarre [~serge@91.180.75.253] has quit [Ping timeout: 260 seconds] 21:03:00 andreh [~andreh@186.214.154.23] has joined #sbcl 21:03:40 -!- drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has quit [Remote host closed the connection] 21:11:23 -!- prxq_ [~mommer@mnhm-590c3020.pool.mediaWays.net] has quit [Quit: Leaving] 21:26:33 drmeister [~drmeister@farnsworth.chem.temple.edu] has joined #sbcl 21:53:46 stassats [~stassats@wikipedia/stassats] has joined #sbcl 21:57:11 -!- drmeister [~drmeister@farnsworth.chem.temple.edu] has quit [Ping timeout: 260 seconds] 21:58:44 drmeister [~drmeister@farnsworth.chem.temple.edu] has joined #sbcl 22:17:49 -!- drmeister [~drmeister@farnsworth.chem.temple.edu] has quit [Remote host closed the connection] 22:25:32 -!- andreh [~andreh@186.214.154.23] has quit [Ping timeout: 256 seconds] 22:38:29 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [Ping timeout: 248 seconds] 22:42:56 klltkr [~klltkr@unaffiliated/klltkr] has joined #sbcl 22:45:41 -!- fikusz [~fikusz@catv-89-132-137-62.catv.broadband.hu] has quit [Quit: Leaving] 22:51:25 fikusz [~fikusz@catv-89-132-137-62.catv.broadband.hu] has joined #sbcl 22:52:17 drmeister [~drmeister@mobile-166-147-109-021.mycingular.net] has joined #sbcl 22:58:22 -!- stassats [~stassats@wikipedia/stassats] has quit [Remote host closed the connection] 22:59:26 -!- slyrus [~chatzilla@173-228-44-92.dsl.static.sonic.net] has quit [Ping timeout: 240 seconds] 23:00:31 -!- drmeister [~drmeister@mobile-166-147-109-021.mycingular.net] has quit [Remote host closed the connection] 23:05:25 slyrus [~chatzilla@173-228-44-92.dsl.static.sonic.net] has joined #sbcl 23:14:04 drmeister [~drmeister@mobile-166-147-109-021.mycingular.net] has joined #sbcl 23:28:50 -!- drmeister [~drmeister@mobile-166-147-109-021.mycingular.net] has quit [Remote host closed the connection] 23:54:27 drmeister [~drmeister@pool-71-185-168-200.phlapa.fios.verizon.net] has joined #sbcl