00:13:55 -!- ltbarcly [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has quit [Quit: Computer has gone to sleep.] 00:56:35 ltbarcly [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has joined #sbcl 01:18:29 -!- oleo [~oleo@xdsl-78-35-172-79.netcologne.de] has quit [Ping timeout: 240 seconds] 01:18:43 oleo [~oleo@xdsl-78-35-128-166.netcologne.de] has joined #sbcl 01:20:02 -!- ltbarcly [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has quit [Quit: Computer has gone to sleep.] 01:41:14 irsol [~irsol@unaffiliated/espiral] has joined #sbcl 02:38:32 andreh [~andreh@177.96.237.93] has joined #sbcl 02:44:34 -!- prxq_ [~mommer@x2f65f4c.dyn.telefonica.de] has quit [Ping timeout: 264 seconds] 02:57:23 prxq_ [~mommer@x2f6db27.dyn.telefonica.de] has joined #sbcl 02:59:25 -!- andreh [~andreh@177.96.237.93] has quit [Ping timeout: 252 seconds] 03:38:43 -!- christoph_debian [~christoph@ppp-88-217-49-143.dynamic.mnet-online.de] has quit [Read error: Operation timed out] 03:42:47 ltbarcly [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has joined #sbcl 03:50:40 -!- michael_lee [~michael_l@113.139.75.121] has quit [Quit: Ex-Chat] 03:52:46 christoph_debian [~christoph@ppp-88-217-56-53.dynamic.mnet-online.de] has joined #sbcl 03:59:19 pranavrc [~pranavrc@122.164.132.95] has joined #sbcl 03:59:19 -!- pranavrc [~pranavrc@122.164.132.95] has quit [Changing host] 03:59:19 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 04:19:39 -!- ltbarcly [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has quit [Quit: Computer has gone to sleep.] 04:32:48 -!- asedeno [~asedeno@66.102.14.18] has quit [Remote host closed the connection] 04:37:54 yacks [~py@103.6.159.103] has joined #sbcl 04:38:35 ltbarcly [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has joined #sbcl 04:45:52 michael_lee [~michael_l@113.139.75.121] has joined #sbcl 04:48:03 edgar-rfx [~GOD@HSI-KBW-109-193-013-113.hsi7.kabel-badenwuerttemberg.de] has joined #sbcl 05:03:33 drmeiste_ [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has joined #sbcl 05:07:38 -!- drmeiste_ [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has quit [Ping timeout: 240 seconds] 05:19:45 drmeiste_ [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has joined #sbcl 05:21:50 asedeno_ [~asedeno@66.102.14.24] has joined #sbcl 05:24:07 pranavrc_ [~pranavrc@122.164.132.95] has joined #sbcl 05:24:22 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Excess Flood] 05:24:22 -!- ubii [~ubii@198.45.198.1] has quit [Excess Flood] 05:24:37 -!- edgar-rft [~GOD@HSI-KBW-109-193-013-113.hsi7.kabel-badenwuerttemberg.de] has quit [Write error: Connection timed out] 05:24:37 -!- drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has quit [Write error: No route to host] 05:25:37 ubii_ [~ubii@198.45.198.1] has joined #sbcl 05:28:06 -!- ubii_ [~ubii@198.45.198.1] has quit [Client Quit] 05:28:23 ubii_ [~ubii@198.45.198.1] has joined #sbcl 05:28:37 -!- ubii_ [~ubii@198.45.198.1] has quit [Read error: Connection reset by peer] 05:29:04 ubii [~ubii@198.45.198.1] has joined #sbcl 05:29:04 -!- ubii [~ubii@198.45.198.1] has quit [Changing host] 05:29:04 ubii [~ubii@unaffiliated/ubii] has joined #sbcl 05:39:39 attila_lendvai [~attila_le@5.251.216.208] has joined #sbcl 05:39:39 -!- attila_lendvai [~attila_le@5.251.216.208] has quit [Changing host] 05:39:39 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 05:41:55 -!- drmeiste_ [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 05:42:31 drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has joined #sbcl 05:46:49 -!- drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has quit [Ping timeout: 240 seconds] 06:11:50 sdemarre [~serge@91.176.233.91] has joined #sbcl 06:33:08 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 06:36:10 -!- scymtym_ [~user@ip-78-94-192-97.unitymediagroup.de] has quit [Ping timeout: 264 seconds] 07:09:19 drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has joined #sbcl 07:13:37 -!- drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has quit [Ping timeout: 244 seconds] 07:49:27 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 08:01:46 -!- ltbarcly [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has quit [Quit: Computer has gone to sleep.] 08:57:31 drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has joined #sbcl 09:00:53 -!- pranavrc_ [~pranavrc@122.164.132.95] has quit [Ping timeout: 265 seconds] 09:02:20 -!- drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has quit [Ping timeout: 265 seconds] 09:14:06 leoc [~leoc@static.242.155.76.144.clients.your-server.de] has joined #sbcl 10:40:22 -!- sdemarre [~serge@91.176.233.91] has quit [Ping timeout: 264 seconds] 10:45:24 -!- kludge` [~comet@unaffiliated/espiral] has quit [Ping timeout: 252 seconds] 10:45:38 drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has joined #sbcl 10:47:05 -!- michael_lee [~michael_l@113.139.75.121] has quit [Read error: Connection reset by peer] 10:50:21 -!- drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has quit [Ping timeout: 252 seconds] 10:50:30 kludge` [~comet@unaffiliated/espiral] has joined #sbcl 11:05:03 michael_lee [~michael_l@113.132.82.66] has joined #sbcl 11:25:19 pnpuff [~l@unaffiliated/pnpuff] has joined #sbcl 11:26:52 sdemarre [~serge@91.176.233.91] has joined #sbcl 11:27:17 -!- pnpuff [~l@unaffiliated/pnpuff] has left #sbcl 12:08:38 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 12:13:29 -!- prxq_ is now known as prxq 12:33:44 drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has joined #sbcl 12:35:02 pranavrc [~pranavrc@122.164.111.38] has joined #sbcl 12:35:03 -!- pranavrc [~pranavrc@122.164.111.38] has quit [Changing host] 12:35:03 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 12:38:11 -!- drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has quit [Ping timeout: 252 seconds] 13:15:50 scymtym_ [~user@ip-78-94-192-97.unitymediagroup.de] has joined #sbcl 13:23:31 -!- sdemarre [~serge@91.176.233.91] has quit [Read error: Connection reset by peer] 13:23:47 sdemarre [~serge@91.176.233.91] has joined #sbcl 13:29:46 LiamH [~none@96.231.227.121] has joined #sbcl 14:10:26 pranavrc: I only speak unified diffs. 14:11:38 -!- oleo [~oleo@xdsl-78-35-128-166.netcologne.de] has quit [Ping timeout: 240 seconds] 14:12:00 oleo [~oleo@xdsl-78-35-170-251.netcologne.de] has joined #sbcl 14:21:55 drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has joined #sbcl 14:26:29 -!- drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has quit [Ping timeout: 240 seconds] 14:48:44 antoszka [~antoszka@unaffiliated/antoszka] has joined #sbcl 15:01:29 -!- sdemarre [~serge@91.176.233.91] has quit [Ping timeout: 240 seconds] 15:09:33 drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has joined #sbcl 15:20:46 sdemarre [~serge@91.176.233.91] has joined #sbcl 15:35:32 pkhuong, alright, i'll diff it up and post it on launchpad 15:44:27 i would like to commit this: http://paste.lisp.org/display/141561. any suggestions or objections? 15:46:29 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Remote host closed the connection] 15:47:28 attila_lendvai [~attila_le@5.251.216.208] has joined #sbcl 15:47:28 -!- attila_lendvai [~attila_le@5.251.216.208] has quit [Changing host] 15:47:28 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 15:47:55 scymtym_: looks good to me. 15:48:09 pkhuong: thanks, i'll commit then 15:52:01 -!- slyrus [~chatzilla@107.201.5.56] has quit [Ping timeout: 240 seconds] 16:06:59 slyrus [~chatzilla@107.201.5.56] has joined #sbcl 16:13:50 leuler [~user@p548FA10C.dip0.t-ipconnect.de] has joined #sbcl 16:20:15 -!- ASau [~user@p54AFF95F.dip0.t-ipconnect.de] has quit [Quit: off] 16:20:28 -!- sdemarre [~serge@91.176.233.91] has quit [Read error: Connection reset by peer] 16:20:34 sdemarre1 [~serge@91.176.233.91] has joined #sbcl 16:24:38 -!- sdemarre1 [~serge@91.176.233.91] has quit [Ping timeout: 240 seconds] 17:09:13 -!- slyrus [~chatzilla@107.201.5.56] has quit [Ping timeout: 240 seconds] 17:15:27 Hi, can I get this fix reviewed? http://paste.lisp.org/display/141565 The bug is https://bugs.launchpad.net/sbcl/+bug/684485 17:19:00 slyrus [~chatzilla@107.201.5.56] has joined #sbcl 17:40:16 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 17:48:10 -!- yacks [~py@103.6.159.103] has quit [Ping timeout: 264 seconds] 18:11:03 <|3b|> pranavrc: i read that bug as wanting checks for proper lists (not circular, terminated with NIL in last CDR) more than just checks for all values being conses 18:11:25 <|3b|> (though checking for conses too seems reasonable if you are looking at entire list anyway) 18:12:12 first thing: format the commit message so that there's a one line summary in the first line 18:12:48 (progn (if (notevery ...))) is weird. (unless (every #'consp ...) (error ...)) is probably more normal 18:13:49 I think the x.pure.lisp tests can use (assert (raises-error? ...)) which will make the error tests easier to read 18:15:09 (car (list 'pairlis)) is a good try at defeating the compiler, but I don't think it is guaranteed to work. (declare (notinline pairlis)) might be better 18:15:25 ltbarcly_ [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has joined #sbcl 18:15:47 having to keep three values of `numbers' in sync (or to read them all to check that they're the same) is a bit painful 18:17:40 Ah right! I'll get fixing those 18:19:08 I think acons might also need alist-checking 18:19:26 Two more by me: Please use with-test for the test(s). Please take Nikodemus's comment into account (SAFETY 3) -- I don't know how one do the latter. 18:21:27 you could define %pairlis, have the out-of-line pairlis be (defun pairlis (...) (check ...) (%pairlis ...)) 18:21:40 and then have a transform on pairlis converting to %pairlis when safety < 3 18:26:13 Righto, I'll get back with v2 of the patch 18:28:32 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Quit: Ping timeout: ] 18:31:02 -!- ltbarcly_ [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has quit [Quit: Computer has gone to sleep.] 18:38:14 ltbarcly_ [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has joined #sbcl 18:48:04 donrybprom [~donrybpro@188.190.125.12] has joined #sbcl 18:56:19 -!- pchrist [spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 19:19:27 -!- ltbarcly_ [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has quit [Quit: Computer has gone to sleep.] 19:25:27 pchrist [spirit@gentoo/developer/pchrist] has joined #sbcl 19:28:55 attila_lendvai [~attila_le@5.251.216.208] has joined #sbcl 19:28:55 -!- attila_lendvai [~attila_le@5.251.216.208] has quit [Changing host] 19:28:55 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 19:33:06 -!- michael_lee [~michael_l@113.132.82.66] has quit [Quit: Ex-Chat] 19:49:21 -!- edgar-rfx [~GOD@HSI-KBW-109-193-013-113.hsi7.kabel-badenwuerttemberg.de] has quit [Quit: existence ended by mental explosion] 19:50:26 ltbarcly_ [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has joined #sbcl 19:52:45 -!- donrybprom [~donrybpro@188.190.125.12] has quit [Remote host closed the connection] 19:54:39 -!- ltbarcly_ [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has quit [Client Quit] 20:14:41 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Remote host closed the connection] 20:22:42 sdemarre [~serge@91.176.233.91] has joined #sbcl 20:29:22 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 21:45:15 -!- sdemarre [~serge@91.176.233.91] has quit [Ping timeout: 244 seconds] 22:09:21 ltbarcly_ [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has joined #sbcl 22:31:33 -!- ltbarcly_ [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has quit [Quit: Computer has gone to sleep.] 22:35:00 kuzyakinv [~kuzyakinv@91.207.61.49] has joined #sbcl 23:34:59 -!- jiacobucci1 [~jiacobucc@pool-173-73-8-83.washdc.fios.verizon.net] has quit [Quit: Leaving.] 23:35:08 jiacobucci [~jiacobucc@pool-173-73-8-83.washdc.fios.verizon.net] has joined #sbcl 23:39:03 -!- leuler [~user@p548FA10C.dip0.t-ipconnect.de] has quit [Quit: ERC Version 5.1.2 $Revision: 1.796.2.6 $ (IRC client for Emacs)] 23:53:29 -!- jiacobucci [~jiacobucc@pool-173-73-8-83.washdc.fios.verizon.net] has quit [Quit: Leaving.] 23:53:40 jiacobucci [~jiacobucc@pool-173-73-8-83.washdc.fios.verizon.net] has joined #sbcl