02:23:57 -!- bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [Read error: Operation timed out] 02:24:28 -!- alms_ [~alms_@146-115-42-237.c3-0.bkl-ubr1.sbo-bkl.ma.cable.rcn.com] has quit [Quit: alms_] 02:29:28 bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has joined #ccl 04:44:53 -!- rme [~rme@pool-70-106-142-111.chi01.dsl-w.verizon.net] has quit [Quit: rme] 07:21:37 jdz [~jdz@193.206.22.97] has joined #ccl 07:29:12 -!- bfulgham [~brent@wsip-72-215-191-226.sb.sd.cox.net] has quit [Ping timeout: 272 seconds] 08:36:48 -!- jdz [~jdz@193.206.22.97] has quit [Ping timeout: 245 seconds] 08:50:05 jdz [~jdz@193.206.22.97] has joined #ccl 10:26:57 milanj [~milanj_@109-93-8-248.dynamic.isp.telekom.rs] has joined #ccl 12:03:39 tfb [~tfb@92.40.83.185.sub.mbb.three.co.uk] has joined #ccl 12:27:46 alms_ [~alms_@146-115-42-237.c3-0.bkl-ubr1.sbo-bkl.ma.cable.rcn.com] has joined #ccl 13:41:07 tfb_ [~tfb@92.40.81.159.sub.mbb.three.co.uk] has joined #ccl 13:42:25 -!- tfb [~tfb@92.40.83.185.sub.mbb.three.co.uk] has quit [Ping timeout: 240 seconds] 13:48:18 -!- tfb_ is now known as tfb 14:00:20 rme [~rme@pool-70-106-142-111.chi01.dsl-w.verizon.net] has joined #ccl 14:29:24 -!- ivan4th [~ivan4th@smtp.igrade.ru] has left #ccl 14:45:33 -!- milanj [~milanj_@109-93-8-248.dynamic.isp.telekom.rs] has quit [Quit: Leaving] 15:13:07 palter [~palter@guest-fw.dc4.itasoftware.com] has joined #ccl 15:17:34 milanj [~milanj_@109-93-8-248.dynamic.isp.telekom.rs] has joined #ccl 15:18:14 -!- palter [~palter@guest-fw.dc4.itasoftware.com] has quit [Quit: Colloquy for iPad - http://colloquy.mobi] 15:19:11 bfulgham [~brent@wsip-72-215-191-226.sb.sd.cox.net] has joined #ccl 15:19:21 palter [~palter@guest-fw.dc4.itasoftware.com] has joined #ccl 15:20:58 palter_ [~palter@guest-fw.dc4.itasoftware.com] has joined #ccl 15:21:22 -!- palter [~palter@guest-fw.dc4.itasoftware.com] has quit [Client Quit] 15:21:23 -!- palter_ is now known as palter 15:21:59 -!- palter [~palter@guest-fw.dc4.itasoftware.com] has quit [Client Quit] 15:24:08 anRch [~markmilli@64.134.240.177] has joined #ccl 15:34:23 rme_ [~rme@pool-70-105-89-168.chi.dsl-w.verizon.net] has joined #ccl 15:35:07 -!- rme [rme@clozure-C57A251E.chi01.dsl-w.verizon.net] has quit [Ping timeout] 15:35:08 -!- rme_ is now known as rme 15:36:18 -!- rme [~rme@pool-70-106-142-111.chi01.dsl-w.verizon.net] has quit [Ping timeout: 240 seconds] 15:36:18 -!- rme_ is now known as rme 15:47:50 -!- jdz [~jdz@193.206.22.97] has quit [Quit: Leaving] 16:13:16 -!- anRch [~markmilli@64.134.240.177] has quit [Quit: anRch] 16:13:59 -!- milanj [~milanj_@109-93-8-248.dynamic.isp.telekom.rs] has quit [Ping timeout: 265 seconds] 16:18:42 milanj [~milanj_@77-46-248-67.dynamic.isp.telekom.rs] has joined #ccl 16:21:18 anRch [~markmilli@64.134.240.177] has joined #ccl 16:32:42 DanLentz [~danlentz@c-68-32-54-29.hsd1.nj.comcast.net] has joined #ccl 16:35:29 -!- tfb [~tfb@92.40.81.159.sub.mbb.three.co.uk] has quit [Ping timeout: 255 seconds] 16:36:36 -!- anRch [~markmilli@64.134.240.177] has quit [Read error: Connection reset by peer] 16:38:18 anRch [~markmilli@64.134.240.177] has joined #ccl 16:38:49 -!- anRch [~markmilli@64.134.240.177] has quit [Read error: Connection reset by peer] 16:40:31 anRch [~markmilli@64.134.240.177] has joined #ccl 16:45:33 -!- anRch [~markmilli@64.134.240.177] has quit [Read error: Connection reset by peer] 16:47:18 anRch [~markmilli@64.134.240.177] has joined #ccl 16:47:49 -!- anRch [~markmilli@64.134.240.177] has quit [Client Quit] 18:07:36 -!- Fade [fade@outrider.deepsky.com] has quit [Ping timeout: 272 seconds] 18:08:43 Fade [fade@outrider.deepsky.com] has joined #ccl 18:50:24 Fare: I committed a fix for the defstruct type-checking if you want to try it out. 18:58:30 -!- sellout [~greg@c-24-61-13-161.hsd1.ma.comcast.net] has quit [Quit: sellout] 19:20:02 rme: excellent! 19:20:05 -!- gbyers [~gb@c-68-35-35-22.hsd1.nm.comcast.net] has quit [Read error: Connection reset by peer] 19:20:42 sellout [~greg@c-24-61-13-161.hsd1.ma.comcast.net] has joined #ccl 19:22:18 Fare: There might be a few more tweaks needed; I only tested it with the simplified test case in the bug. 19:23:11 -!- DanLentz [~danlentz@c-68-32-54-29.hsd1.nj.comcast.net] has quit [Quit: Colloquy for iPhone - http://colloquy.mobi] 19:35:39 rme: thanks. 19:35:50 just checkout the lates qres branch? 19:36:49 r14308 19:44:48 Yes, that should be OK for seeing if the fix works. (There's a bug in r14308 that I need to fix, but it shouldn't affect the spurious warnings issue.) 20:26:06 (what bug is that?) 20:26:51 Some type checking of defstruct slot values is too lenient. 20:46:29 -!- sellout [~greg@c-24-61-13-161.hsd1.ma.comcast.net] has quit [Read error: Connection reset by peer] 20:46:34 sellout [~greg@c-24-61-13-161.hsd1.ma.comcast.net] has joined #ccl 21:20:38 gbyers [~gb@c-68-35-35-22.hsd1.nm.comcast.net] has joined #ccl 22:19:17 -!- Modius [~Modius@cpe-24-28-30-165.austin.res.rr.com] has quit [Quit: I'm big in Japan] 22:54:47 -!- milanj [~milanj_@77-46-248-67.dynamic.isp.telekom.rs] has quit [Quit: Leaving] 23:44:19 -!- Fare [~Fare@ita4fw1.itasoftware.com] has quit [Quit: Leaving]