00:23:03 -!- Hydan [~hydan@ip-89-103-110-116.net.upcbroadband.cz] has quit [Remote host closed the connection] 00:43:04 nyef [~nyef@173-101-56-10.pools.spcsdns.net] has joined #sbcl 00:43:20 pkhuong: Ping? 00:46:47 slyrus [~chatzilla@adsl-99-183-240-66.dsl.pltn13.sbcglobal.net] has joined #sbcl 00:58:21 minion: memo for pkhuong: Your article on getting started in hacking SBCL was an interesting read, and gives me a few references to case up, but one thing occurs to me. If the GC is changing enough that the core saving/loading code needs to be altered then genesis may also need to be adjusted. Other than that, it was a good read for me. (-: 00:58:21 Remembered. I'll tell pkhuong when he/she/it next speaks. 00:58:30 -!- nyef [~nyef@173-101-56-10.pools.spcsdns.net] has quit [Quit: G'night all.] 01:28:54 Bike_ [~Glossina@63-229-134-203.ptld.qwest.net] has joined #sbcl 01:30:00 Bike__ [~Glossina@63-229-135-90.ptld.qwest.net] has joined #sbcl 01:30:05 -!- Bike [~Glossina@71-34-74-150.ptld.qwest.net] has quit [Ping timeout: 256 seconds] 01:30:06 -!- Bike__ [~Glossina@63-229-135-90.ptld.qwest.net] has quit [Client Quit] 01:30:21 Bike [~Glossina@63-229-135-90.ptld.qwest.net] has joined #sbcl 01:33:13 -!- Bike_ [~Glossina@63-229-134-203.ptld.qwest.net] has quit [Ping timeout: 240 seconds] 01:42:37 my patch which resulted in commit 9c0c32b contained leftover debugging code in src/code/conditions.lisp:449,450. can somebody with commit rights please remove the two lines? many thanks in advance and sorry for the inconvenience. 02:15:47 foreignFunction [~niksaak@94.27.88.22] has joined #sbcl 02:23:24 -!- astertronistic [~astertron@ip70-181-235-122.sd.sd.cox.net] has quit [Quit: Leaving] 02:52:21 -!- easye [~user@213.33.70.157] has quit [Remote host closed the connection] 02:53:26 easye [~user@213.33.70.157] has joined #sbcl 03:38:28 I'm getting a failure and an error running tests on the latest git version of sbcl 2,4 ] 03:38:34 <<#sbcl>> nd an error running tests on the latest git version of sbcl 03:38:34 whoops 03:38:34 http://pastebin.com/D0b2Qfej 03:38:41 on linux x86 03:58:41 minion: forget my memos. 03:58:41 OK, I threw it out. 04:29:02 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 04:34:15 Nevermind the above test failure; my fault 04:46:56 -!- Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [Ping timeout: 252 seconds] 05:09:42 -!- drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 05:22:57 Hydan [~hydan@ip-89-103-110-116.net.upcbroadband.cz] has joined #sbcl 05:27:55 tcr [~tcr@46-126-110-164.dynamic.hispeed.ch] has joined #sbcl 05:57:10 xani [~user@178.183.130.183.dsl.dynamic.t-mobile.pl] has joined #sbcl 06:08:20 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 06:10:17 jarod_ch_ [~jarod_che@115.192.189.165] has joined #sbcl 06:10:39 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Disconnected by services] 06:10:40 attila_lendvai1 [~attila_le@92.47.243.133] has joined #sbcl 06:18:02 -!- foreignFunction [~niksaak@94.27.88.22] has quit [Quit: Leaving.] 06:19:46 foreignFunction [~niksaak@94.27.88.150] has joined #sbcl 06:21:08 -!- tcr [~tcr@46-126-110-164.dynamic.hispeed.ch] has quit [Quit: Leaving.] 06:24:30 tcr [~tcr@46-126-110-164.dynamic.hispeed.ch] has joined #sbcl 06:28:41 -!- tcr [~tcr@46-126-110-164.dynamic.hispeed.ch] has quit [Ping timeout: 252 seconds] 06:51:50 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Remote host closed the connection] 07:16:19 -!- erikc [~erikc@CPE00222d53fe78-CM00222d53fe75.cpe.net.cable.rogers.com] has quit [Quit: erikc] 07:27:00 stassats [~stassats@wikipedia/stassats] has joined #sbcl 07:58:44 -!- edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has quit [Quit: brain damage] 08:24:10 prxq [~mommer@mnhm-4d011b2c.pool.mediaWays.net] has joined #sbcl 08:30:47 -!- easye [~user@213.33.70.157] has quit [Ping timeout: 252 seconds] 08:31:09 Odyessus [~odyessus@chello080109062130.15.14.vie.surfer.at] has joined #sbcl 08:36:32 easye [~user@213.33.70.157] has joined #sbcl 08:37:17 -!- ivan`` [~ivan@unaffiliated/ivan/x-000001] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 08:41:55 -!- wbooze [~wbooze@xdsl-78-35-155-18.netcologne.de] has quit [Read error: Connection reset by peer] 08:47:22 -!- Bike [~Glossina@63-229-135-90.ptld.qwest.net] has quit [Quit: leaving] 08:53:18 <|3b|> hmm, (defun foo1 (a b) (the single-float (floor a b))) 08:53:28 <|3b|> has a rather unhelpful warning 08:54:21 <|3b|> error from running it is a bit odd too, "Value of NIL in ... is 0, not a SINGLE-FLOAT" 08:54:29 *|3b|* would have expected the value of NIL to be NIL :p 08:55:19 wbooze [~wbooze@xdsl-78-35-130-181.netcologne.de] has joined #sbcl 08:57:40 (the single-float (print (floor a b))) has a better CT warning: Derived type of (PRINT (FLOOR A B)) is (VALUES INTEGER &OPTIONAL), conflicting with its asserted type SINGLE-FLOAT. 08:57:51 compared with Constant NIL conflicts with its asserted type SINGLE-FLOAT. 09:01:21 ivan`` [~ivan@unaffiliated/ivan/x-000001] has joined #sbcl 09:08:59 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 09:11:35 pchrist [~spirit@gentoo/developer/pchrist] has joined #sbcl 09:13:48 prxq_ [~mommer@mnhm-4d011b2c.pool.mediaWays.net] has joined #sbcl 09:13:48 -!- prxq_ [~mommer@mnhm-4d011b2c.pool.mediaWays.net] has quit [Client Quit] 09:15:38 Odyessus_ [~odyessus@089144192210.atnat0001.highway.a1.net] has joined #sbcl 09:17:36 -!- Odyessus [~odyessus@chello080109062130.15.14.vie.surfer.at] has quit [Ping timeout: 264 seconds] 09:17:38 -!- Odyessus_ is now known as Odyessus 09:21:44 -!- Odyessus [~odyessus@089144192210.atnat0001.highway.a1.net] has quit [Quit: Colloquy for iPad - http://colloquy.mobi] 09:23:48 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [Remote host closed the connection] 09:34:05 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 09:49:41 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 10:06:11 -!- xani [~user@178.183.130.183.dsl.dynamic.t-mobile.pl] has quit [Remote host closed the connection] 10:13:25 xani [~user@178.183.130.183.dsl.dynamic.t-mobile.pl] has joined #sbcl 10:32:38 -!- Hydan [~hydan@ip-89-103-110-116.net.upcbroadband.cz] has quit [Remote host closed the connection] 10:48:37 -!- yacks [~py@180.151.36.168] has quit [Quit: Leaving] 10:54:53 sdemarre [~serge@109.134.142.87] has joined #sbcl 11:03:42 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Ping timeout: 276 seconds] 11:11:34 -!- sdemarre [~serge@109.134.142.87] has quit [Ping timeout: 256 seconds] 11:28:19 bloody sbcl, showing me "deleting unreachable code" instead of the type-error which caused it 11:31:35 that has a long tradition :-) 11:33:30 got it reduced to (defun foo (x) (let ((y (bar))) (declare (type integer y)) (the single-float (if x (1- y) y)))) 11:33:49 works with y as an argument 11:42:17 leoc [~leoc.git@p5DDBB675.dip.t-dialin.net] has joined #sbcl 11:57:15 oh wow... that's a stupid bug. 11:58:24 when we detect conflicting casts, we convert the cast to a call to %compile-time-type-error 11:59:16 one of the arguments is a cons of (source-form . conflicting-value[s]-form) 12:00:11 we get the cdr with lvar-source... but lvar-source actually returns two values: (values form nil) or (values nil nil) if the lvar has multiple sources (i.e. is the return value[s] for an IF) 12:01:31 but we never look at the second return value and just splice that NIL in. The rest of the pipeline then assumes that the conflicting form is NIL, and reports it as a constant 12:03:09 so, the easy fix is to save the two return values, but I'll see if we can't have a useful form by taking the LCA of the conflicting forms. 12:13:34 "in: LAMBDA (X Y) ... Derived type of Y, (- Y 1) is (VALUES INTEGER &OPTIONAL), ... " is the best I could do 12:14:15 does someone want to help me out with a clever format form to print a list of forms? 12:14:20 leuler [~user@p548FB04C.dip.t-dialin.net] has joined #sbcl 12:19:07 LiamH [~none@pool-74-96-4-63.washdc.east.verizon.net] has joined #sbcl 12:30:14 I went with ~{~S~^~#[~; and ~:;, ~]~}, and yu'll have to suffer missing commas 12:33:37 |3b|: How does your original problem look with http://discontinuity.info/~pkhuong/better-error-reporting.diff ? 12:36:16 <|3b|> is that something that would need a full rebuild to test? 12:37:09 |3b|: nope 12:37:16 just apply and C-c C-c 12:38:10 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 12:39:18 yacks [~py@180.151.36.168] has joined #sbcl 12:42:49 <|3b|> better, at least gives some idea what is going on now 12:43:42 <|3b|> would be nicer if it were in terms of the original forms instead of random internal vars in %floor, but at least it makes sense now :) 12:45:32 in terms of the original forms, you'd just get (floor x y) 12:45:45 <|3b|> right 12:46:00 <|3b|> then i'd look up floor in clhs and see i wanted ffloor :) 12:46:11 So, I don't know if it's really more informative than the context 12:50:08 I could probably fish the enclosing source form, but that'd be really lossy with macros 12:51:10 sdemarre [~serge@109.134.142.87] has joined #sbcl 12:56:14 anyway, now we know what's going on, if you have some idea of how to make the output nicer, I'm all ears. 12:59:05 stassats: I found the bug by reading the IR1 dump, btw... It's really not that bad ;) 13:07:54 *|3b|* can't think of anything to make it nicer, aside from some way to indicate the specific form returning the bad value (originally noticed it in a FTYPEd function call with 3 args) 13:13:39 that's what it does... the error message gives all the specific form that return bad values. Or, do you mean at runtime? Not gonna happen. 13:14:09 *|3b|* meant the form in my code 13:15:08 that's what context does... mostly 13:17:04 <|3b|> by 'context' you mean the stuff after the --> and ==> in the messages? 13:17:11 pkhuong: well, it's not bad when you know it 13:18:05 <|3b|> or i guess without the arrows sometimes 13:18:35 |3b|: right, the source location. Slime hides it and highlights the form directly instead. 13:18:52 <|3b|> ok, the slime highlight is what i was looking at 13:19:49 <|3b|> still leaves me to guess which of the arguments didn't behave the way i thought it did 13:20:39 ... I guess it would be nice to save the source location for the offending forms as well. 13:20:47 *|3b|* isn't arguing that this would be worth a lot of work, just that in the specific case i ran into it, it would have saved me a few seconds of thought 13:21:05 I don't know how to expose that nicely (or how to adapt slime to exploit the information) 13:22:41 -!- wbooze [~wbooze@xdsl-78-35-130-181.netcologne.de] has quit [Quit: none] 13:25:50 wbooze [~wbooze@xdsl-78-35-130-181.netcologne.de] has joined #sbcl 13:35:14 -!- jarod_ch_ [~jarod_che@115.192.189.165] has quit [Quit: Textual IRC Client: http://www.textualapp.com/] 13:35:23 drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has joined #sbcl 13:46:53 ooo, got it. 13:51:55 Hydan [~hydan@ip-89-103-110-116.net.upcbroadband.cz] has joined #sbcl 14:12:15 loke_ [~elias@bb119-74-80-38.singnet.com.sg] has joined #sbcl 14:13:42 so, let's say we have the list of distinct offending original source forms 14:15:14 and, for each such form, all the exact offending forms, and the least common ancestor for the exact forms. (so, for FLOOR, that'd be (FLOOR X Y), (%FLOOR x y), and [(VALUES SB-KERNEL::TRU REM) and (VALUES (1- SB-KERNEL::TRU) (+ REM SB-KERNEL::DIVISOR))] 14:15:42 what/how should we report that back to the user? 14:20:55 Odyessus [~odyessus@213.47.71.36] has joined #sbcl 14:34:18 *|3b|* isn't sure... can see having all of it being useful, but could also be pretty verbose 14:34:26 same. 14:35:56 <|3b|> possibly something like it does for the context, showing first and last form, and just the cars or stuff in between? 14:36:05 <|3b|> *of stuff in between 14:36:13 there are many last forms. 14:36:59 Odyessus_ [~odyessus@089144192210.atnat0001.highway.a1.net] has joined #sbcl 14:37:05 -!- Odyessus_ [~odyessus@089144192210.atnat0001.highway.a1.net] has quit [Client Quit] 14:37:06 -!- Odyessus [~odyessus@213.47.71.36] has quit [Ping timeout: 245 seconds] 14:46:57 *|3b|* notes it sort of does that if the form gets complex enough for "type assertion too complex to check: 14:46:59 <|3b|> (VALUES SINGLE-FLOAT &REST T)." 14:49:10 <|3b|> for example (defun foo1 (a b) (the single-float (cond ((plusp a) (+ a b)) (t (floor b a))))) 14:50:32 <|3b|> though just a style warning and not a full warning 14:54:26 I think that might even be my code. 14:55:53 Yeah, I'm not gonna go that way for definite %c-t-type-error 14:57:48 -!- yacks [~py@180.151.36.168] has quit [Ping timeout: 264 seconds] 15:17:30 -!- sdemarre [~serge@109.134.142.87] has quit [Ping timeout: 256 seconds] 15:20:01 yacks [~py@180.151.36.168] has joined #sbcl 15:32:44 -!- xani [~user@178.183.130.183.dsl.dynamic.t-mobile.pl] has quit [Read error: Connection reset by peer] 15:40:13 -!- loke_ [~elias@bb119-74-80-38.singnet.com.sg] has quit [Remote host closed the connection] 15:42:14 nicdev [user@2600:3c03::f03c:91ff:fedf:4986] has joined #sbcl 15:49:05 Odyessus [~odyessus@chello080109062130.15.14.vie.surfer.at] has joined #sbcl 15:59:44 -!- Odyessus [~odyessus@chello080109062130.15.14.vie.surfer.at] has quit [Quit: Colloquy for iPad - http://colloquy.mobi] 16:06:32 Odyessus [~odyessus@chello080109062130.15.14.vie.surfer.at] has joined #sbcl 16:10:43 -!- Strigoides [~owen@60-234-213-126.bitstream.orcon.net.nz] has quit [Quit: leaving] 16:11:00 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Quit: Ping timeout: ] 16:23:34 tcr [~tcr@46-126-110-164.dynamic.hispeed.ch] has joined #sbcl 16:25:19 Bike [~Glossina@63-229-135-90.ptld.qwest.net] has joined #sbcl 16:59:36 -!- Bike [~Glossina@63-229-135-90.ptld.qwest.net] has quit [Ping timeout: 264 seconds] 16:59:59 Bike [~Glossina@63-229-135-90.ptld.qwest.net] has joined #sbcl 17:05:35 Bike_ [~Glossina@63-229-135-90.ptld.qwest.net] has joined #sbcl 17:07:12 -!- Bike [~Glossina@63-229-135-90.ptld.qwest.net] has quit [Disconnected by services] 17:07:14 -!- Bike_ is now known as Bike 17:11:23 -!- LiamH [~none@pool-74-96-4-63.washdc.east.verizon.net] has quit [Ping timeout: 258 seconds] 17:40:06 Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #sbcl 17:48:47 -!- leuler [~user@p548FB04C.dip.t-dialin.net] has quit [Quit: ERC Version 5.1.2 $Revision: 1.796.2.6 $ (IRC client for Emacs)] 17:49:33 -!- Odyessus [~odyessus@chello080109062130.15.14.vie.surfer.at] has quit [Quit: Colloquy for iPad - http://colloquy.mobi] 17:54:51 -!- foreignFunction [~niksaak@94.27.88.150] has quit [Quit: Leaving.] 18:03:57 ebw [~user@g227064049.adsl.alicedsl.de] has joined #sbcl 18:14:57 LiamH [~none@pool-74-96-4-63.washdc.east.verizon.net] has joined #sbcl 18:15:42 Bike_ [~Glossina@174-25-37-88.ptld.qwest.net] has joined #sbcl 18:16:07 -!- Bike [~Glossina@63-229-135-90.ptld.qwest.net] has quit [Disconnected by services] 18:16:12 -!- Bike_ is now known as Bike 18:18:15 erikc [~erikc@CPE00222d53fe78-CM00222d53fe75.cpe.net.cable.rogers.com] has joined #sbcl 18:48:58 ebw` [~user@g227021189.adsl.alicedsl.de] has joined #sbcl 18:52:12 -!- ebw [~user@g227064049.adsl.alicedsl.de] has quit [Ping timeout: 258 seconds] 19:05:17 -!- ebw` [~user@g227021189.adsl.alicedsl.de] has quit [Remote host closed the connection] 19:16:11 -!- ASau [~user@p4FF96382.dip.t-dialin.net] has quit [Remote host closed the connection] 19:16:57 ASau [~user@p4FF96382.dip.t-dialin.net] has joined #sbcl 19:19:46 rudi_ [~rudi@cm-84.209.196.13.getinternet.no] has joined #sbcl 19:22:54 -!- rudi_ is now known as rudi 19:26:18 -!- tcr [~tcr@46-126-110-164.dynamic.hispeed.ch] has quit [Quit: Leaving.] 19:38:08 edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has joined #sbcl 19:41:57 -!- slyrus [~chatzilla@adsl-99-183-240-66.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 248 seconds] 19:43:24 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 264 seconds] 20:03:19 slyrus [~chatzilla@adsl-99-183-240-66.dsl.pltn13.sbcglobal.net] has joined #sbcl 20:05:10 -!- prxq [~mommer@mnhm-4d011b2c.pool.mediaWays.net] has quit [Quit: Leaving] 20:19:15 prxq [~mommer@mnhm-4d011b2c.pool.mediaWays.net] has joined #sbcl 20:23:20 -!- wbooze [~wbooze@xdsl-78-35-130-181.netcologne.de] has quit [Read error: Connection reset by peer] 20:23:33 -!- slyrus [~chatzilla@adsl-99-183-240-66.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 248 seconds] 20:24:47 wbooze [~wbooze@xdsl-78-35-130-181.netcologne.de] has joined #sbcl 20:27:59 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Ping timeout: 252 seconds] 20:31:58 -!- rudi [~rudi@cm-84.209.196.13.getinternet.no] has quit [Quit: Textual IRC Client: http://www.textualapp.com/] 20:33:55 sdemarre [~serge@91.176.241.189] has joined #sbcl 20:44:58 -!- prxq [~mommer@mnhm-4d011b2c.pool.mediaWays.net] has quit [Quit: Leaving] 20:52:16 stassats [~stassats@wikipedia/stassats] has joined #sbcl 20:57:50 Odyessus [~odyessus@chello080109062130.15.14.vie.surfer.at] has joined #sbcl 21:00:50 -!- Hydan [~hydan@ip-89-103-110-116.net.upcbroadband.cz] has quit [Remote host closed the connection] 21:12:44 ASau` [~user@p5797E607.dip.t-dialin.net] has joined #sbcl 21:13:12 -!- milosn_ is now known as milosn 21:13:43 -!- ASau [~user@p4FF96382.dip.t-dialin.net] has quit [Ping timeout: 246 seconds] 21:14:31 tcr [~tcr@46-126-110-164.dynamic.hispeed.ch] has joined #sbcl 21:17:20 -!- sdemarre [~serge@91.176.241.189] has quit [Ping timeout: 256 seconds] 21:24:37 -!- ASau` is now known as ASau 21:33:53 -!- wbooze [~wbooze@xdsl-78-35-130-181.netcologne.de] has quit [Read error: Operation timed out] 21:36:45 -!- erikc [~erikc@CPE00222d53fe78-CM00222d53fe75.cpe.net.cable.rogers.com] has quit [Quit: erikc] 21:45:48 slyrus [~chatzilla@adsl-99-183-240-66.dsl.pltn13.sbcglobal.net] has joined #sbcl 21:54:05 -!- Odyessus [~odyessus@chello080109062130.15.14.vie.surfer.at] has quit [Quit: Colloquy for iPad - http://colloquy.mobi] 21:55:35 -!- tcr [~tcr@46-126-110-164.dynamic.hispeed.ch] has quit [Quit: Leaving.] 22:06:21 -!- leoc [~leoc.git@p5DDBB675.dip.t-dialin.net] has quit [Ping timeout: 256 seconds] 22:10:33 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 240 seconds] 22:17:41 -!- slyrus [~chatzilla@adsl-99-183-240-66.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 248 seconds] 22:19:01 slyrus [~chatzilla@adsl-99-183-240-66.dsl.pltn13.sbcglobal.net] has joined #sbcl 23:03:33 -!- slyrus [~chatzilla@adsl-99-183-240-66.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 248 seconds] 23:05:57 slyrus [~chatzilla@adsl-99-183-240-66.dsl.pltn13.sbcglobal.net] has joined #sbcl 23:07:03 -!- edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has quit [Read error: Connection reset by peer] 23:07:52 edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has joined #sbcl 23:18:03 -!- attila_lendvai1 [~attila_le@92.47.243.133] has quit [Quit: Leaving.] 23:56:17 -!- LiamH [~none@pool-74-96-4-63.washdc.east.verizon.net] has quit [Ping timeout: 256 seconds]