00:09:58 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 00:27:04 nicdev: why do you care about speed in OPEN? 00:27:23 -!- Bike [~Glossina@174-25-53-240.ptld.qwest.net] has quit [Ping timeout: 240 seconds] 00:31:46 Bike [~Glossina@174-25-53-240.ptld.qwest.net] has joined #sbcl 00:32:23 Bike_ [~Glossina@174-25-53-240.ptld.qwest.net] has joined #sbcl 00:34:09 -!- Bike [~Glossina@174-25-53-240.ptld.qwest.net] has quit [Disconnected by services] 00:34:13 -!- Bike_ is now known as Bike 00:37:08 -!- foreignFunction [~niksaak@ip-4761.sunline.net.ua] has quit [Quit: Leaving.] 00:51:34 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Ping timeout: 246 seconds] 00:52:38 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 00:59:21 Quadresce_ [~quad@unaffiliated/quadrescence] has joined #sbcl 00:59:36 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Disconnected by services] 00:59:48 -!- Quadresce_ is now known as Quadrescence 01:01:14 Bike_ [~Glossina@174-25-53-240.ptld.qwest.net] has joined #sbcl 01:02:31 maxm- [~user@unaffiliated/maxm] has joined #sbcl 01:03:30 -!- Bike [~Glossina@174-25-53-240.ptld.qwest.net] has quit [Disconnected by services] 01:03:31 -!- Bike_ is now known as Bike 01:05:10 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Ping timeout: 256 seconds] 01:06:13 jsnell_ [~jsnell@ash.snellman.net] has joined #sbcl 01:10:34 -!- kanru [~kanru@118-163-10-190.HINET-IP.hinet.net] has quit [*.net *.split] 01:10:35 -!- loke [~loke@203.127.16.194] has quit [*.net *.split] 01:10:36 -!- maxm [~user@unaffiliated/maxm] has quit [*.net *.split] 01:10:36 -!- jsnell [~jsnell@ash.snellman.net] has quit [*.net *.split] 01:15:33 Hydan [~hydan@ip-89-103-110-5.net.upcbroadband.cz] has joined #sbcl 01:16:33 loke [~loke@203.127.16.194] has joined #sbcl 01:20:32 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 01:52:39 -!- psilord [~psilord@c-69-180-173-249.hsd1.mn.comcast.net] has quit [Ping timeout: 240 seconds] 01:55:26 psilord [~psilord@c-69-180-173-249.hsd1.mn.comcast.net] has joined #sbcl 02:19:32 Bike_ [~Glossina@174-25-52-232.ptld.qwest.net] has joined #sbcl 02:20:53 -!- Bike [~Glossina@174-25-53-240.ptld.qwest.net] has quit [Ping timeout: 248 seconds] 02:32:06 kanru [~kanru@118-163-10-190.HINET-IP.hinet.net] has joined #sbcl 02:36:19 echo-area [~user@182.92.247.2] has joined #sbcl 02:37:06 -!- Bike_ is now known as Bike 02:37:40 -!- christoph_debian [~christoph@ppp-188-174-136-122.dynamic.mnet-online.de] has quit [Read error: Operation timed out] 02:42:44 -!- Hydan [~hydan@ip-89-103-110-5.net.upcbroadband.cz] has quit [Remote host closed the connection] 02:52:09 christoph_debian [~christoph@ppp-88-217-93-177.dynamic.mnet-online.de] has joined #sbcl 03:05:22 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Quit: This computer has gone to sleep] 03:22:45 -!- Bike [~Glossina@174-25-52-232.ptld.qwest.net] has quit [Ping timeout: 248 seconds] 03:28:31 Bike [~Glossina@174-25-52-232.ptld.qwest.net] has joined #sbcl 03:58:18 -!- yacks [~py@180.151.36.168] has quit [Ping timeout: 256 seconds] 04:26:13 yacks [~py@180.151.36.168] has joined #sbcl 04:50:57 -!- xymox [lechuck@unaffiliated/contempt] has quit [Ping timeout: 246 seconds] 04:52:06 xymox [lechuck@unaffiliated/contempt] has joined #sbcl 06:02:05 teggi [~teggi@123.20.119.146] has joined #sbcl 06:11:00 prxq [~mommer@mnhm-590c2431.pool.mediaWays.net] has joined #sbcl 06:15:54 Bike_ [~Glossina@174-25-52-232.ptld.qwest.net] has joined #sbcl 06:16:01 -!- Bike [~Glossina@174-25-52-232.ptld.qwest.net] has quit [Ping timeout: 276 seconds] 06:40:31 -!- Bike_ [~Glossina@174-25-52-232.ptld.qwest.net] has quit [Ping timeout: 246 seconds] 06:41:22 -!- edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has quit [Quit: sleeping zzz...] 07:07:48 -!- easye [~user@213.33.70.157] has quit [Ping timeout: 240 seconds] 07:23:38 easye [~user@213.33.70.157] has joined #sbcl 07:47:23 -!- yacks [~py@180.151.36.168] has quit [Ping timeout: 246 seconds] 07:54:09 yacks [~py@180.151.36.168] has joined #sbcl 07:54:40 -!- |3b|` is now known as |3b| 08:19:01 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 08:36:40 -!- drmeister [~drmeister@S010610ddb1c81950.vf.shawcable.net] has quit [Remote host closed the connection] 09:22:59 attila_lendvai [~attila_le@37.218.153.105] has joined #sbcl 09:22:59 -!- attila_lendvai [~attila_le@37.218.153.105] has quit [Changing host] 09:22:59 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 09:30:04 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 10:01:48 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 252 seconds] 10:03:59 attila_lendvai [~attila_le@37.218.134.161] has joined #sbcl 10:04:00 -!- attila_lendvai [~attila_le@37.218.134.161] has quit [Changing host] 10:04:00 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 10:46:56 -!- echo-area [~user@182.92.247.2] has quit [Remote host closed the connection] 10:56:41 foreignFunction [~niksaak@ip-4761.sunline.net.ua] has joined #sbcl 11:01:30 abarch [~user@2001:638:504:2093:21d:9ff:fe30:1f87] has joined #sbcl 11:27:56 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 241 seconds] 11:28:42 -!- teggi [~teggi@123.20.119.146] has quit [Remote host closed the connection] 12:23:29 stassats [~stassats@wikipedia/stassats] has joined #sbcl 12:35:30 -!- prxq [~mommer@mnhm-590c2431.pool.mediaWays.net] has quit [Remote host closed the connection] 12:46:24 -!- scymtym_ [~user@ip-5-147-122-209.unitymediagroup.de] has quit [Ping timeout: 240 seconds] 13:28:14 wbooze [~wbooze@xdsl-78-35-170-146.netcologne.de] has joined #sbcl 13:31:07 pkhuong: I asked because I am still learning what is acceptable changewise in SBCL so that I don't send a patch with an issue that could have resolved earlier in the process. Also, I was not sure about the full implications of the failed assertion 13:37:55 <|3b|> looks like it loses a runtime check for type of that argument 13:38:19 -!- daem0n [popoki@unaffiliated/mryaargh] has quit [Ping timeout: 264 seconds] 13:39:00 <|3b|> which might or might not be a problem depending on if it makes assumptions about type without further checks 13:40:33 *|3b|* would probably try to avoid that note, but i'm not an sbcl dev 13:41:32 is that with (speed 3)? 13:41:47 <|3b|> rebinding FILENAME and setting that instead would probably avoid the message 13:42:05 <|3b|> doesn't seem speed related as far as i can tell 13:42:20 <|3b|> and seems to be changing behavior not just performance 13:42:36 are there existing declarations? 13:42:45 through knownfuns? 13:42:54 i probably should figure what's being talked about first, i have no idea 13:43:35 <|3b|> as far as i can tell, in a function with a declaimed ftype, it checks argument types, but if you assign to the argument inside the functions, it doesn't do that check anymore 13:44:39 doesn't do checks during the assignment? 13:45:04 <|3b|> no, during calls to the function in general 13:45:26 right, there's a ticket about that somewhere 13:46:28 lp 309475 13:46:28 https://bugs.launchpad.net/bugs/309475 13:46:34 probably this 13:47:45 -!- segv- [~mb@95-91-241-75-dynip.superkabel.de] has quit [Remote host closed the connection] 13:47:53 <|3b|> not exactly, this is more about a possible cause of that problem 13:48:20 <|3b|> specifically a change that would cause the ftype check to be skipped 13:48:44 <|3b|> cause of a bug due to that problem rather 13:48:55 <|3b|> not actual cause of that bug 13:49:17 *|3b|* is failing to say what i'm trying to say 13:49:38 it'd help if there was a diff 13:49:52 daem0n [popoki@2607:f5a0:0:162:225:90ff:fe57:5e05] has joined #sbcl 13:50:06 -!- daem0n is now known as Guest8742 13:52:13 segv- [~mb@95-91-241-75-dynip.superkabel.de] has joined #sbcl 13:52:32 <|3b|> http://paste.lisp.org/+2YED is an example i reconstructed from the note 13:53:20 <|3b|> save that, (load (compile-file ...)) or C-c C-c in slime to see message, then (foo 1) to see lack of error, then same without the setf to see error 13:53:40 <|3b|> repl or just LOAD seems to hide the note 13:54:58 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Quit: This computer has gone to sleep] 13:55:09 so, it looks like since the lvar is deleted, the cast is deleted as well 13:56:10 <|3b|> original value is probably used in real code, so might be a bit more complicated than my version 13:56:32 right, adding a branch triggers the problem as well 13:56:54 i.e. (if (typep a 'vector) (setf a 1) (print a)) 13:57:56 *|3b|* was thinking more just printing it before the assignment too 14:03:03 looks like that's inherited from cmucl 14:09:07 teggi [~teggi@123.20.119.146] has joined #sbcl 14:15:58 <|3b|> looks like functions that have that note can trigger #309475 though, now that i see what it means 14:17:12 <|3b|> so probably best to avoid it even if it doesn't break OPEN itself 14:18:40 *|3b|* isn't sure how likely it is with a complicated type like that though 14:31:18 nicdev: you can rebind the argument around the assignment (and the code it dominates), and/or call recursively instead of assigning 14:36:35 drmeister [~drmeister@S010610ddb1c81950.vf.shawcable.net] has joined #sbcl 15:01:58 attila_lendvai [~attila_le@37.218.149.0] has joined #sbcl 15:01:58 -!- attila_lendvai [~attila_le@37.218.149.0] has quit [Changing host] 15:01:58 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 15:13:28 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 256 seconds] 15:14:21 attila_lendvai [~attila_le@37.218.149.0] has joined #sbcl 15:14:21 -!- attila_lendvai [~attila_le@37.218.149.0] has quit [Changing host] 15:14:21 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 15:16:32 |3b|: stassats, the note is a result of making an assignment to FILENAME in OPEN 15:16:38 -!- Guest8742 is now known as daem0n 15:16:39 -!- daem0n [popoki@2607:f5a0:0:162:225:90ff:fe57:5e05] has quit [Changing host] 15:16:39 daem0n [popoki@unaffiliated/mryaargh] has joined #sbcl 15:21:05 i am working on some restarts in OPEN and one of them is to get a new FILENAME which i assing to OPEN argument FILENAME before reevaluating OPEN call. After the assignment I go to an established tagbody, so I am going to try to rebind the variable instead of a recursive call as pkhuong notes above 15:21:31 this is related to work on lp #806398 15:21:37 lp 806398 15:21:37 https://bugs.launchpad.net/bugs/806398 15:28:56 -!- teggi [~teggi@123.20.119.146] has quit [Remote host closed the connection] 15:43:48 scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has joined #sbcl 15:52:06 loke_ [~elias@42.60.166.6] has joined #sbcl 15:57:22 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 246 seconds] 16:59:34 stassats [~stassats@wikipedia/stassats] has joined #sbcl 17:59:41 -!- yacks [~py@180.151.36.168] has quit [Quit: Leaving] 18:00:24 yacks [~py@180.151.36.168] has joined #sbcl 18:12:06 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 264 seconds] 18:25:14 attila_lendvai [~attila_le@37.218.140.141] has joined #sbcl 18:25:14 -!- attila_lendvai [~attila_le@37.218.140.141] has quit [Changing host] 18:25:14 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 18:33:23 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 18:34:42 ASau` [~user@p4FF9759B.dip0.t-ipconnect.de] has joined #sbcl 18:38:19 -!- ASau [~user@p4FF96C9E.dip0.t-ipconnect.de] has quit [Ping timeout: 264 seconds] 18:38:55 -!- ASau` is now known as ASau 19:56:09 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 256 seconds] 19:59:38 attila_lendvai [~attila_le@37.218.188.38] has joined #sbcl 19:59:38 -!- attila_lendvai [~attila_le@37.218.188.38] has quit [Changing host] 19:59:38 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 20:12:51 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 246 seconds] 20:53:22 -!- drmeister [~drmeister@S010610ddb1c81950.vf.shawcable.net] has quit [Read error: Connection reset by peer] 20:53:38 drmeister [~drmeister@S010610ddb1c81950.vf.shawcable.net] has joined #sbcl 20:53:46 -!- wbooze [~wbooze@xdsl-78-35-170-146.netcologne.de] has quit [Ping timeout: 256 seconds] 21:08:09 Sagane [~Sagane@177.100-226-89.dsl.completel.net] has joined #sbcl 21:14:07 -!- xymox [lechuck@unaffiliated/contempt] has quit [Ping timeout: 246 seconds] 21:16:37 -!- Sagane [~Sagane@177.100-226-89.dsl.completel.net] has quit [Ping timeout: 256 seconds] 21:18:28 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Remote host closed the connection] 21:31:17 wbooze [~wbooze@xdsl-78-35-151-128.netcologne.de] has joined #sbcl 21:42:55 Bike [~Glossina@71-222-46-130.ptld.qwest.net] has joined #sbcl 21:44:57 -!- foreignFunction [~niksaak@ip-4761.sunline.net.ua] has quit [Quit: Leaving.] 21:48:07 -!- Bike [~Glossina@71-222-46-130.ptld.qwest.net] has quit [Ping timeout: 276 seconds] 21:48:13 Bike_ [~Glossina@71-222-46-130.ptld.qwest.net] has joined #sbcl 21:54:29 -!- Bike_ is now known as Bike 22:07:09 xymox [lechuck@unaffiliated/contempt] has joined #sbcl 22:27:03 davazp [~user@187.Red-88-8-246.dynamicIP.rima-tde.net] has joined #sbcl 22:41:20 -!- segv- [~mb@95-91-241-75-dynip.superkabel.de] has quit [Remote host closed the connection] 23:25:03 -!- Bike [~Glossina@71-222-46-130.ptld.qwest.net] has quit [Ping timeout: 256 seconds] 23:31:49 Bike [~Glossina@71-222-46-130.ptld.qwest.net] has joined #sbcl 23:36:15 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 260 seconds] 23:41:12 -!- pipping [~pipping@exherbo/developer/pipping] has quit [Ping timeout: 256 seconds] 23:41:39 pipping [~pipping@tchaikovsky.exherbo.org] has joined #sbcl 23:54:51 -!- drmeister [~drmeister@S010610ddb1c81950.vf.shawcable.net] has quit [Remote host closed the connection] 23:55:46 drmeister [~drmeister@S010610ddb1c81950.vf.shawcable.net] has joined #sbcl