00:01:38 I have no idea. 00:01:49 I'm cooking something up for rationals 00:02:09 *nyef* points out that the bug in question manifests specifically for integers. 00:02:32 right. But we could try and get it right for the general case ;) 00:02:52 Precisely. And rationals cover integers, don't they? 00:03:01 Only problem then becomes floaty numbers. 00:03:16 yup. I'd try floats, but I'm wary of a lot of things. 00:03:34 lookee: another type system hole with heap corruption potential https://bugs.launchpad.net/sbcl/+bug/657499 00:03:36 ok, off to get take out. It's like 10 LOC. 00:03:47 Maybe in an hour. 00:04:00 Cool. Enjoy your meal. 00:05:07 nikodemus: What on earth...? 00:05:50 and it isn't new -- been there forever 00:05:53 Oh. Ouch. 00:06:00 Took me a bit to figure out why "foo". 00:06:31 heh, that's my favorite way to show type system has been subverted: using (SETF CAR) to truncate a string :) 00:07:09 So, I've been thinking about closure environments recently. 00:07:21 that's clhsixly correct though, right_ 00:08:37 Is there any real documentation on them, or am I going to have to just work it out from the code? 00:09:10 do you mean the physenv stuff? 00:09:14 jsnell: yep, but as long as we don't have block-compilation reinstated... 00:09:20 Yeah, physenv stuff. 00:09:25 But specifically for closures. 00:09:49 I think classic cmucl comments is all we have for that 00:10:26 Work it out from the code it is then. Thanks. 00:14:11 opinions on giving jim wise the file uploading bit for the solaris binaries? 00:15:27 no objections 00:16:45 No opinion either way. 00:18:12 that's a sufficient level of lethargy to warrant doing it, I guess :-) 00:47:29 tcr [~tcr@cpc5-bour5-2-0-cust340.15-1.cable.virginmedia.com] has joined #sbcl 01:02:23 pkhuong pasted "Handle more singleton types (and fix LP 309063)" at http://paste.lisp.org/display/115378 01:04:14 nyef: works on x86-64. 01:04:29 That's hot-patchable, isn't it? 01:04:32 yup. 01:04:38 Never actually tried to build it. 01:05:02 just make sure to either compile-file or do it in the right order. 01:05:36 constant-type-p, lvar-value, then constant-lvar-p? 01:05:43 right. 01:08:53 nyef annotated #115378 "Results (post patch) on PPC" at http://paste.lisp.org/display/115378#1 01:09:53 that's good, right? 01:10:04 Yeah, that's good. 01:11:51 I'll consider testing a full build with it tomorrow. 01:11:56 -!- nikodemus [~nikodemus@cs181199216.pp.htv.fi] has quit [Quit: This computer has gone to sleep] 01:12:25 The type test is unbelievably stupid, though. 01:12:36 Still, that's more on me than on you, I think. 01:13:32 (Yes, we're checking for an (integer 0 0), so first check the type tag, then move it into a temporary register and compare the lower bound, then move it into the temporary register /again/ and compare the upper bound. WTF?) 01:14:55 we could do something with constant-type-p to turn such type tests into EQL checks 01:15:18 Right, but that's more a future thing. 01:15:33 And I'd like to deal with the spurious register moves first, TBH. 01:15:43 drewc [~user@S01060013101b6ddb.vc.shawcable.net] has joined #sbcl 01:15:53 oh well, evenin' :) 01:16:05 Were you going to commit this, or would you rather I did? 01:17:14 And thanks. I really didn't have any ideas on how to tackle this one other than just throwing the VOP in there, and that wouldn't have helped the other (unreported) failing targets. 01:22:41 -!- Kaes [b@c-cfcee253.97-16-64736c12.cust.bredbandsbolaget.se] has quit [Ping timeout: 252 seconds] 01:24:05 Kaer [b@c-cfcee253.97-16-64736c12.cust.bredbandsbolaget.se] has joined #sbcl 01:33:13 -!- tcr [~tcr@cpc5-bour5-2-0-cust340.15-1.cable.virginmedia.com] has quit [Quit: Leaving.] 01:41:04 kclifton [~kclifton@S010600123ff34d7d.cg.shawcable.net] has joined #sbcl 02:32:40 -!- nyef [~nyef@pool-70-109-147-129.cncdnh.east.myfairpoint.net] has quit [Quit: G'night all.] 03:00:04 -!- kclifton [~kclifton@S010600123ff34d7d.cg.shawcable.net] has quit [Quit: kclifton] 06:39:02 -!- drewc [~user@S01060013101b6ddb.vc.shawcable.net] has quit [Ping timeout: 272 seconds] 06:44:07 tcr [~tcr@cpc5-bour5-2-0-cust340.15-1.cable.virginmedia.com] has joined #sbcl 06:53:51 -!- tcr [~tcr@cpc5-bour5-2-0-cust340.15-1.cable.virginmedia.com] has quit [Quit: Leaving.] 07:37:54 mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has joined #sbcl 08:20:57 tcr [~tcr@cpc5-bour5-2-0-cust340.15-1.cable.virginmedia.com] has joined #sbcl 08:24:50 stassats [~stassats@wikipedia/stassats] has joined #sbcl 08:27:17 nikodemus [~nikodemus@cs181199216.pp.htv.fi] has joined #sbcl 08:27:17 -!- ChanServ has set mode +o nikodemus 09:14:39 Blkt [~user@93-33-140-132.ip44.fastwebnet.it] has joined #sbcl 09:16:37 good day everyone 09:17:47 Krystof [~csr21@nat65.mia.three.co.uk] has joined #sbcl 09:17:47 -!- ChanServ has set mode +o Krystof 09:29:26 -!- Blkt [~user@93-33-140-132.ip44.fastwebnet.it] has quit [Ping timeout: 240 seconds] 09:39:26 -!- Krystof [~csr21@nat65.mia.three.co.uk] has quit [Ping timeout: 240 seconds] 09:57:59 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 276 seconds] 10:01:53 -!- rbarraud [~rbarraud@118-92-5-160.dsl.dyn.ihug.co.nz] has quit [Ping timeout: 276 seconds] 10:41:13 -!- mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has quit [Ping timeout: 265 seconds] 11:05:41 attila_lendvai [~attila_le@adsl-89-132-3-59.monradsl.monornet.hu] has joined #sbcl 11:12:37 stassats [~stassats@wikipedia/stassats] has joined #sbcl 16:39:01 ccl-logbot [~ccl-logbo@setf.clozure.com] has joined #sbcl 16:39:01 -!- names: ccl-logbot mega1 kclifton nyef stassats tcr Kaer fe[nl]ix _3b` gnooth tsuru lnostdal svr1 lisppaste2 Fare angavrilov deepfire specbot minion cmm- pkhuong_ slyrus__ chandler @Xof foom vs tokenrove luis joshe `micro jsnell slyrus_ 16:42:38 attila_lendvai [~attila_le@adsl-89-132-3-59.monradsl.monornet.hu] has joined #sbcl 16:56:32 -!- luis [~luis@nhop.r42.eu] has quit [Quit: ZNC - http://znc.sourceforge.net] 17:07:49 -!- kclifton [~kclifton@s198-166-45-245.ab.hsia.telus.net] has quit [Quit: kclifton] 17:22:27 -!- attila_lendvai [~attila_le@adsl-89-132-3-59.monradsl.monornet.hu] has left #sbcl 17:34:16 nickw [~nickw@94-194-181-82.zone8.bethere.co.uk] has joined #sbcl 17:35:52 ccl-logbot [~ccl-logbo@setf.clozure.com] has joined #sbcl 17:35:52 -!- names: ccl-logbot nickw mega1 nyef stassats tcr Kaer fe[nl]ix _3b` gnooth tsuru lnostdal svr1 lisppaste2 Fare angavrilov deepfire specbot minion cmm- pkhuong_ slyrus__ chandler @Xof foom vs tokenrove joshe `micro jsnell slyrus_ 17:45:47 -!- pkhuong_ is now known as pkhuong 17:56:04 -!- nickw [~nickw@94-194-181-82.zone8.bethere.co.uk] has left #sbcl 18:00:14 kclifton [~kclifton@s198-166-45-245.ab.hsia.telus.net] has joined #sbcl 18:29:22 drewc [~user@S01060013101b6ddb.vc.shawcable.net] has joined #sbcl 18:33:34 Blkt [~user@93-33-117-158.ip44.fastwebnet.it] has joined #sbcl 19:23:10 -!- kclifton [~kclifton@s198-166-45-245.ab.hsia.telus.net] has quit [Quit: kclifton] 20:02:15 -!- tcr [~tcr@cpc5-bour5-2-0-cust340.15-1.cable.virginmedia.com] has quit [Quit: Leaving.] 20:59:06 -!- Blkt [~user@93-33-117-158.ip44.fastwebnet.it] has quit [Ping timeout: 272 seconds] 21:33:56 -!- mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has quit [Ping timeout: 272 seconds] 23:34:23 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 276 seconds] 23:40:22 froydnj [~froydnj@cpe-173-89-193-139.indy.res.rr.com] has joined #sbcl 23:50:45 FareWell [~Fare@64.119.159.126] has joined #sbcl