00:01:49 -!- DGASAU [~user@91.218.144.129] has quit [Ping timeout: 245 seconds] 00:11:14 DGASAU [~user@91.218.144.129] has joined #sbcl 00:13:01 -!- Qworkescence [~quad@unaffiliated/quadrescence] has quit [Quit: Leaving] 00:13:58 acelent: probably. 00:43:27 homie` [~levgue@xdsl-78-35-131-178.netcologne.de] has joined #sbcl 00:45:23 -!- homie [~levgue@xdsl-87-79-192-196.netcologne.de] has quit [Ping timeout: 252 seconds] 02:33:10 tsuru [~charlie@50.9.237.217] has joined #sbcl 02:36:07 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 252 seconds] 03:14:04 -!- scymtym [~user@2001:638:504:2093:21a:a0ff:fe34:2d7d] has quit [Remote host closed the connection] 03:15:36 scymtym [~user@2001:638:504:2093:21a:a0ff:fe34:2d7d] has joined #sbcl 03:21:33 rpg [~rpg@216.243.156.16.real-time.com] has joined #sbcl 05:22:19 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [Quit: rpg] 05:40:54 -!- Krystof [~user@csrhodes.plus.com] has quit [Read error: Connection reset by peer] 05:43:21 Kryztof [~user@csrhodes.plus.com] has joined #sbcl 05:43:22 -!- ChanServ has set mode +o Kryztof 06:09:09 -!- homie` [~levgue@xdsl-78-35-131-178.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 06:09:57 sdemarre [~serge@91.176.86.170] has joined #sbcl 06:18:53 -!- ASau [~user@93-80-104-193.broadband.corbina.ru] has quit [Quit: off] 06:34:27 -!- blumbri [~blumbri@c-67-181-176-186.hsd1.ca.comcast.net] has quit [Remote host closed the connection] 06:37:07 -!- scymtym [~user@2001:638:504:2093:21a:a0ff:fe34:2d7d] has quit [Remote host closed the connection] 06:42:40 scymtym [~user@2001:638:504:2093:21a:a0ff:fe34:2d7d] has joined #sbcl 06:46:25 blumbri [~blumbri@c-67-181-176-186.hsd1.ca.comcast.net] has joined #sbcl 07:42:57 nikodemus [~nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 07:42:57 -!- ChanServ has set mode +o nikodemus 07:50:19 DGASAU` [~user@91.218.144.129] has joined #sbcl 07:50:31 -!- sdemarre [~serge@91.176.86.170] has quit [Quit: Leaving.] 07:51:28 sdemarre [~serge@91.176.86.170] has joined #sbcl 07:57:27 -!- DGASAU` [~user@91.218.144.129] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 07:57:42 -!- DGASAU [~user@91.218.144.129] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 07:58:23 DGASAU [~user@91.218.144.129] has joined #sbcl 09:12:51 -!- nikodemus [~nikodemus@cs181063174.pp.htv.fi] has quit [Quit: This computer has gone to sleep] 10:13:39 -!- acelent [~user@2001:690:2100:4:200:1aff:fe19:ddfc] has left #sbcl 10:51:41 -!- tsuru [~charlie@50.9.237.217] has quit [Ping timeout: 240 seconds] 10:54:18 -!- DGASAU [~user@91.218.144.129] has quit [Ping timeout: 246 seconds] 11:01:47 hargettp [~hargettp@pool-71-174-140-118.bstnma.east.verizon.net] has joined #sbcl 11:07:12 DGASAU [~user@91.218.144.129] has joined #sbcl 11:15:34 -!- hargettp [~hargettp@pool-71-174-140-118.bstnma.east.verizon.net] has quit [Quit: Leaving...] 11:17:24 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 11:22:32 hargettp [~hargettp@pool-71-174-140-118.bstnma.east.verizon.net] has joined #sbcl 11:52:00 nikodemus [~nikodemus@cs181056239.pp.htv.fi] has joined #sbcl 11:52:00 -!- ChanServ has set mode +o nikodemus 11:57:53 -!- hargettp [~hargettp@pool-71-174-140-118.bstnma.east.verizon.net] has quit [Quit: Leaving...] 13:39:12 tsuru [~user@c-68-53-57-241.hsd1.tn.comcast.net] has joined #sbcl 15:16:14 nikodemus: we seem to have lost propagation of deadvalues upward in return types. 15:17:21 e.g. in (values (truncate single-float)), the second return value is (or (member 0.0) (single-float (0.0) (1.0))) instead of NIL. 15:30:17 actually, it does happen, but maybe too late. 15:32:37 hm 15:33:19 are we messing delay-ir1-transform :optimize somewhere? 15:34:44 somewhat. 15:35:06 the single-valueification happens after the truncate has been transformed 15:35:15 (obviously, it's bottom-up) 15:35:35 and now that we're hardasses about FP, the computation doesn't get elided. 15:37:28 ETOOMUCHHARDASSERY 15:40:19 so compute-all in the deftransform is true when it could be false -- but we don't know yet? 15:40:51 and the unused expression is not flushed due to fp hardassery 15:40:54 ? 15:41:18 right 15:41:48 how a (FLUSHABLE X) magic form? 15:43:04 I'd rather get the transform order right ;) 15:43:41 i don't really disagree, but i'm not sure if we /can/ get things like that right in general 15:44:27 i think so, in this case 15:45:19 rpg [~rpg@216.243.156.16.real-time.com] has joined #sbcl 15:45:33 being able to annotate things as explicitly flushable and letting the existing system do the heavy lifting has some appeal -- not that i think there are really other standard things except TRUNCATE and friends that have interesting secondary values 15:46:37 and then you get in interesting situations with (m-v-b (x y) (truncate) x) 15:47:58 looks like the python team got confused between its meta-evaluation pass (which definitely wants to happen in dfo/block-forward), and its transformation 15:48:13 for transformations, reverse dfo and block-backward arguably make more sense 15:48:57 could be 15:49:44 hm 15:49:45 that'd finally let us do interesting things with pattern matching. 16:09:38 pkhuong: i think here compute-all logic is just a bit off 16:11:13 instead of looking at the derived-type, which comes from the defoptimizer for truncate, it should look at dest: if dest is a regular combination, the second value is dead 16:11:50 looking at the dtype used to work. 16:11:51 oh well 16:12:24 really? any idea approx. when? 16:14:11 I put that code in in 1.0.37.64 16:14:45 otoh, the previous version was obviously broken 16:14:55 so maybe it just never worked (well) 16:15:47 nikodemus: so, if the dest is a LET or a combination, we're good? 16:18:54 -!- DGASAU [~user@91.218.144.129] has quit [Ping timeout: 245 seconds] 16:19:03 nope, just a good old COMBINATION. 16:19:07 ok, that's much saner. 16:19:27 SET-P too 16:21:58 or just not a mv-combination? 16:27:26 yeah, anything that's not a mv-combination is a single-value context. 16:27:56 DGASAU [~user@91.218.144.129] has joined #sbcl 16:28:09 and we have to look through casts 16:29:47 return is a multiple value. 16:41:26 homie [~levgue@xdsl-84-44-153-61.netcologne.de] has joined #sbcl 16:43:04 -!- DGASAU [~user@91.218.144.129] has quit [Ping timeout: 245 seconds] 16:50:21 DGASAU [~user@91.218.144.129] has joined #sbcl 17:10:30 -!- loke [~elias@bb115-66-85-121.singnet.com.sg] has quit [Remote host closed the connection] 17:22:06 -!- hlavaty [~user@91-65-217-112-dynip.superkabel.de] has quit [Remote host closed the connection] 17:47:00 -!- nikodemus [~nikodemus@cs181056239.pp.htv.fi] has quit [Quit: This computer has gone to sleep] 18:02:40 Qworkescence [~quad@unaffiliated/quadrescence] has joined #sbcl 18:35:59 -!- sdemarre [~serge@91.176.86.170] has quit [Ping timeout: 245 seconds] 18:55:45 sdemarre [~serge@91.176.86.170] has joined #sbcl 19:13:52 ASau [~user@93-80-104-193.broadband.corbina.ru] has joined #sbcl 20:28:04 -!- sdemarre [~serge@91.176.86.170] has quit [Ping timeout: 245 seconds] 21:22:31 pchrist_ [~spirit@gentoo/developer/pchrist] has joined #sbcl 21:24:59 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Ping timeout: 260 seconds] 21:41:41 -!- fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has quit [Remote host closed the connection] 22:15:10 -!- Qworkescence [~quad@unaffiliated/quadrescence] has quit [Ping timeout: 250 seconds] 22:25:13 -!- tsuru [~user@c-68-53-57-241.hsd1.tn.comcast.net] has quit [Ping timeout: 252 seconds] 22:26:40 Qworkescence [~quad@unaffiliated/quadrescence] has joined #sbcl 22:44:11 -!- joshe [~joshe@opal.elsasser.org] has quit [*.net *.split] 22:44:11 -!- slyrus [~chatzilla@adsl-76-254-40-157.dsl.pltn13.sbcglobal.net] has quit [*.net *.split] 22:44:13 -!- ASau [~user@93-80-104-193.broadband.corbina.ru] has quit [*.net *.split] 22:44:14 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [*.net *.split] 22:44:15 -!- Xof [~crhodes@158.223.51.79] has quit [*.net *.split] 22:44:16 -!- Inode [~inode@time.uk.chromedpork.net] has quit [*.net *.split] 22:44:19 -!- |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has quit [*.net *.split] 22:44:21 -!- Qworkescence [~quad@unaffiliated/quadrescence] has quit [*.net *.split] 22:44:25 -!- _8david [~user@91-65-217-112-dynip.superkabel.de] has quit [*.net *.split] 22:44:25 -!- jsnell [~jsnell@ash.snellman.net] has quit [*.net *.split] 22:44:26 -!- dsp_ [~tt@acidlab.technoanimal.net] has quit [*.net *.split] 22:44:26 -!- luis [~luis@nhop.r42.eu] has quit [*.net *.split] 22:44:26 -!- specbot [~specbot@tiger.common-lisp.net] has quit [*.net *.split] 22:44:26 -!- cow-orker [~foobar@pogostick.net] has quit [*.net *.split] 22:44:29 -!- jiacobucci [~jiacobucc@gw-asdl.ae.gatech.edu] has quit [*.net *.split] 22:44:30 -!- j-f [~jef@5ac8b031.bb.sky.com] has quit [*.net *.split] 22:44:30 -!- tunes [~Fare@ita4fw1.itasoftware.com] has quit [*.net *.split] 22:44:35 -!- pkhuong [~pkhuong@gravelga.xen.prgmr.com] has quit [*.net *.split] 22:44:36 -!- redline6561 [~redline65@li69-162.members.linode.com] has quit [*.net *.split] 22:44:37 -!- MikeSeth [~me@unaffiliated/mikeseth] has quit [*.net *.split] 22:44:37 -!- DGASAU [~user@91.218.144.129] has quit [*.net *.split] 22:44:38 -!- esden [~esden@repl.esden.net] has quit [*.net *.split] 22:44:39 -!- rootzlevel [~hpd@static.6.236.40.188.clients.your-server.de] has quit [*.net *.split] 22:44:40 -!- pchrist_ [~spirit@gentoo/developer/pchrist] has quit [*.net *.split] 22:44:41 -!- homie [~levgue@xdsl-84-44-153-61.netcologne.de] has quit [*.net *.split] 22:44:41 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [*.net *.split] 22:44:41 -!- flip214 [~marek@unaffiliated/flip214] has quit [*.net *.split] 22:44:45 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [*.net *.split] 22:44:45 -!- Kryztof [~user@csrhodes.plus.com] has quit [*.net *.split] 22:44:46 -!- daimrod [~daimrod@sbrk.org] has quit [*.net *.split] 22:44:46 -!- sshirokov [~sshirokov@ghanima.slavasaur.com] has quit [*.net *.split] 22:44:47 -!- Iceland_jack [~baldur@earth.sudo.is] has quit [*.net *.split] 22:44:47 -!- spacebat [~spacebat@ubermonkey.net] has quit [*.net *.split] 22:54:39 fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has joined #sbcl 22:54:39 Qworkescence [~quad@unaffiliated/quadrescence] has joined #sbcl 22:54:39 pchrist_ [~spirit@gentoo/developer/pchrist] has joined #sbcl 22:54:39 ASau [~user@93-80-104-193.broadband.corbina.ru] has joined #sbcl 22:54:39 DGASAU [~user@91.218.144.129] has joined #sbcl 22:54:39 homie [~levgue@xdsl-84-44-153-61.netcologne.de] has joined #sbcl 22:54:39 rpg [~rpg@216.243.156.16.real-time.com] has joined #sbcl 22:54:39 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 22:54:39 Kryztof [~user@csrhodes.plus.com] has joined #sbcl 22:54:39 jiacobucci [~jiacobucc@gw-asdl.ae.gatech.edu] has joined #sbcl 22:54:39 dsp_ [~tt@acidlab.technoanimal.net] has joined #sbcl 22:54:39 j-f [~jef@5ac8b031.bb.sky.com] has joined #sbcl 22:54:39 slyrus [~chatzilla@adsl-76-254-40-157.dsl.pltn13.sbcglobal.net] has joined #sbcl 22:54:39 joshe [~joshe@opal.elsasser.org] has joined #sbcl 22:54:39 Inode [~inode@time.uk.chromedpork.net] has joined #sbcl 22:54:39 Xof [~crhodes@158.223.51.79] has joined #sbcl 22:54:39 antoszka [~antoszka@unaffiliated/antoszka] has joined #sbcl 22:54:39 |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has joined #sbcl 22:54:39 cow-orker [~foobar@pogostick.net] has joined #sbcl 22:54:39 specbot [~specbot@tiger.common-lisp.net] has joined #sbcl 22:54:39 luis [~luis@nhop.r42.eu] has joined #sbcl 22:54:39 jsnell [~jsnell@ash.snellman.net] has joined #sbcl 22:54:39 _8david [~user@91-65-217-112-dynip.superkabel.de] has joined #sbcl 22:54:39 flip214 [~marek@unaffiliated/flip214] has joined #sbcl 22:54:39 tunes [~Fare@ita4fw1.itasoftware.com] has joined #sbcl 22:54:39 redline6561 [~redline65@li69-162.members.linode.com] has joined #sbcl 22:54:39 spacebat [~spacebat@ubermonkey.net] has joined #sbcl 22:54:39 rootzlevel [~hpd@static.6.236.40.188.clients.your-server.de] has joined #sbcl 22:54:39 Iceland_jack [~baldur@earth.sudo.is] has joined #sbcl 22:54:39 MikeSeth [~me@unaffiliated/mikeseth] has joined #sbcl 22:54:39 daimrod [~daimrod@sbrk.org] has joined #sbcl 22:54:39 sshirokov [~sshirokov@ghanima.slavasaur.com] has joined #sbcl 22:54:39 pkhuong [~pkhuong@gravelga.xen.prgmr.com] has joined #sbcl 22:54:39 esden [~esden@repl.esden.net] has joined #sbcl 22:54:39 -!- leguin.freenode.net has set mode +oo Kryztof Xof 23:03:22 -!- joshe [~joshe@opal.elsasser.org] has quit [*.net *.split] 23:03:22 -!- slyrus [~chatzilla@adsl-76-254-40-157.dsl.pltn13.sbcglobal.net] has quit [*.net *.split] 23:03:23 -!- ASau [~user@93-80-104-193.broadband.corbina.ru] has quit [*.net *.split] 23:03:25 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [*.net *.split] 23:03:26 -!- Xof [~crhodes@158.223.51.79] has quit [*.net *.split] 23:03:26 -!- Inode [~inode@time.uk.chromedpork.net] has quit [*.net *.split] 23:03:29 -!- |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has quit [*.net *.split] 23:03:31 -!- Qworkescence [~quad@unaffiliated/quadrescence] has quit [*.net *.split] 23:03:36 -!- _8david [~user@91-65-217-112-dynip.superkabel.de] has quit [*.net *.split] 23:03:36 -!- jsnell [~jsnell@ash.snellman.net] has quit [*.net *.split] 23:03:36 -!- dsp_ [~tt@acidlab.technoanimal.net] has quit [*.net *.split] 23:03:37 -!- luis [~luis@nhop.r42.eu] has quit [*.net *.split] 23:03:37 -!- specbot [~specbot@tiger.common-lisp.net] has quit [*.net *.split] 23:03:37 -!- cow-orker [~foobar@pogostick.net] has quit [*.net *.split] 23:03:39 -!- jiacobucci [~jiacobucc@gw-asdl.ae.gatech.edu] has quit [*.net *.split] 23:03:40 -!- j-f [~jef@5ac8b031.bb.sky.com] has quit [*.net *.split] 23:03:40 -!- tunes [~Fare@ita4fw1.itasoftware.com] has quit [*.net *.split] 23:03:44 -!- fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has quit [*.net *.split] 23:03:45 -!- pkhuong [~pkhuong@gravelga.xen.prgmr.com] has quit [*.net *.split] 23:03:47 -!- redline6561 [~redline65@li69-162.members.linode.com] has quit [*.net *.split] 23:03:47 -!- MikeSeth [~me@unaffiliated/mikeseth] has quit [*.net *.split] 23:03:47 -!- DGASAU [~user@91.218.144.129] has quit [*.net *.split] 23:03:48 -!- esden [~esden@repl.esden.net] has quit [*.net *.split] 23:03:50 -!- rootzlevel [~hpd@static.6.236.40.188.clients.your-server.de] has quit [*.net *.split] 23:03:51 -!- pchrist_ [~spirit@gentoo/developer/pchrist] has quit [*.net *.split] 23:03:51 -!- homie [~levgue@xdsl-84-44-153-61.netcologne.de] has quit [*.net *.split] 23:03:51 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [*.net *.split] 23:03:52 -!- flip214 [~marek@unaffiliated/flip214] has quit [*.net *.split] 23:03:55 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [*.net *.split] 23:03:55 -!- Kryztof [~user@csrhodes.plus.com] has quit [*.net *.split] 23:03:56 -!- daimrod [~daimrod@sbrk.org] has quit [*.net *.split] 23:03:56 -!- sshirokov [~sshirokov@ghanima.slavasaur.com] has quit [*.net *.split] 23:03:57 -!- Iceland_jack [~baldur@earth.sudo.is] has quit [*.net *.split] 23:03:58 -!- spacebat [~spacebat@ubermonkey.net] has quit [*.net *.split] 23:05:42 fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has joined #sbcl 23:05:42 Qworkescence [~quad@unaffiliated/quadrescence] has joined #sbcl 23:05:42 pchrist_ [~spirit@gentoo/developer/pchrist] has joined #sbcl 23:05:42 ASau [~user@93-80-104-193.broadband.corbina.ru] has joined #sbcl 23:05:42 DGASAU [~user@91.218.144.129] has joined #sbcl 23:05:42 homie [~levgue@xdsl-84-44-153-61.netcologne.de] has joined #sbcl 23:05:42 rpg [~rpg@216.243.156.16.real-time.com] has joined #sbcl 23:05:42 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 23:05:42 Kryztof [~user@csrhodes.plus.com] has joined #sbcl 23:05:42 jiacobucci [~jiacobucc@gw-asdl.ae.gatech.edu] has joined #sbcl 23:05:42 dsp_ [~tt@acidlab.technoanimal.net] has joined #sbcl 23:05:42 j-f [~jef@5ac8b031.bb.sky.com] has joined #sbcl 23:05:42 slyrus [~chatzilla@adsl-76-254-40-157.dsl.pltn13.sbcglobal.net] has joined #sbcl 23:05:42 joshe [~joshe@opal.elsasser.org] has joined #sbcl 23:05:42 Inode [~inode@time.uk.chromedpork.net] has joined #sbcl 23:05:42 Xof [~crhodes@158.223.51.79] has joined #sbcl 23:05:42 antoszka [~antoszka@unaffiliated/antoszka] has joined #sbcl 23:05:42 |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has joined #sbcl 23:05:42 cow-orker [~foobar@pogostick.net] has joined #sbcl 23:05:42 specbot [~specbot@tiger.common-lisp.net] has joined #sbcl 23:05:42 luis [~luis@nhop.r42.eu] has joined #sbcl 23:05:42 jsnell [~jsnell@ash.snellman.net] has joined #sbcl 23:05:42 _8david [~user@91-65-217-112-dynip.superkabel.de] has joined #sbcl 23:05:42 flip214 [~marek@unaffiliated/flip214] has joined #sbcl 23:05:42 tunes [~Fare@ita4fw1.itasoftware.com] has joined #sbcl 23:05:42 redline6561 [~redline65@li69-162.members.linode.com] has joined #sbcl 23:05:42 spacebat [~spacebat@ubermonkey.net] has joined #sbcl 23:05:42 rootzlevel [~hpd@static.6.236.40.188.clients.your-server.de] has joined #sbcl 23:05:42 Iceland_jack [~baldur@earth.sudo.is] has joined #sbcl 23:05:42 MikeSeth [~me@unaffiliated/mikeseth] has joined #sbcl 23:05:42 daimrod [~daimrod@sbrk.org] has joined #sbcl 23:05:42 sshirokov [~sshirokov@ghanima.slavasaur.com] has joined #sbcl 23:05:42 pkhuong [~pkhuong@gravelga.xen.prgmr.com] has joined #sbcl 23:05:42 esden [~esden@repl.esden.net] has joined #sbcl 23:05:42 -!- leguin.freenode.net has set mode +oo Kryztof Xof 23:36:18 cmm [~cmm@bzq-79-176-206-126.red.bezeqint.net] has joined #sbcl 23:36:57 acelent [~user@2001:690:2100:4:200:1aff:fe19:ddfc] has joined #sbcl 23:37:32 about the sbcl.core thing, i think i just forgot to set SBCL_HOME 23:43:24 hargettp [~hargettp@96.237.121.18] has joined #sbcl