00:27:29 -!- leuler [~user@p54903AC0.dip.t-dialin.net] has quit [Quit: ERC Version 5.1.2 $Revision: 1.796.2.6 $ (IRC client for Emacs)] 01:03:15 -!- nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has quit [Quit: This computer has gone to sleep] 03:48:48 chp [~user@c-68-45-180-238.hsd1.nj.comcast.net] has joined #sbcl 04:12:27 stassats [~stassats@wikipedia/stassats] has joined #sbcl 05:35:24 angavrilov [~angavrilo@217.71.227.181] has joined #sbcl 06:04:07 attila_lendvai [~attila_le@87.247.3.122] has joined #sbcl 06:04:07 -!- attila_lendvai [~attila_le@87.247.3.122] has quit [Changing host] 06:04:07 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 06:43:27 -!- chp [~user@c-68-45-180-238.hsd1.nj.comcast.net] has quit [Ping timeout: 240 seconds] 06:54:38 sdemarre [~serge@91.176.187.36] has joined #sbcl 07:05:59 -!- homie`` [~levgue@xdsl-78-35-182-234.netcologne.de] has quit [Remote host closed the connection] 07:06:57 homie`` [~levgue@xdsl-78-35-182-234.netcologne.de] has joined #sbcl 07:41:41 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 248 seconds] 07:58:21 -!- milanj [~milanj_@178-223-191-12.dynamic.isp.telekom.rs] has quit [Quit: Leaving] 08:10:07 homie``` [~levgue@xdsl-84-44-178-142.netcologne.de] has joined #sbcl 08:13:21 -!- homie`` [~levgue@xdsl-78-35-182-234.netcologne.de] has quit [Ping timeout: 268 seconds] 08:28:09 udzinari [~user@ip-89-102-12-6.net.upcbroadband.cz] has joined #sbcl 09:42:40 stassats` [~stassats@wikipedia/stassats] has joined #sbcl 09:46:17 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 240 seconds] 09:53:53 nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has joined #sbcl 09:53:53 -!- ChanServ has set mode +o nikodemus 10:29:35 -!- angavrilov [~angavrilo@217.71.227.181] has quit [Ping timeout: 240 seconds] 10:33:10 angavrilov [~angavrilo@217.71.227.181] has joined #sbcl 10:58:22 saschakb [~saschakb@p4FEA02B3.dip0.t-ipconnect.de] has joined #sbcl 11:05:03 -!- nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has quit [Ping timeout: 252 seconds] 11:05:42 -!- sdemarre [~serge@91.176.187.36] has left #sbcl 11:08:36 nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has joined #sbcl 11:08:36 -!- ChanServ has set mode +o nikodemus 11:13:11 -!- saschakb [~saschakb@p4FEA02B3.dip0.t-ipconnect.de] has quit [Quit: Verlassend] 11:23:29 here's a question: does foldable + flushable imply that the function will not (1) incorporate non-immediate parts of its arguments to its return value (2) somehow pass them upwards? 11:48:34 nikodemus: iirc, identity is foldable + flushable, and it obviously incorporates its argument... 11:54:35 right 11:54:40 -!- udzinari [~user@ip-89-102-12-6.net.upcbroadband.cz] has quit [Remote host closed the connection] 11:55:16 *nikodemus* inverts bitrotted UNSAFE attribute into DX-SAFE 11:56:32 i find the whole notion of explicit "bad" attributes to be bad for maintenance 11:56:50 how confident are we that all functions that should be marked with CALL, are? 11:57:29 i'm just glad there aren't more of them -- and only CALL is currently used. UNWIND and UNSAFE are hopelessly bitrotted 12:07:05 sdemarre [~serge@91.176.187.36] has joined #sbcl 13:04:33 ASau` [~user@95-26-61-217.broadband.corbina.ru] has joined #sbcl 13:08:47 -!- ASau [~user@93-80-101-77.broadband.corbina.ru] has quit [Ping timeout: 252 seconds] 13:31:50 LiamH [~healy@pool-108-18-171-26.washdc.east.verizon.net] has joined #sbcl 14:18:15 -!- sdemarre [~serge@91.176.187.36] has quit [Ping timeout: 240 seconds] 14:20:18 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 14:27:57 |3b|: if you pull, you'll get an sbcl that stack allocates all of those arrays. turned out to be simple after all 14:28:41 <|3b|> yeah, just saw that while i was filing bugs on subseq and %v-w-a-n-b being slow :) 15:10:38 -!- nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has quit [Quit: This computer has gone to sleep] 15:17:11 is there a circularity issue if we use hash tables in %v-w-a-n-b? 15:39:06 nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has joined #sbcl 15:39:06 -!- ChanServ has set mode +o nikodemus 16:26:25 -!- nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has quit [Quit: This computer has gone to sleep] 16:39:04 nikodemus_: herep 16:40:07 tsuru`` [~charlie@adsl-74-179-196-139.bna.bellsouth.net] has joined #sbcl 16:41:27 -!- tsuru` [~charlie@adsl-74-179-250-216.bna.bellsouth.net] has quit [Ping timeout: 240 seconds] 16:41:57 nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has joined #sbcl 16:41:57 -!- ChanServ has set mode +o nikodemus 16:42:18 does dx-safe require "no leak of args into result"? Then there's a weaker property which may be useful if added, like "result is always as dx-safe as the worst of arguments" (it could be called "dx-preserve" or something) 16:43:49 (and this latter, weaker thing probably /is/ implied in flushable) 17:02:22 -!- homie``` [~levgue@xdsl-84-44-178-142.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 17:03:38 leuler [~user@p54901FB0.dip.t-dialin.net] has joined #sbcl 17:05:07 -!- akovalenko [~akovalenk@95.73.107.89] has quit [Ping timeout: 240 seconds] 17:08:35 saschakb [~saschakb@p4FEA02B3.dip0.t-ipconnect.de] has joined #sbcl 17:12:39 akovalenko [~akovalenk@77.51.45.138] has joined #sbcl 17:12:43 <|3b|> nikodemus: hmm, maybe still something wrong with dx? if i use the non-zero array twice, it stops being dx allocated 17:13:15 <|3b|> or at least complains, didn't check to see what it actually compiles 17:14:09 |3b|: test-case? 17:14:29 <|3b|> nikodemus: just duplicate the do-something-with form in original case i think 17:14:36 oh, ok 17:16:28 <|3b|> or the (true v) in make-array-on-stack-6 17:18:57 <|3b|> unrelated to that, does it only try to dx allocate if it knows the array is less than ~32k? 17:23:35 yes -- unless (safety 0) 17:23:42 ok, i see it 17:23:52 that's a funny one 17:32:34 -!- nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has quit [Quit: This computer has gone to sleep] 17:39:06 attila_lendvai [~attila_le@87.247.35.17] has joined #sbcl 17:39:06 -!- attila_lendvai [~attila_le@87.247.35.17] has quit [Changing host] 17:39:06 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 17:40:57 -!- tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 17:48:34 I always thought flushable only meant that the call could be elided when the result isn't used... 18:01:38 nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has joined #sbcl 18:01:48 -!- ChanServ has set mode +o nikodemus 18:02:22 pkhuong: flushable => no _visible_ side-effects => (or );; the latter is rare, and probably doesn't apply to any of our defknowns 18:03:42 it's stronger than DX, though. 18:03:49 ...foreign-symbol-sap (if it doesn't copy string) seems to be a real member of the latter category 18:20:41 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 240 seconds] 18:28:08 -!- LiamH [~healy@pool-108-18-171-26.washdc.east.verizon.net] has quit [Quit: Leaving.] 18:45:00 |3b|: SUBSEQ just got a lot faster 18:51:09 <|3b|> cool 18:56:24 kwmiebach_ [kwmiebach@31-222-138-133.static.cloud-ips.co.uk] has joined #sbcl 18:58:08 -!- otter-gwc [~brianj@68.107.217.139] has quit [Quit: Hitting the road] 18:58:56 -!- kwmiebach [kwmiebach@31-222-138-133.static.cloud-ips.co.uk] has quit [Ping timeout: 244 seconds] 18:59:08 <|3b|> nikodemus: yep, seems faster than my %v-w-a-n-b hack 19:21:14 *|3b|* wonders if cl::'(foo) is supposed to work 19:25:19 <|3b|> alisp seems to accept the ::' so possibly, but then it also accepts cl:'foo and returns an unexported cl::foo, which is a bit odd 19:25:34 <|3b|> still probably shouldn't ignore the package lock though 19:36:17 -!- saschakb [~saschakb@p4FEA02B3.dip0.t-ipconnect.de] has quit [Read error: Connection reset by peer] 19:37:13 <|3b|> but cl::#(foo) gets a package lock error trying to intern # 19:45:41 <|3b|> though i guess that sort of makes sense, and again matches alisp's interpretation 19:46:39 saschakb [~saschakb@p4FEA02B3.dip0.t-ipconnect.de] has joined #sbcl 19:51:27 antgreen [~user@70.50.67.239] has joined #sbcl 19:52:07 homie [~levgue@xdsl-84-44-178-142.netcologne.de] has joined #sbcl 20:04:34 good questions 20:04:57 can you put them on lp for me to think about 20:06:51 -!- nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has quit [Quit: This computer has gone to sleep] 20:17:26 LiamH [~healy@pool-108-18-171-26.washdc.east.verizon.net] has joined #sbcl 20:17:38 -!- angavrilov [~angavrilo@217.71.227.181] has quit [Ping timeout: 240 seconds] 20:23:23 joshe [~joshe@opal.elsasser.org] has joined #sbcl 20:23:46 nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has joined #sbcl 20:23:46 -!- ChanServ has set mode +o nikodemus 20:56:39 homie` [~levgue@xdsl-78-35-135-88.netcologne.de] has joined #sbcl 20:59:33 -!- homie [~levgue@xdsl-84-44-178-142.netcologne.de] has quit [Ping timeout: 248 seconds] 21:05:24 |3b|: got a fix for the dx issue. not as pretty and nicely general as the last one, but hey... 21:05:41 pushing once tests finish 21:07:22 -!- homie` [~levgue@xdsl-78-35-135-88.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:14:46 homie [~levgue@xdsl-78-35-135-88.netcologne.de] has joined #sbcl 21:35:09 sdemarre [~serge@91.176.187.36] has joined #sbcl 21:35:19 -!- tsuru`` [~charlie@adsl-74-179-196-139.bna.bellsouth.net] has quit [Remote host closed the connection] 22:12:37 -!- stassats` [~stassats@wikipedia/stassats] has quit [Read error: Operation timed out] 22:46:13 -!- fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has quit [Remote host closed the connection] 22:52:54 getting a build and test run on clisp done before nikodemus can make another commit is tricky 22:54:15 I finally just rebased and pushed without testing :) 22:58:16 hah 22:58:32 i'm done for the day anyways. for the weekend, more like, really 22:58:37 hacker needs a break 22:59:02 fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has joined #sbcl 23:00:53 tsuru` [~charlie@adsl-74-179-196-139.bna.bellsouth.net] has joined #sbcl 23:21:38 -!- nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has quit [Quit: Leaving] 23:23:05 -!- fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has quit [Ping timeout: 252 seconds] 23:24:27 -!- sdemarre [~serge@91.176.187.36] has quit [Ping timeout: 240 seconds] 23:29:15 fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has joined #sbcl