00:12:00 -!- kaelol [~b@c-f0cbe253.97-16-64736c12.cust.bredbandsbolaget.se] has quit [Ping timeout: 250 seconds] 00:14:07 -!- pkhuong [~pkhuong@gravelga.xen.prgmr.com] has quit [Remote host closed the connection] 00:28:37 -!- hargettp [~hargettp@pool-71-174-137-218.bstnma.east.verizon.net] has quit [Quit: Linkinus - http://linkinus.com] 00:31:19 -!- attila_lendvai [~attila_le@catv-80-98-24-21.catv.broadband.hu] has quit [Quit: Leaving.] 00:33:54 -!- Fare [~Fare@ita4fw1.itasoftware.com] has left #sbcl 00:40:22 attila_lendvai [~attila_le@catv-80-98-24-21.catv.broadband.hu] has joined #sbcl 01:01:07 homie` [~levgue@xdsl-78-35-171-184.netcologne.de] has joined #sbcl 01:03:00 -!- homie` [~levgue@xdsl-78-35-171-184.netcologne.de] has quit [Client Quit] 01:04:04 -!- homie [~levgue@xdsl-78-35-190-151.netcologne.de] has quit [Ping timeout: 255 seconds] 01:05:23 homie [~levgue@xdsl-78-35-171-184.netcologne.de] has joined #sbcl 01:06:33 hargettp [~hargettp@pool-71-174-137-218.bstnma.east.verizon.net] has joined #sbcl 01:19:05 pkhuong [~pkhuong@gravelga.xen.prgmr.com] has joined #sbcl 01:26:45 -!- attila_lendvai [~attila_le@catv-80-98-24-21.catv.broadband.hu] has quit [Quit: Leaving.] 01:27:45 -!- antgreen [~user@CPE00222d6c4710-CM00222d6c470d.cpe.net.cable.rogers.com] has quit [Ping timeout: 276 seconds] 01:49:28 -!- nyef [~nyef@pool-70-109-148-200.cncdnh.east.myfairpoint.net] has quit [Quit: G'night all.] 02:07:45 -!- christoph_debian [~user@oteiza.siccegge.de] has quit [Read error: Connection reset by peer] 02:07:52 christoph_debian [~user@oteiza.siccegge.de] has joined #sbcl 02:47:07 -!- hargettp [~hargettp@pool-71-174-137-218.bstnma.east.verizon.net] has quit [Quit: Leaving...] 03:10:10 -!- ASau [~user@95-27-147-227.broadband.corbina.ru] has quit [Ping timeout: 240 seconds] 03:15:16 ASau [~user@95-27-147-227.broadband.corbina.ru] has joined #sbcl 03:28:09 -!- ASau [~user@95-27-147-227.broadband.corbina.ru] has quit [Remote host closed the connection] 03:29:11 ASau [~user@95-27-147-227.broadband.corbina.ru] has joined #sbcl 04:12:30 slyrus [~chatzilla@adsl-75-36-217-249.dsl.pltn13.sbcglobal.net] has joined #sbcl 06:03:03 -!- redline6561 [~user@c-66-56-55-169.hsd1.ga.comcast.net] has quit [Ping timeout: 240 seconds] 06:41:43 tcr1 [~tcr@217-162-131-235.dynamic.hispeed.ch] has joined #sbcl 07:19:25 flip214 [~marek@2001:858:107:1:baac:6fff:fe6b:9183] has joined #sbcl 07:19:25 -!- flip214 [~marek@2001:858:107:1:baac:6fff:fe6b:9183] has quit [Changing host] 07:19:25 flip214 [~marek@unaffiliated/flip214] has joined #sbcl 08:08:12 <|3b|> should the sbcl debugger be able to restart flet/labels frames? 08:08:48 <|3b|> currently it errors, complaining (flet foo) is an invalid function name 08:16:02 mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has joined #sbcl 08:40:21 stassats` [~stassats@wikipedia/stassats] has joined #sbcl 11:03:09 -!- mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has quit [Quit: No Ping reply in 180 seconds.] 11:03:13 mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has joined #sbcl 11:11:39 hargettp [~hargettp@pool-71-174-137-218.bstnma.east.verizon.net] has joined #sbcl 11:20:21 attila_lendvai [~attila_le@catv-80-98-24-21.catv.broadband.hu] has joined #sbcl 11:24:25 Blkt [~user@93-33-142-0.ip44.fastwebnet.it] has joined #sbcl 11:29:28 -!- Krystof [~csr21@csrhodes.plus.com] has quit [Ping timeout: 255 seconds] 11:35:36 -!- hargettp [~hargettp@pool-71-174-137-218.bstnma.east.verizon.net] has quit [Quit: Leaving...] 11:38:07 hargettp [~hargettp@pool-71-174-137-218.bstnma.east.verizon.net] has joined #sbcl 12:24:29 -!- hargettp [~hargettp@pool-71-174-137-218.bstnma.east.verizon.net] has quit [Quit: Leaving...] 12:25:46 *|3b|* gets "Failure: compiler.pure.lisp / BUG-654289" on 1.0.45.13 12:29:27 <|3b|> ... but not if i try to run only that file, maybe it was just slow due to system load the first time 12:31:22 *|3b|* wonders if all those warnings about binding the wrong *break-on0signals* should be fixed 12:36:15 antgreen [~user@CPE00222d6c4710-CM00222d6c470d.cpe.net.cable.rogers.com] has joined #sbcl 12:46:41 ffc [~user@201.19.99.211] has joined #sbcl 12:47:23 <|3b|> actually, i guess it is complaining about *break-on-errors*, not -signals*, not that i can find where it is binding it 12:48:39 -!- ffc [~user@201.19.99.211] has left #sbcl 12:53:50 antgreen` [~user@CPE00222d6c4710-CM00222d6c470d.cpe.net.cable.rogers.com] has joined #sbcl 12:55:03 -!- antgreen [~user@CPE00222d6c4710-CM00222d6c470d.cpe.net.cable.rogers.com] has quit [Ping timeout: 240 seconds] 13:19:11 homie` [~levgue@xdsl-78-35-164-12.netcologne.de] has joined #sbcl 13:20:57 -!- homie [~levgue@xdsl-78-35-171-184.netcologne.de] has quit [Ping timeout: 240 seconds] 13:29:15 -!- Blkt [~user@93-33-142-0.ip44.fastwebnet.it] has quit [Ping timeout: 276 seconds] 13:33:57 -!- homie` [~levgue@xdsl-78-35-164-12.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 13:56:34 -!- attila_lendvai [~attila_le@catv-80-98-24-21.catv.broadband.hu] has quit [Disconnected by services] 13:56:34 attila_lendvai1 [~attila_le@catv-80-98-24-21.catv.broadband.hu] has joined #sbcl 13:56:34 -!- attila_lendvai1 is now known as attila_lendvai 14:20:35 homie [~levgue@xdsl-78-35-164-12.netcologne.de] has joined #sbcl 14:44:02 Krystof [~csr21@howells.doc.gold.ac.uk] has joined #sbcl 14:44:02 -!- ChanServ has set mode +o Krystof 15:21:41 |3b|: it's a package issue, IIRC. 15:45:29 nyef [~nyef@pool-70-109-148-200.cncdnh.east.myfairpoint.net] has joined #sbcl 15:45:43 G'morning all. 15:48:39 -!- Krystof [~csr21@howells.doc.gold.ac.uk] has quit [Ping timeout: 240 seconds] 15:59:20 -!- attila_lendvai [~attila_le@catv-80-98-24-21.catv.broadband.hu] has quit [Quit: Leaving.] 16:05:02 <|3b|> pkhuong: the *break-on-errors* warning? yeah, that was my guess, though i thought i found a defvar for it, so maybe load order or something 17:01:15 -!- flip214 [~marek@unaffiliated/flip214] has quit [Remote host closed the connection] 17:08:55 possibly controversial idea: what if type declarations of globals (functions, variables) could never be relaxed? 17:09:11 what do you mean ? 17:09:12 mega1: they can? 17:09:17 I mean, safely? 17:09:33 I'm thinking of the breakage that can happen if sbcl compiles a function with a type declaration that's later relaxed. 17:10:09 instead of a segv you'd get an error and be forced to blow away the symbol/package 17:10:35 is that a win? 17:11:07 it would be nice if you just got a warning that contained the list of functions with calls to the old version 17:11:36 it would be even nicer if it could automatically recompile the dependencies. 17:11:37 that way slime could even automatically recompile those files 17:12:09 or maybe just open those files and highlight the top-level forms 17:12:30 IIRC factor does domething similar 17:13:04 slime could do what you suggest if it gets a type-declaration-xxx-error 17:14:13 It has always bothered me how sbcl can be crashed so easily by liberal usage of declaims. 17:14:24 how about image-inconsistency-error ? 17:14:45 redefining a macro or a constant could behave the same way as well 17:15:36 just turn the interpreter on? 17:16:53 why ? 17:17:37 redefinition shares the problem of updating dependencies it doesn't make the lisp crash 17:17:41 or does it? 17:18:07 when the function are in the same file the compiler has liberties if I recall correctly 17:18:44 mega1: that depends on SAFETY 17:19:11 stassats`: what does safety 1 do? 17:19:50 safety 1 is pretty safe in sbcl, although truly safe-code, according to CLHS, is safety 3 17:20:54 with safety 0 and incorrect types i often got silently wrong results 17:22:24 sbcl has is very safe with (safety 1) in face of local type declarations 17:23:20 I think the handling of declaims doesn't fit with its philosophy 17:23:44 aren't they both treated as assertions at safety 1? 17:24:09 I believe global declarations are trusted by sbcl. 17:24:26 that would be surprising to me 17:27:47 i guess it trusts it on the basis that you can't assign a wrong type to the variable 17:28:08 but, turns out, that if the variable was of the wrong type at the first place, it doesn't do anything 17:28:33 (besides a memory fault) 17:31:42 perhaps (declaim (type *foo*)) should check if *foo* is of type TYPE 17:36:53 http://paste.lisp.org/display/119251 17:38:06 I don't think a style-warning is enough to tell me that I may end up with a segv. 17:38:21 indeed 17:39:59 although i wouldn't rely on sbcl type derivation for safety, it'd be better if it signalled an error at the call site 17:40:51 which SBCL doesn't do even with safety 3 and debug 3 17:41:27 oh, but it does with (declaim (optimize safety debug (speed 0))) 17:41:44 as opposed to speed 1 17:41:52 which doesn't seem to be TRT 17:42:21 https://bugs.launchpad.net/sbcl/+bug/309475 17:43:42 cerebral_monkey [~berkley@c-69-243-225-248.hsd1.fl.comcast.net] has joined #sbcl 17:43:44 different, but related bug 17:44:20 *stassats`* notes to test code with safety 3, debug 3, and speed 0 17:46:16 also, from the manual: "Proclaimed constraints on argument and result types of a function are supposed to be checked by the function. If the function type is proclaimed before function definition, type checks are inserted by the compiler, but the standard allows the reversed order, in which case the compiler will trust the declaration. " 17:47:24 So, my current thought is that SBCL IR1 is breaking its own assumptions with respect to control flow arcs leaving blocks. 17:47:57 Specifically, non-local exits from function calls. 17:49:59 is this a comment to the proclamation thing or someting else? 17:51:00 Something else, mainly. 17:52:06 cool, then I'm not worried that I don't understand it. 17:52:21 This actually goes back to the nonlinear-LVARs thing. 17:54:23 the nexus of sbcl 18:31:24 hargettp [~hargettp@pool-71-174-137-218.bstnma.east.verizon.net] has joined #sbcl 18:43:38 -!- slyrus [~chatzilla@adsl-75-36-217-249.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 240 seconds] 18:46:15 anyone care to comment or push my patch sent 01/28/2011 11:17 AM? 18:49:53 dlowe: right now, that's hard, as the currently official sbcl cvs repo is down (: 18:51:43 SF hasn't been stable for years. I'm surprised that anyone still uses it 18:52:30 it got a lot better a couple years back. 18:52:38 (than it had been for years before that) 19:10:22 that's true 19:10:40 the same can't be said for cvs, of course (-; 19:27:58 ccl-logbot [~ccl-logbo@setf.clozure.com] has joined #sbcl 19:27:58 -!- names: ccl-logbot hargettp cerebral_monkey nyef homie antgreen` mega1 stassats` tcr1 ASau christoph_debian pkhuong mon_key tsuru dlowe angavrilov_ deepfire pattern |3b| cmm antifuchs gnooth trigen foom lnostdal jiacobucci luis joshe froydnj @Xof fe[nl]ix lisppaste2 specbot minion jsnell derrotebaron 19:39:53 Blkt [~user@93-33-139-151.ip44.fastwebnet.it] has joined #sbcl 19:45:24 -!- gnooth [~gnooth@ip98-176-79-151.sd.sd.cox.net] has left #sbcl 19:45:43 gnooth [~gnooth@ip98-176-79-151.sd.sd.cox.net] has joined #sbcl 19:48:11 -!- stassats` [~stassats@wikipedia/stassats] has quit [Read error: Connection reset by peer] 20:36:48 slyrus [~chatzilla@173-228-44-88.dsl.static.sonic.net] has joined #sbcl 21:06:33 -!- Blkt [~user@93-33-139-151.ip44.fastwebnet.it] has quit [Quit: Error: do not makunbound t please!] 21:24:53 phil_ [~hargettp@pool-71-174-137-218.bstnma.east.verizon.net] has joined #sbcl 21:25:01 -!- phil_ [~hargettp@pool-71-174-137-218.bstnma.east.verizon.net] has quit [Client Quit] 21:25:08 phil_ [~hargettp@pool-71-174-137-218.bstnma.east.verizon.net] has joined #sbcl 21:27:51 -!- hargettp [~hargettp@pool-71-174-137-218.bstnma.east.verizon.net] has quit [Ping timeout: 240 seconds] 21:34:57 -!- phil_ [~hargettp@pool-71-174-137-218.bstnma.east.verizon.net] has quit [Quit: Linkinus - http://linkinus.com] 21:35:04 hargettp [~hargettp@pool-71-174-137-218.bstnma.east.verizon.net] has joined #sbcl 21:43:54 -!- dlowe [~dlowe@ita4fw1.itasoftware.com] has quit [Quit: *poof*] 22:13:40 attila_lendvai [~attila_le@catv-80-98-24-21.catv.broadband.hu] has joined #sbcl 22:20:41 -!- mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has quit [Ping timeout: 240 seconds] 22:28:50 -!- hargettp [~hargettp@pool-71-174-137-218.bstnma.east.verizon.net] has quit [Ping timeout: 240 seconds] 23:11:22 cerebral_monkey_ [~berkley@c-69-243-225-248.hsd1.fl.comcast.net] has joined #sbcl 23:15:03 -!- cerebral_monkey [~berkley@c-69-243-225-248.hsd1.fl.comcast.net] has quit [Ping timeout: 240 seconds] 23:20:50 -!- cerebral_monkey_ [~berkley@c-69-243-225-248.hsd1.fl.comcast.net] has quit [Ping timeout: 240 seconds] 23:25:52 redline6561 [~user@c-66-56-55-169.hsd1.ga.comcast.net] has joined #sbcl 23:40:39 -!- redline6561 [~user@c-66-56-55-169.hsd1.ga.comcast.net] has quit [Remote host closed the connection] 23:41:10 redline6561 [~user@c-66-56-55-169.hsd1.ga.comcast.net] has joined #sbcl