00:00:51 Bike [~Glossina@71-34-64-206.ptld.qwest.net] has joined #sbcl 00:03:15 Bike_ [~Glossina@71-34-64-206.ptld.qwest.net] has joined #sbcl 00:04:11 -!- Bike [~Glossina@71-34-64-206.ptld.qwest.net] has quit [Disconnected by services] 00:04:12 -!- Bike_ is now known as Bike 00:11:57 Bike_ [~Glossina@71-34-70-231.ptld.qwest.net] has joined #sbcl 00:12:59 -!- Bike [~Glossina@71-34-64-206.ptld.qwest.net] has quit [Ping timeout: 252 seconds] 00:14:49 -!- Bike_ is now known as Bike 00:31:20 -!- drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 00:32:40 drmeiste_ [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has joined #sbcl 00:34:24 -!- davazp [~user@92.251.223.55.threembb.ie] has quit [Remote host closed the connection] 01:38:25 pranavrc [~pranavrc@122.164.168.141] has joined #sbcl 01:38:25 -!- pranavrc [~pranavrc@122.164.168.141] has quit [Changing host] 01:38:25 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 01:40:07 -!- Bike [~Glossina@71-34-70-231.ptld.qwest.net] has quit [Ping timeout: 264 seconds] 01:41:36 Bike [~Glossina@174-25-44-42.ptld.qwest.net] has joined #sbcl 01:56:13 echo-area [~user@123.120.235.88] has joined #sbcl 02:15:53 -!- loke [~loke@203.127.16.194] has quit [Ping timeout: 258 seconds] 02:17:50 loke [~loke@203.127.16.194] has joined #sbcl 02:39:39 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Ping timeout: 258 seconds] 03:05:13 -!- loke [~loke@203.127.16.194] has quit [Ping timeout: 240 seconds] 03:07:45 loke [~loke@203.127.16.194] has joined #sbcl 03:13:48 Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 03:15:12 -!- yacks [~py@180.151.36.168] has quit [*.net *.split] 03:15:24 yacks [~py@180.151.36.168] has joined #sbcl 03:31:10 -!- loke [~loke@203.127.16.194] has quit [Ping timeout: 256 seconds] 03:45:01 loke [~loke@203.127.16.194] has joined #sbcl 04:08:40 Strigoides [~owen@60-234-213-126.bitstream.orcon.net.nz] has joined #sbcl 04:17:31 -!- drmeiste_ [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 04:21:54 drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has joined #sbcl 04:23:54 -!- echo-area [~user@123.120.235.88] has quit [Remote host closed the connection] 04:30:20 -!- Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 256 seconds] 04:57:50 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 05:17:56 ASau`` [~user@p4FF97E4B.dip0.t-ipconnect.de] has joined #sbcl 05:20:17 arrdem_ [~arrdem@dhcp-53-132.ece.utexas.edu] has joined #sbcl 05:20:58 Bike_ [~Glossina@174-25-44-42.ptld.qwest.net] has joined #sbcl 05:24:15 attila_lendvai [~attila_le@92.46.9.229] has joined #sbcl 05:24:15 -!- attila_lendvai [~attila_le@92.46.9.229] has quit [Changing host] 05:24:15 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 05:25:28 -!- loke [~loke@203.127.16.194] has quit [*.net *.split] 05:25:28 -!- Bike [~Glossina@174-25-44-42.ptld.qwest.net] has quit [*.net *.split] 05:25:28 -!- ASau` [~user@p4FF97E4B.dip0.t-ipconnect.de] has quit [*.net *.split] 05:25:29 -!- arrdem [~arrdem@dhcp-53-132.ece.utexas.edu] has quit [*.net *.split] 05:30:11 -!- joshe [~joshe@opal.elsasser.org] has quit [Ping timeout: 255 seconds] 05:31:47 loke [~loke@203.127.16.194] has joined #sbcl 06:02:30 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [Read error: Connection reset by peer] 06:04:09 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #sbcl 06:11:40 sdemarre [~serge@74.67-64-87.adsl-dyn.isp.belgacom.be] has joined #sbcl 06:48:58 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Remote host closed the connection] 07:09:55 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [Read error: Connection reset by peer] 07:13:19 -!- Bike_ is now known as Bike 07:15:03 -!- edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has quit [Quit: brain damage] 07:38:30 -!- yacks [~py@180.151.36.168] has quit [Ping timeout: 264 seconds] 07:41:52 -!- sdemarre [~serge@74.67-64-87.adsl-dyn.isp.belgacom.be] has quit [Ping timeout: 256 seconds] 07:45:55 yacks [~py@180.151.36.168] has joined #sbcl 08:02:34 -!- Bike [~Glossina@174-25-44-42.ptld.qwest.net] has quit [Quit: leaving] 08:21:53 pranavrc [~pranavrc@122.164.152.135] has joined #sbcl 08:21:53 -!- pranavrc [~pranavrc@122.164.152.135] has quit [Changing host] 08:21:53 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 08:35:44 stassats [~stassats@wikipedia/stassats] has joined #sbcl 08:43:06 foreignFunction [~niksaak@94.27.88.57] has joined #sbcl 08:49:22 -!- stassats [~stassats@wikipedia/stassats] has quit [Remote host closed the connection] 08:49:27 -!- drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 08:52:51 sdemarre [~serge@91.180.106.209] has joined #sbcl 09:05:49 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 09:23:00 -!- foreignFunction [~niksaak@94.27.88.57] has quit [Quit: Leaving.] 09:27:16 -!- sdemarre [~serge@91.180.106.209] has quit [Ping timeout: 256 seconds] 09:27:40 foreignFunction [~niksaak@94.27.88.239] has joined #sbcl 09:32:14 davazp [~user@92.251.190.59.threembb.ie] has joined #sbcl 09:55:31 Posterdati [~antani@host230-237-dynamic.20-87-r.retail.telecomitalia.it] has joined #sbcl 10:02:36 drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has joined #sbcl 10:42:18 wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has joined #sbcl 11:12:43 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Ping timeout: 256 seconds] 11:26:35 pranavrc [~pranavrc@122.164.85.113] has joined #sbcl 11:26:35 -!- pranavrc [~pranavrc@122.164.85.113] has quit [Changing host] 11:26:36 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 11:26:52 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Ping timeout: 246 seconds] 11:28:53 antoszka [~antoszka@unaffiliated/antoszka] has joined #sbcl 11:36:03 sdemarre [~serge@91.180.106.209] has joined #sbcl 11:37:46 prxq [~mommer@mnhm-590c0a2a.pool.mediaWays.net] has joined #sbcl 11:43:18 attila_lendvai [~attila_le@92.46.11.147] has joined #sbcl 11:43:18 -!- attila_lendvai [~attila_le@92.46.11.147] has quit [Changing host] 11:43:18 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 11:54:02 -!- sdemarre [~serge@91.180.106.209] has quit [Ping timeout: 256 seconds] 11:57:48 stassats [~stassats@wikipedia/stassats] has joined #sbcl 12:03:53 -!- drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 12:26:21 -!- wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has quit [Remote host closed the connection] 12:37:42 wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has joined #sbcl 12:45:15 -!- ASau`` is now known as ASau 12:46:03 sdemarre [~serge@91.180.106.209] has joined #sbcl 13:00:07 LiamH [~none@96.231.225.69] has joined #sbcl 13:03:19 edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has joined #sbcl 13:09:07 -!- davazp [~user@92.251.190.59.threembb.ie] has quit [Ping timeout: 256 seconds] 13:11:42 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Quit: Ping timeout: ] 13:18:28 prxq_ [~mommer@mnhm-590c0a2a.pool.mediaWays.net] has joined #sbcl 13:21:36 -!- prxq_ [~mommer@mnhm-590c0a2a.pool.mediaWays.net] has quit [Client Quit] 13:28:07 leuler [~user@p548FC0BC.dip0.t-ipconnect.de] has joined #sbcl 13:28:48 Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #sbcl 13:43:28 pkhuong: shouldn't bug fixes go below enhancements in NEWS? 13:45:13 -!- edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has quit [Quit: this computer sucks] 13:46:14 stassats: sorry, bad merge. 13:46:31 -!- sdemarre [~serge@91.180.106.209] has quit [Ping timeout: 256 seconds] 13:47:46 hopefully our release engineer can fix that before tagging. 14:14:08 davazp [~user@92.251.190.59.threembb.ie] has joined #sbcl 14:14:38 -!- wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has quit [Remote host closed the connection] 14:15:22 _8david: I see two sysv_abi attributes in our runtime. Is there any reason to use them anywhere but on windows (and even then, only for windows64)? 14:18:03 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Ping timeout: 258 seconds] 14:25:27 uhhuh 14:25:38 anyone else with any last-minute pre-freeze fixes? 14:26:03 -!- davazp [~user@92.251.190.59.threembb.ie] has quit [Ping timeout: 252 seconds] 14:27:05 wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has joined #sbcl 14:41:29 sdemarre [~serge@91.180.106.209] has joined #sbcl 14:59:20 drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has joined #sbcl 15:02:17 -!- stassats [~stassats@wikipedia/stassats] has quit [Read error: Connection reset by peer] 15:05:40 stassats [~stassats@wikipedia/stassats] has joined #sbcl 15:27:50 antoszka [~antoszka@unaffiliated/antoszka] has joined #sbcl 15:46:39 davazp [~user@92.251.217.112.threembb.ie] has joined #sbcl 16:11:48 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 16:19:56 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Ping timeout: 258 seconds] 16:20:41 Bike [~Glossina@207-224-23-36.ptld.qwest.net] has joined #sbcl 16:23:35 pranavrc [~pranavrc@122.164.65.49] has joined #sbcl 16:23:35 -!- pranavrc [~pranavrc@122.164.65.49] has quit [Changing host] 16:23:35 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 16:30:00 -!- sdemarre [~serge@91.180.106.209] has quit [Ping timeout: 256 seconds] 16:36:17 lp 1026634 16:36:17 https://bugs.launchpad.net/bugs/1026634 16:36:38 Krystof: Re that, I have something that doesn't recurse, but M-S-F results in an out of line call. 16:37:27 should I write a VOP for all paltforms? 16:37:31 platforms even 17:20:46 Krystof: one more last minute fix you might want to look at on #1026634 (: 17:31:54 sdemarre [~serge@91.180.106.209] has joined #sbcl 17:35:37 Bike_ [~Glossina@174-25-61-39.ptld.qwest.net] has joined #sbcl 17:38:37 -!- Bike [~Glossina@207-224-23-36.ptld.qwest.net] has quit [Ping timeout: 256 seconds] 17:39:49 -!- LiamH [~none@96.231.225.69] has quit [Ping timeout: 248 seconds] 17:40:08 -!- Bike_ is now known as Bike 17:42:01 -!- wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has quit [Remote host closed the connection] 17:43:40 -!- drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 18:08:34 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Quit: Ping timeout: ] 18:11:35 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 18:15:57 gabnet [~gabnet@ACaen-652-1-194-14.w83-115.abo.wanadoo.fr] has joined #sbcl 18:19:50 LiamH [~none@96.231.225.69] has joined #sbcl 18:26:49 -!- scymtym_ [~user@ip-5-147-116-166.unitymediagroup.de] has quit [Ping timeout: 258 seconds] 18:37:09 -!- gabnet [~gabnet@ACaen-652-1-194-14.w83-115.abo.wanadoo.fr] has quit [Quit: Ex-Chat] 18:40:35 wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has joined #sbcl 18:48:41 pkhuong: Re 1096444 (LOGIOR etc. bound derivation on bignums): I have the linear-scaling solution completed, see https://github.com/leuler/sbcl/commit/69fbd7c0. I had it not committed yet because I would have liked some review first, but maybe asked too shyly (here, some months ago) and got no reply. 18:49:04 So, punting would not save any work. 18:49:19 all right. 18:50:09 Actually, in the meantime, some minor polishing has accumulated in my todo-list, but that is fast and easily done. 18:50:47 -!- Bike [~Glossina@174-25-61-39.ptld.qwest.net] has quit [Read error: Connection reset by peer] 18:50:47 Bike_ [~Glossina@174-25-61-39.ptld.qwest.net] has joined #sbcl 18:51:48 -!- Bike_ is now known as Bike 18:52:35 I'm gonna grab something to eat. Let's see if I have the energy to look at the commit later. 18:52:54 pkhuong: That would be great. 18:54:14 Bike_ [~Glossina@174-25-61-39.ptld.qwest.net] has joined #sbcl 18:54:25 -!- Bike [~Glossina@174-25-61-39.ptld.qwest.net] has quit [Disconnected by services] 18:54:28 -!- Bike_ is now known as Bike 18:55:04 drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has joined #sbcl 18:56:14 I'm mostly concerned about staying within SBCL's conventions and being readable: Is it sensible to use the short names ZEROES and ONES, are these function in the right package and file/place, and, for the new test utility, is the name OK? 18:57:32 That the algorithm is sound, I'm firmly convinced. 18:58:53 *functions 19:03:51 -!- Strigoides [~owen@60-234-213-126.bitstream.orcon.net.nz] has quit [Quit: leaving] 19:05:09 -!- yacks [~py@180.151.36.168] has quit [Quit: Leaving] 19:06:12 yacks [~py@180.151.36.168] has joined #sbcl 19:10:00 I'm not sure I'd leave the utility functions so far away from their single use to date. 19:13:02 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #sbcl 19:14:01 So, instead put them in srctran.lisp, directly before the use, and not export them? 19:15:10 -!- davazp [~user@92.251.217.112.threembb.ie] has quit [Ping timeout: 246 seconds] 19:22:12 right. Also, I always feel like srctran's too big and should be split up by topic. Rewriting the bound propagation routines for bitwise operations would be a good opportunity. 19:33:22 I can't think of better names than zeroes/ones, but if their use is local, I don't think it matters 19:34:14 OK. 19:37:52 Regarding splitting up srctran: There are some dependencies covering large parts of the file, for example interval-< is defined nearly 3000 lines before its last use. I'm not versed enough in the build process to tell whether putting the definition and the use in separate files doesn't hurt someway or another. 19:42:04 I mean, doing it piece wise. So, put bound propagation for bitwise ops in its own file, and leave the rest as is. 19:48:03 That would be, starting at the Hacker's Delight comment and ending before (defoptimizer (integer-length derive-type) ...)? 19:52:29 the whole section between ^L. 19:53:50 davazp [~user@178.167.209.24.threembb.ie] has joined #sbcl 19:53:58 Yes, integer-type-length is used only there, I see now. 19:55:54 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 264 seconds] 19:56:27 You don't happen to have an idea about the filename, too, if I dare ask? logint-tran, integerlog-tran? 19:59:01 bitops-bound? 20:00:48 No "tran"? 20:03:50 that section isn't doing any tran ;) 20:10:45 Obviously, now that you say it ;) 20:11:36 Bike_ [~Glossina@67-5-255-131.ptld.qwest.net] has joined #sbcl 20:14:42 -!- Bike [~Glossina@174-25-61-39.ptld.qwest.net] has quit [Ping timeout: 276 seconds] 20:15:15 No reference to "type" and/or "derive" in the filename? 20:16:09 bitops-derive-type, I guess? 20:16:10 Bike [~Glossina@71-34-73-31.ptld.qwest.net] has joined #sbcl 20:18:21 After estimating man-hours, finding names is the most difficult problem in programming, IMO. 20:19:08 -!- Bike_ [~Glossina@67-5-255-131.ptld.qwest.net] has quit [Ping timeout: 252 seconds] 20:19:24 I like bitops-derive-type. 20:31:34 Jini [~pidgin@195.112.102.205] has joined #sbcl 20:43:09 -!- Jini [~pidgin@195.112.102.205] has left #sbcl 20:46:11 OK, if that's all, thank you, pkhuong! I will adjust the patch and commit it sometime after the freeze is over. 20:48:50 edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has joined #sbcl 20:49:07 leuler: good, thank you. 21:23:50 -!- akovalenko` [~user@195.18.46.21] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:25:36 akovalenko [~user@195.18.46.21] has joined #sbcl 22:18:19 -!- leuler [~user@p548FC0BC.dip0.t-ipconnect.de] has quit [Quit: ERC Version 5.1.2 $Revision: 1.796.2.6 $ (IRC client for Emacs)] 22:24:10 -!- wbooze [~wbooze@xdsl-78-35-153-208.netcologne.de] has quit [Ping timeout: 256 seconds] 22:28:53 wbooze [~wbooze@xdsl-78-35-148-233.netcologne.de] has joined #sbcl 22:34:04 -!- prxq [~mommer@mnhm-590c0a2a.pool.mediaWays.net] has quit [Quit: Leaving] 22:34:39 -!- LiamH [~none@96.231.225.69] has quit [Ping timeout: 256 seconds] 23:04:32 -!- foreignFunction [~niksaak@94.27.88.239] has quit [Quit: Leaving.] 23:29:14 pkhuong: it's like it's Christmas, only it's also sunny and all is right with the world 23:30:16 I don't know if I'm brave enough to put your fix in, though. Knowing my luck it would probably end up endlessly recursing while compiling some highly critical piece of airfare search and all planes would end up being grounded due to lack of passengers 23:34:02 Krystof: let's wait until the next release to break it then. We can pretend we're doing an anti-linux. Even releases are borked! 23:36:06 maybe my achievement next month might be to get the random tester running again 23:36:38 LiamH [~none@96.231.225.69] has joined #sbcl 23:39:27 -!- davazp [~user@178.167.209.24.threembb.ie] has quit [Remote host closed the connection] 23:48:12 ASau` [~user@p4FF97886.dip0.t-ipconnect.de] has joined #sbcl 23:51:34 -!- ASau [~user@p4FF97E4B.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds]