00:26:36 -!- Guest96983 [user@nat/google/x-dwjybalkvwazpqas] has quit [Ping timeout: 248 seconds] 00:26:41 -!- Guest364` [user@nat/google/x-totdwtretpvdmrwl] has quit [Ping timeout: 245 seconds] 00:27:14 homie [~levgue@xdsl-78-35-134-164.netcologne.de] has joined #sbcl 00:39:10 wbooze [~wbooze@xdsl-78-35-134-164.netcologne.de] has joined #sbcl 01:48:33 Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 02:48:42 -!- DGASAU [~user@91.218.144.129] has quit [Read error: Connection reset by peer] 03:12:31 attila_lendvai [~attila_le@37.99.78.199] has joined #sbcl 03:12:32 -!- attila_lendvai [~attila_le@37.99.78.199] has quit [Changing host] 03:12:32 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 03:16:45 -!- tsuru`` [~charlie@adsl-98-87-45-155.bna.bellsouth.net] has quit [Remote host closed the connection] 03:30:34 Fare [~Fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #sbcl 03:45:25 -!- Fare [~Fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Quit: Leaving] 04:14:25 -!- huangjs [~huangjs@190.8.100.83] has quit [Ping timeout: 246 seconds] 04:27:48 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 04:41:47 Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 04:44:15 attila_lendvai [~attila_le@37.99.80.17] has joined #sbcl 04:44:15 -!- attila_lendvai [~attila_le@37.99.80.17] has quit [Changing host] 04:44:15 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 05:02:24 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 05:07:46 -!- Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [Quit: trivial-irc-0.0.3] 05:07:51 huangjs [~huangjs@190.8.100.83] has joined #sbcl 05:28:15 sdemarre [~serge@91.176.23.207] has joined #sbcl 05:50:01 -!- kanru [~kanru@173.243.46.194] has quit [Remote host closed the connection] 06:35:28 -!- sdemarre [~serge@91.176.23.207] has quit [Ping timeout: 246 seconds] 06:36:27 attila_lendvai [~attila_le@87.247.13.10] has joined #sbcl 06:36:27 -!- attila_lendvai [~attila_le@87.247.13.10] has quit [Changing host] 06:36:27 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 06:41:32 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 248 seconds] 07:31:20 attila_lendvai [~attila_le@87.247.12.66] has joined #sbcl 07:31:20 -!- attila_lendvai [~attila_le@87.247.12.66] has quit [Changing host] 07:31:20 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 07:37:29 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 265 seconds] 07:43:01 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 246 seconds] 07:53:47 dtw [~dtw@pdpc/supporter/active/dtw] has joined #sbcl 09:35:29 attila_lendvai [~attila_le@87.247.12.66] has joined #sbcl 09:35:30 -!- attila_lendvai [~attila_le@87.247.12.66] has quit [Changing host] 09:35:30 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 09:37:24 edgar-rft [~GOD@78.43.123.191] has joined #sbcl 09:43:28 -!- slyrus [~chatzilla@99-28-163-106.lightspeed.miamfl.sbcglobal.net] has quit [Ping timeout: 245 seconds] 09:46:28 -!- rbarraud [~rbarraud@125-237-76-181.jetstream.xtra.co.nz] has quit [Ping timeout: 248 seconds] 09:59:54 DGASAU [~user@91.218.144.129] has joined #sbcl 10:47:35 KDr2 [~kdr2@221.219.119.88] has joined #sbcl 10:54:16 -!- KDr2 [~kdr2@221.219.119.88] has quit [Remote host closed the connection] 11:24:23 -!- homie [~levgue@xdsl-78-35-134-164.netcologne.de] has quit [Read error: Connection reset by peer] 11:24:24 -!- wbooze [~wbooze@xdsl-78-35-134-164.netcologne.de] has quit [Read error: Connection reset by peer] 11:26:04 kanru [~kanru@173.243.46.194] has joined #sbcl 11:38:32 tsuru` [~charlie@adsl-74-179-29-34.bna.bellsouth.net] has joined #sbcl 11:43:06 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [*.net *.split] 11:43:06 -!- pkhuong [~pkhuong@gravelga.xen.prgmr.com] has quit [*.net *.split] 11:43:07 -!- galdor [galdor@def92-10-88-162-192-107.fbx.proxad.net] has quit [*.net *.split] 11:43:07 -!- jsnell [~jsnell@ash.snellman.net] has quit [*.net *.split] 11:44:32 Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 11:44:32 pkhuong [~pkhuong@gravelga.xen.prgmr.com] has joined #sbcl 11:44:32 galdor [galdor@def92-10-88-162-192-107.fbx.proxad.net] has joined #sbcl 11:44:32 jsnell [~jsnell@ash.snellman.net] has joined #sbcl 11:45:56 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 248 seconds] 12:39:46 KDr2 [~kdr2@123.122.110.90] has joined #sbcl 12:42:06 -!- KDr2 [~kdr2@123.122.110.90] has quit [Remote host closed the connection] 12:50:59 Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 12:52:25 -!- kanru [~kanru@173.243.46.194] has quit [Ping timeout: 246 seconds] 13:05:52 kanru [~kanru@66.207.208.98] has joined #sbcl 13:13:41 gko [~user@114-34-168-13.HINET-IP.hinet.net] has joined #sbcl 13:39:26 antgreen [~user@out-on-151.wireless.telus.com] has joined #sbcl 13:47:09 -!- gko [~user@114-34-168-13.HINET-IP.hinet.net] has quit [Remote host closed the connection] 13:49:11 -!- antgreen [~user@out-on-151.wireless.telus.com] has quit [Remote host closed the connection] 14:10:00 wbooze [~wbooze@xdsl-78-35-167-236.netcologne.de] has joined #sbcl 14:20:39 clop [~jared@moat3.centtech.com] has joined #sbcl 14:20:59 is there a way to tell sbcl to save all definitions for use with function-lambda-expression? 14:23:30 attila_lendvai [~attila_le@87.247.12.66] has joined #sbcl 14:23:30 -!- attila_lendvai [~attila_le@87.247.12.66] has quit [Changing host] 14:23:30 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 14:26:48 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Client Quit] 14:35:05 gko [~user@114-34-168-13.HINET-IP.hinet.net] has joined #sbcl 15:12:33 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 15:14:58 i don't know what you mean 15:15:11 maybe you can word it better ?... 15:23:28 I know what you mean. I think the answer is no. 15:24:01 it's possible that setting a high enough debug level (with restrict-compiler-policy) might work, but if you've already tried that then I don't think so 15:24:13 (arguably, if you can't, it's a bug) 15:24:25 There's a LP ticket for that functionality. 15:24:38 I've been meaning to take a crack at it for a bit but keep getting distracted by other projects. 15:55:38 -!- gko [~user@114-34-168-13.HINET-IP.hinet.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 16:11:08 stassats [~stassats@wikipedia/stassats] has joined #sbcl 16:26:33 antgreen [user@nat/redhat/x-throldmxtlhuejhm] has joined #sbcl 16:40:41 -!- antgreen [user@nat/redhat/x-throldmxtlhuejhm] has quit [Ping timeout: 255 seconds] 18:01:10 antgreen [user@nat/redhat/x-egejfjmedhaelmdq] has joined #sbcl 18:01:57 sdemarre [~serge@91.176.23.207] has joined #sbcl 18:28:43 -!- SHUPFS [~user@S0106001111de1fc8.cg.shawcable.net] has quit [Remote host closed the connection] 18:29:50 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 18:36:17 -!- sdemarre [~serge@91.176.23.207] has quit [Ping timeout: 265 seconds] 18:45:07 <|3b|> should sbcl be able to tell sb-kernel:coerce-to-condition always returns an (or fixnum (not number)) ? 18:46:46 fixnum? 18:47:02 shouldn't it return a condition? 18:47:48 <|3b|> right, a (not number) 18:48:02 but when does it return a fixnum? 18:48:09 <|3b|> never as far as i know 18:48:24 <|3b|> or if i'm misinterpreting the type, shouldn't it be able to tell it is never that? 18:48:28 maybe i'm missing some context 18:48:41 <|3b|> ; note: unable to 18:48:41 <|3b|> ; optimize 18:48:41 <|3b|> ; due to type uncertainty: 18:48:41 <|3b|> ; can't tell whether the first argument is a (OR FIXNUM (NOT NUMBER)) 18:49:08 <|3b|> and as far as i can tell, the first argument was returned by that function 18:49:12 |3b|: that's SBCL's way to say EQ-comparable. 18:49:30 maybe paste the code? 18:49:34 sdemarre [~serge@91.176.153.187] has joined #sbcl 18:49:49 <|3b|> ok, let me extract it 18:50:07 pkhuong: are characters eq-comparable? 18:50:40 they're not guaranteed to be. 18:50:43 i mean, in sbcl, not in CL 18:52:10 <|3b|> (defun b () (declare (optimize speed)) (restart-case (error "") (a ()))) 18:52:39 well, error has type NIL 18:53:27 stassats: yes. 18:53:34 meaning, it never returns 18:55:02 <|3b|> the assoc is before it calls ERROR though 18:55:54 <|3b|> and just to make sure, does anyone else get that note from that code? 18:56:00 yes 18:56:03 *|3b|* hacked my restart-case a bit, not sure if i broke it 18:57:27 |3b|: the type of coerce-to-condition doesn't seem to be declared 18:57:37 so, it's not taken into account 18:57:46 after (setf sb-ext:*derive-function-types* t), the warning disappears 18:57:54 note, rather 19:04:54 <|3b|> so it should be able to avoid that note? will file another bug then 19:09:40 something like (defknown coerce-to-condition ((or condition symbol string function) list (or condition symbol) symbol) condition ()) should do the job 19:10:24 *|3b|* just used (t t t t) for the arguments when i tried it 19:11:13 <|3b|> are you likely to commit a fix before i finish entering the bug, or should i keep writing it? 19:11:32 keep writing it, so that stassats can get launchpad karma for changing its status 19:11:35 keep writing 19:11:37 <|3b|> ok 19:11:55 i'm not sure that all the types are correct 19:13:37 <|3b|> ok, https://bugs.launchpad.net/sbcl/+bug/1025416 19:14:26 *|3b|* supposes people don't try to optimize code with restart-case much, since i've found 2 of these from the same code already :p 19:22:26 ERROR and friends don't seem to spell out the type of DATUM 19:23:45 "A format control is either a format string or a function that was returned by the the formatter macro.", so, any other functions could have an undefined behaviour? 19:26:44 <|3b|> glossary just says it has to look like a function returned by formatter 19:27:03 <|3b|> 'obeys the argument conventions' 19:27:49 <|3b|> looks like technically ERROR should throw a type error for any non-'format control' functions though, as opposed to undefined behavior 19:28:09 *|3b|* wonders if anyone gets that right 19:29:42 ok, ((or condition symbol string function) list type-specifier symbol) looks like the right type 19:29:43 <|3b|> though i guess 9.1.2.1 allows undefined behaviors for one of the other types of "condition designators" 19:30:12 |3b|: that might be worth writing up as a proposed%20ansi 19:31:18 it's funny that error has "Exceptional Situations: None.", while the sole purpose of ERROR is to make exceptional situations 19:31:43 somewhere, there's some function in sbcl where we intentionally don't know its return value (somewhere in the error-handling code, too) 19:31:46 I can't remember what it is 19:31:47 <|3b|> doesn't it list an exceptional situation right after the "none" as well? 19:32:00 |3b|: that would be funny too 19:36:32 ok, the final final known: (defknown coerce-to-condition ((or condition symbol string function) list type-specifier symbol) condition (explicit-check)) 19:40:34 *|3b|* wonders if these new optimization notes mean restart-case will be faster after fixing them 19:43:36 ok, time for the rebuild&test 19:45:29 |3b|: and that would be interesting to test 19:46:22 <|3b|> whether it is faster you mean? will probably try that in a bit, since i wanted to test performance of some other changes in the code that i got the notes from 19:46:30 yes 19:48:36 *|3b|* is at least back to having no notes from code i maintain now, even if it isn't faster :) 19:49:00 <|3b|> (at least with my locally hacked sbcl) 19:59:44 Fare [fare@nat/google/x-duuuitbswnjmsukt] has joined #sbcl 20:00:30 rbarraud [~rbarraud@125-237-76-181.jetstream.xtra.co.nz] has joined #sbcl 20:05:30 well, i can't seem to find any noticeable differences in performance 20:06:02 well, at least it's not slower, so i'm keen to commit it 20:06:14 <|3b|> did you fix 1023721 also? 20:06:30 lp 1023721 20:06:31 https://bugs.launchpad.net/bugs/1023721 20:06:47 looks like 20:07:25 i need to check whether it signalled anything before that 20:10:16 -!- Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [Ping timeout: 246 seconds] 20:18:35 uhm, no, my sbcl was too old to have that error 20:19:36 note, rather 20:20:33 <|3b|> how old? 20:20:49 i don't know anymore 20:21:15 *inferior-lisp* has it, SBCL 1.0.56.72.master.1-356ac6b, 20:22:59 <|3b|> ah, not really old enough to narrow down when the other note was added then 20:25:13 i'd say that it's due to 6e60dc9 20:25:30 oh, no, i retract that 20:25:33 a5f57fb 20:25:46 that's 100% 20:26:25 <|3b|> yeah already found that one, i meant the note from assoc 20:27:23 it was present in 1.0.42.10 20:27:44 <|3b|> it was? hmm, thought i didn't get it in 1.0.54 20:28:05 and in cmucl, so... pretty old 20:28:09 <|3b|> ah, misplaced ' when i tested it :/ 20:28:49 <|3b|> using COMPILE to get compiler notes at repl doesn't help when you pass it an already evaluated LAMBDA 20:29:22 <|3b|> there in 1.0.36 as well 20:29:39 <|3b|> oh well, quieter build is better even if it isn't faster :) 20:30:54 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Read error: Connection reset by peer] 20:31:23 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 20:33:35 alright, i'll commit the assoc-eq thing, let anyone concerned comment on it later 20:35:44 done. 20:36:51 speaking of which, when will there be a freeze? 20:37:13 -!- sdemarre [~serge@91.176.153.187] has quit [Ping timeout: 246 seconds] 20:57:43 *|3b|* can't detect any difference between old sbcl and patched restart-case either 20:59:28 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 252 seconds] 21:00:48 SHUPFS [~user@S0106001111de1fc8.cg.shawcable.net] has joined #sbcl 21:09:21 -!- dtw [~dtw@pdpc/supporter/active/dtw] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:28:21 -!- antgreen [user@nat/redhat/x-egejfjmedhaelmdq] has quit [Ping timeout: 250 seconds] 21:49:09 rpg [~rpg@216.243.156.16.real-time.com] has joined #sbcl 22:25:54 Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 22:42:31 -!- Fare [fare@nat/google/x-duuuitbswnjmsukt] has quit [Ping timeout: 245 seconds]