00:32:19 -!- yacks [~py@180.151.36.168] has quit [Ping timeout: 264 seconds] 00:42:25 arubin [~arubin@99-114-192-172.lightspeed.cicril.sbcglobal.net] has joined #sbcl 00:54:46 pjb` [~t@AMontsouris-651-1-250-111.w92-163.abo.wanadoo.fr] has joined #sbcl 00:55:40 -!- pjb [~t@AMontsouris-651-1-4-143.w90-46.abo.wanadoo.fr] has quit [Read error: Operation timed out] 01:00:46 -!- slyrus [~chatzilla@173-228-44-92.dsl.static.sonic.net] has quit [Ping timeout: 246 seconds] 01:44:31 asedeno [~asedeno@66.102.14.24] has joined #sbcl 01:45:40 -!- davazp [~user@79.Red-79-153-96.dynamicIP.rima-tde.net] has quit [Read error: Connection reset by peer] 01:59:51 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Quit: This computer has gone to sleep] 02:05:13 yacks [~py@180.151.36.168] has joined #sbcl 02:33:17 Bike_ [~Glossina@75-175-64-4.ptld.qwest.net] has joined #sbcl 02:35:04 -!- Bike [~Glossina@174-25-59-69.ptld.qwest.net] has quit [Ping timeout: 274 seconds] 02:36:24 -!- christoph_debian [~christoph@ppp-188-174-74-63.dynamic.mnet-online.de] has quit [Read error: Operation timed out] 02:37:04 -!- Bike_ is now known as Bike 02:37:55 -!- foreignFunction [~niksaak@ip-4761.sunline.net.ua] has quit [Quit: Leaving.] 02:39:24 echo-area [~user@182.92.247.2] has joined #sbcl 02:48:26 pranavrc [~pranavrc@122.164.43.104] has joined #sbcl 02:48:26 -!- pranavrc [~pranavrc@122.164.43.104] has quit [Changing host] 02:48:26 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 02:52:02 christoph_debian [~christoph@ppp-188-174-156-77.dynamic.mnet-online.de] has joined #sbcl 03:21:13 -!- yacks [~py@180.151.36.168] has quit [Quit: Leaving] 03:23:17 -!- easye [~user@213.33.70.157] has quit [Remote host closed the connection] 03:25:33 easye [~user@213.33.70.157] has joined #sbcl 03:34:57 -!- Bike [~Glossina@75-175-64-4.ptld.qwest.net] has quit [Ping timeout: 248 seconds] 03:35:29 Bike [~Glossina@75-175-64-4.ptld.qwest.net] has joined #sbcl 04:01:44 kanru [~kanru@118-163-10-190.HINET-IP.hinet.net] has joined #sbcl 04:41:31 -!- arubin [~arubin@99-114-192-172.lightspeed.cicril.sbcglobal.net] has quit [Quit: Textual IRC Client: www.textualapp.com] 05:26:37 attila_lendvai [~attila_le@92.47.253.152] has joined #sbcl 05:26:37 -!- attila_lendvai [~attila_le@92.47.253.152] has quit [Changing host] 05:26:37 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 05:44:26 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 05:47:06 teggi [~teggi@123.20.107.130] has joined #sbcl 05:58:27 -!- psilord [~psilord@c-69-180-173-249.hsd1.mn.comcast.net] has quit [Ping timeout: 268 seconds] 06:23:36 -!- Bike [~Glossina@75-175-64-4.ptld.qwest.net] has quit [Ping timeout: 256 seconds] 06:24:37 Bike [~Glossina@174-25-59-161.ptld.qwest.net] has joined #sbcl 06:29:38 -!- Bike [~Glossina@174-25-59-161.ptld.qwest.net] has quit [Ping timeout: 255 seconds] 06:30:55 Bike [~Glossina@67-5-193-192.ptld.qwest.net] has joined #sbcl 06:42:11 -!- pjb` is now known as pjb 06:44:59 Odyessus [~odyessus@213.47.71.36] has joined #sbcl 06:45:46 prxq [~mommer@mnhm-5f75f4ad.pool.mediaWays.net] has joined #sbcl 06:46:06 yacks [~py@180.151.36.168] has joined #sbcl 06:47:41 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 06:57:11 -!- Odyessus [~odyessus@213.47.71.36] has quit [Quit: Colloquy for iPad - http://colloquy.mobi] 06:57:36 psilord [~psilord@c-69-180-173-249.hsd1.mn.comcast.net] has joined #sbcl 07:06:41 -!- psilord [~psilord@c-69-180-173-249.hsd1.mn.comcast.net] has quit [Ping timeout: 248 seconds] 07:25:57 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Quit: Ping timeout: ] 07:39:58 Odyessus [~odyessus@213.47.71.36] has joined #sbcl 07:50:46 -!- Odyessus [~odyessus@213.47.71.36] has quit [Quit: Colloquy for iPad - http://colloquy.mobi] 08:21:08 -!- kanru [~kanru@118-163-10-190.HINET-IP.hinet.net] has quit [Remote host closed the connection] 08:21:31 kanru [~kanru@118-163-10-190.HINET-IP.hinet.net] has joined #sbcl 09:15:25 angavrilov_ [~angavrilo@217.71.227.190] has joined #sbcl 09:17:16 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Ping timeout: 256 seconds] 09:21:37 easy-iPad [~easyipad@chello080109062130.15.14.vie.surfer.at] has joined #sbcl 09:33:34 -!- easy-iPad [~easyipad@chello080109062130.15.14.vie.surfer.at] has quit [Quit: Outta here?] 09:41:55 -!- easye [~user@213.33.70.157] has quit [Ping timeout: 264 seconds] 09:43:49 easye [~user@213.33.70.157] has joined #sbcl 10:21:51 -!- echo-area [~user@182.92.247.2] has quit [Remote host closed the connection] 10:32:52 -!- yacks [~py@180.151.36.168] has quit [Ping timeout: 268 seconds] 10:39:31 yacks [~py@180.151.36.168] has joined #sbcl 10:52:19 abarch [~user@ip-5-147-122-209.unitymediagroup.de] has joined #sbcl 10:59:09 Sagane [~Sagane@177.100-226-89.dsl.completel.net] has joined #sbcl 11:38:17 davazp [~user@79.Red-79-153-96.dynamicIP.rima-tde.net] has joined #sbcl 12:24:50 -!- davazp [~user@79.Red-79-153-96.dynamicIP.rima-tde.net] has quit [Ping timeout: 256 seconds] 12:27:33 foreignFunction [~niksaak@ip-4761.sunline.net.ua] has joined #sbcl 12:28:07 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 12:45:00 LiamH [~none@pdp8.nrl.navy.mil] has joined #sbcl 12:50:23 -!- Blkt [~user@82.84.149.56] has quit [Quit: brb] 12:51:25 Blkt [~user@82.84.149.56] has joined #sbcl 12:54:50 -!- yacks [~py@180.151.36.168] has quit [Quit: Leaving] 12:55:10 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 276 seconds] 12:56:59 so, re constant TNs... I'm pretty sure the point was to be able to recognize their loading into registers as candidates for CSE or loop hoisting. 13:08:01 attila_lendvai [~attila_le@95.56.77.101] has joined #sbcl 13:08:01 -!- attila_lendvai [~attila_le@95.56.77.101] has quit [Changing host] 13:08:01 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 13:09:31 yacks [~py@180.151.36.168] has joined #sbcl 13:16:27 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 13:56:33 wbooze [~wbooze@xdsl-78-35-133-142.netcologne.de] has joined #sbcl 14:04:23 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Ping timeout: 268 seconds] 14:05:27 psilord [~pkeller@23-25-144-217-static.hfc.comcastbusiness.net] has joined #sbcl 14:36:44 -!- foreignFunction [~niksaak@ip-4761.sunline.net.ua] has left #sbcl 14:44:08 edgar-rfx [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has joined #sbcl 14:45:18 -!- edgar-rfx is now known as edgar-rftx 14:46:23 -!- Bike [~Glossina@67-5-193-192.ptld.qwest.net] has quit [Ping timeout: 240 seconds] 14:47:25 Quadresce_ [~quad@unaffiliated/quadrescence] has joined #sbcl 14:49:19 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [*.net *.split] 14:49:20 -!- edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has quit [*.net *.split] 14:49:21 -!- Posterdati [~antani@host199-226-dynamic.16-87-r.retail.telecomitalia.it] has quit [*.net *.split] 14:49:21 -!- nicdev [user@2600:3c03::f03c:91ff:fedf:4986] has quit [*.net *.split] 14:49:39 Bike [~Glossina@67-5-193-192.ptld.qwest.net] has joined #sbcl 14:49:48 -!- Quadresce_ is now known as Quadrescence 14:50:21 -!- reb [user@nat/google/x-cwmstbkzyfnryrzy] has quit [Read error: Connection reset by peer] 14:52:51 -!- joshe [~joshe@opal.elsasser.org] has quit [Ping timeout: 244 seconds] 14:57:30 Posterdati [~antani@host199-226-dynamic.16-87-r.retail.telecomitalia.it] has joined #sbcl 14:58:34 -!- edgar-rftx [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has quit [Quit: guru meditation] 14:59:44 edgar-rft [~GOD@HSI-KBW-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has joined #sbcl 15:07:12 -!- Sagane [~Sagane@177.100-226-89.dsl.completel.net] has quit [Read error: Connection reset by peer] 15:40:12 luis` [~luis@kerno.org] has joined #sbcl 15:46:26 -!- fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has quit [*.net *.split] 15:46:27 -!- whoops [~whoops@2a01:4f8:161:41e1::2] has quit [*.net *.split] 15:46:27 -!- antifuchs [~foobar@boots.boinkor.net] has quit [*.net *.split] 15:46:27 -!- |3b| [bbb@2600:3c00::f03c:91ff:fedf:5b65] has quit [*.net *.split] 15:46:28 -!- luis [~luis@nhop.r42.eu] has quit [*.net *.split] 15:59:52 thoughts on split stack: we could simplify management a lot by only storing an offset between the control stack and the number stack, for each thread. 16:00:34 Getting a value on the number stack would then be [bp + offset-tn - slot*word-size] 16:06:27 -!- luis` is now known as luis 16:12:51 fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has joined #sbcl 16:12:51 whoops [~whoops@2a01:4f8:161:41e1::2] has joined #sbcl 16:12:51 antifuchs [~foobar@boots.boinkor.net] has joined #sbcl 16:12:51 |3b| [bbb@2600:3c00::f03c:91ff:fedf:5b65] has joined #sbcl 16:14:15 easye` [~user@213.33.70.157] has joined #sbcl 16:16:15 _8hzp [~user@eth1-2.bob.askja.de] has joined #sbcl 16:16:15 Blkt` [~user@82.84.149.56] has joined #sbcl 16:16:35 prxq_ [~mommer@mnhm-5f75f4ad.pool.mediaWays.net] has joined #sbcl 16:19:09 daem0n` [popoki@2607:f5a0:0:162:225:90ff:fe57:5e05] has joined #sbcl 16:19:52 -!- easye [~user@213.33.70.157] has quit [Read error: Connection reset by peer] 16:19:53 -!- Blkt [~user@82.84.149.56] has quit [Ping timeout: 264 seconds] 16:19:53 -!- prxq [~mommer@mnhm-5f75f4ad.pool.mediaWays.net] has quit [Ping timeout: 264 seconds] 16:19:54 -!- _8hzp` [~user@eth1-2.bob.askja.de] has quit [Ping timeout: 264 seconds] 16:19:55 -!- daem0n [popoki@unaffiliated/mryaargh] has quit [Ping timeout: 264 seconds] 16:34:54 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #sbcl 17:14:05 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Disconnected by services] 17:14:36 ASau` [~user@p5797F3AC.dip0.t-ipconnect.de] has joined #sbcl 17:15:27 milanj [~milanj@82.117.199.26] has joined #sbcl 17:15:41 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 17:20:23 -!- Bike [~Glossina@67-5-193-192.ptld.qwest.net] has quit [Ping timeout: 245 seconds] 17:21:50 -!- kanru [~kanru@118-163-10-190.HINET-IP.hinet.net] has quit [*.net *.split] 17:21:50 -!- ASau [~user@p5797F3AC.dip0.t-ipconnect.de] has quit [*.net *.split] 17:21:51 -!- daimrod [daimrod@sbrk.org] has quit [*.net *.split] 17:24:42 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [Ping timeout: 252 seconds] 17:28:25 Bike [~Glossina@67-5-229-86.ptld.qwest.net] has joined #sbcl 17:29:14 Sagane [~Sagane@177.100-226-89.dsl.completel.net] has joined #sbcl 17:37:15 -!- ASau` is now known as ASau 17:51:19 easy-iPad [~easyipad@213.47.71.36] has joined #sbcl 17:57:40 scymtym_ [~user@ip-5-147-122-209.unitymediagroup.de] has joined #sbcl 18:08:19 daimrod [daimrod@sbrk.org] has joined #sbcl 18:09:42 -!- Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [Remote host closed the connection] 18:11:31 slyrus [~chatzilla@173-228-44-92.dsl.static.sonic.net] has joined #sbcl 18:16:26 -!- teggi [~teggi@123.20.107.130] has quit [Remote host closed the connection] 18:21:53 -!- easy-iPad [~easyipad@213.47.71.36] has quit [Quit: Outta here?] 18:31:45 drmeister [~drmeister@d205-250-223-135.bchsia.telus.net] has joined #sbcl 18:35:45 ASau` [~user@p5797FF73.dip0.t-ipconnect.de] has joined #sbcl 18:37:03 -!- ASau [~user@p5797F3AC.dip0.t-ipconnect.de] has quit [Ping timeout: 240 seconds] 18:37:18 pjb1 [~t@AMontsouris-651-1-250-111.w92-163.abo.wanadoo.fr] has joined #sbcl 18:37:55 -!- pjb1 [~t@AMontsouris-651-1-250-111.w92-163.abo.wanadoo.fr] has quit [Remote host closed the connection] 18:38:45 -!- ASau` is now known as ASau 18:38:51 -!- pjb [~t@AMontsouris-651-1-250-111.w92-163.abo.wanadoo.fr] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 18:39:05 pjb [~t@AMontsouris-651-1-250-111.w92-163.abo.wanadoo.fr] has joined #sbcl 18:48:46 attila_lendvai [~attila_le@95.56.77.101] has joined #sbcl 18:48:46 -!- attila_lendvai [~attila_le@95.56.77.101] has quit [Changing host] 18:48:46 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 18:54:40 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 19:05:49 -!- daem0n` is now known as daem0n 19:05:51 -!- daem0n [popoki@2607:f5a0:0:162:225:90ff:fe57:5e05] has quit [Changing host] 19:05:51 daem0n [popoki@unaffiliated/mryaargh] has joined #sbcl 19:10:45 attila_lendvai [~attila_le@95.56.77.101] has joined #sbcl 19:10:45 -!- attila_lendvai [~attila_le@95.56.77.101] has quit [Changing host] 19:10:45 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 19:12:02 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Client Quit] 19:14:04 -!- angavrilov_ [~angavrilo@217.71.227.190] has quit [Remote host closed the connection] 19:27:53 brown [user@nat/google/x-ybvgszdcrcuqzueh] has joined #sbcl 19:28:17 -!- brown is now known as Guest54252 19:28:58 -!- Guest54252 is now known as reb` 19:40:33 foreignFunction [~niksaak@ip-4761.sunline.net.ua] has joined #sbcl 19:42:50 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Quit: This computer has gone to sleep] 19:47:45 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 19:51:25 -!- drmeister [~drmeister@d205-250-223-135.bchsia.telus.net] has quit [Remote host closed the connection] 19:59:55 sdemarre [~serge@200.164-64-87.adsl-dyn.isp.belgacom.be] has joined #sbcl 20:01:00 -!- milanj [~milanj@82.117.199.26] has quit [Ping timeout: 260 seconds] 20:08:01 -!- wbooze [~wbooze@xdsl-78-35-133-142.netcologne.de] has quit [Quit: none] 20:12:34 wbooze [~wbooze@xdsl-78-35-133-142.netcologne.de] has joined #sbcl 20:13:15 rpg [~rpg@216.243.156.16.real-time.com] has joined #sbcl 20:15:23 -!- Bike [~Glossina@67-5-229-86.ptld.qwest.net] has quit [Quit: Reconnecting] 20:15:34 Bike [~Glossina@67-5-229-86.ptld.qwest.net] has joined #sbcl 20:16:49 -!- slyrus [~chatzilla@173-228-44-92.dsl.static.sonic.net] has quit [Ping timeout: 246 seconds] 20:19:08 Krystof: in best-modular-version: (uwidths (merge 'list uuwidths uswidths #'< :key #'car)) 20:19:17 that can't be right. 20:19:47 the only reason it hasn't crashed so far is that uswidth is always nil. 20:28:12 oh boy do I not understand the comment that I don't remember writing 20:29:15 oh, wait, you are referring to a stupid type error rather than a logic error 20:30:32 no, you are referring to a destructive operation error 20:30:33 well, there are two issues for me 20:30:38 1. destructive operation 20:30:57 drmeister [~drmeister@d205-250-223-135.bchsia.telus.net] has joined #sbcl 20:31:47 2. we don't seem to be sure if we want to have an implementation for every modular op whenever we declare the existence of a modular class, or to have the compiler choose the right modular class given the non-modular op 20:32:49 modular-class-width is currently a bunch of equivalent consees [(64 . nil) and (63 . t), for instance] 20:34:09 oh, I remember why I wrote that comment 20:34:57 in (logand #xffff) you want to implement the modular operation using tagged operations if possible to minimize the chance that stuff will get unboxed and reboxed 20:35:07 ah yes. 20:35:12 and best-modular-version will be called with width 16 in that case 20:35:27 hence the funky tagged/signed operations to fake unsigned overflowing arithmetic. 20:35:30 milanj [~milanj@cable-94-189-145-213.dynamic.sbb.rs] has joined #sbcl 20:35:44 so you have to decide that, right, you want to do tagged (but signed) rather than unsigned (but untagged) 20:36:12 so, I'm thinking of adding %negate-mod{64,fx}. Can you think of a reason not to? 20:36:35 no 20:36:56 oh wait hang on isn't there a launchpad bug about this 20:38:16 maybe the launchpad bug is just that there's an unexpected generic-negate 20:38:20 at least that's the one I found 20:38:26 in (logand x (- x)) 20:38:32 exactly that. 20:38:46 that's what surprised me as well 20:39:06 right. I can't think of a reason why this should be problematic 20:39:19 the lurking reason why it might be is in type derivation 20:39:42 but I would imagine that the problem if any will not be insuperable, and really I don't see why it should be a problem at all 20:39:50 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Quit: This computer has gone to sleep] 20:41:23 it seems to work fine with the default modular derive type 20:42:36 good 20:42:59 (I don't see why not, given that - does) 20:47:23 -!- foreignFunction [~niksaak@ip-4761.sunline.net.ua] has quit [Quit: Leaving.] 20:59:46 -!- psilord [~pkeller@23-25-144-217-static.hfc.comcastbusiness.net] has quit [Quit: Leaving.] 21:12:44 -!- sdemarre [~serge@200.164-64-87.adsl-dyn.isp.belgacom.be] has quit [Ping timeout: 252 seconds] 21:22:12 slyrus [~chatzilla@173-228-44-92.dsl.static.sonic.net] has joined #sbcl 21:40:20 fisxoj [~fisxoj@c-24-12-190-29.hsd1.il.comcast.net] has joined #sbcl 22:00:30 psilord [~psilord@c-69-180-173-249.hsd1.mn.comcast.net] has joined #sbcl 22:02:09 -!- scymtym_ [~user@ip-5-147-122-209.unitymediagroup.de] has quit [Ping timeout: 240 seconds] 22:15:44 -!- Sagane [~Sagane@177.100-226-89.dsl.completel.net] has quit [Read error: Connection reset by peer] 22:28:14 -!- prxq_ [~mommer@mnhm-5f75f4ad.pool.mediaWays.net] has quit [Remote host closed the connection] 22:35:37 -!- LiamH [~none@pdp8.nrl.navy.mil] has quit [Ping timeout: 276 seconds] 23:09:05 davazp [~user@79.Red-79-153-96.dynamicIP.rima-tde.net] has joined #sbcl 23:19:53 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 23:23:42 -!- yacks [~py@180.151.36.168] has quit [Ping timeout: 268 seconds] 23:25:45 yacks [~py@180.151.36.168] has joined #sbcl 23:31:47 -!- yacks [~py@180.151.36.168] has quit [Ping timeout: 246 seconds]