03:21:24 ccl-logbot [~ccl-logbo@setf.clozure.com] has joined #sbcl 03:21:24 03:21:24 -!- names: ccl-logbot huangjs gko Vivitron cmm Quadrescence fe[nl]ix ASau kanru specbot les angavrilov minion DGASAU uniwiz easye kanru_ christoph_debian pchrist antifuchs pipping flip214 @Xof drl drl_ sshirokov slyrus brown` maxm pkhuong foom antoszka ivan`` lggr luis- scymtym Posterdati SHUPFS asedeno_work redline6561 joshe |3b| froydnj jsnell galdor lichtblau daimrod 05:38:07 ccl-logbot [~ccl-logbo@setf.clozure.com] has joined #sbcl 05:38:07 05:38:07 -!- names: ccl-logbot lcc huangjs Vivitron cmm Quadrescence fe[nl]ix ASau kanru specbot les angavrilov minion DGASAU uniwiz easye kanru_ christoph_debian pchrist antifuchs pipping flip214 @Xof drl drl_ sshirokov slyrus brown` maxm pkhuong foom antoszka ivan`` lggr luis- scymtym Posterdati SHUPFS asedeno_work redline6561 daimrod lichtblau joshe |3b| froydnj jsnell galdor 05:55:07 gko [~user@42.71.7.115] has joined #sbcl 06:04:11 sdemarre [~serge@91.176.143.171] has joined #sbcl 06:05:46 prxq [~mommer@mnhm-5f75fb44.pool.mediaWays.net] has joined #sbcl 06:15:34 -!- gko [~user@42.71.7.115] has quit [Ping timeout: 260 seconds] 06:38:39 -!- sdemarre [~serge@91.176.143.171] has quit [Ping timeout: 272 seconds] 07:17:08 -!- huangjs [~huangjs@69.84.244.131] has quit [Ping timeout: 248 seconds] 08:02:48 huangjs [~huangjs@69.84.244.131] has joined #sbcl 08:04:28 -!- huangjs [~huangjs@69.84.244.131] has quit [Client Quit] 08:04:37 huangjs [~huangjs@69.84.244.131] has joined #sbcl 08:13:58 wbooze [~wbooze@xdsl-78-35-135-247.netcologne.de] has joined #sbcl 09:10:33 pkhuong: do you mean "contemporary" today or "contemporary" early-1990s? :-) 10:29:33 the latter would be "modern" 11:45:28 ccl-logbot [~ccl-logbo@setf.clozure.com] has joined #sbcl 11:45:28 11:45:28 -!- names: ccl-logbot wbooze huangjs prxq lcc Vivitron cmm Quadrescence fe[nl]ix ASau kanru specbot les angavrilov minion DGASAU uniwiz easye kanru_ christoph_debian pchrist antifuchs pipping flip214 @Xof drl drl_ sshirokov slyrus brown` maxm pkhuong foom antoszka ivan`` luis- scymtym Posterdati SHUPFS asedeno_work redline6561 daimrod lichtblau joshe |3b| froydnj jsnell galdor 11:53:14 lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has joined #sbcl 11:55:37 -!- wbooze [~wbooze@xdsl-78-35-135-247.netcologne.de] has quit [Ping timeout: 240 seconds] 11:59:30 -!- drl [~lat@110.139.229.172] has quit [Excess Flood] 12:00:41 -!- scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has quit [Ping timeout: 260 seconds] 12:01:24 scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has joined #sbcl 12:01:33 drl [~lat@110.139.229.172] has joined #sbcl 12:03:15 -!- lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has quit [Ping timeout: 268 seconds] 12:04:26 lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has joined #sbcl 12:09:36 -!- scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has quit [Ping timeout: 245 seconds] 12:10:27 scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has joined #sbcl 12:11:59 -!- lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has quit [Ping timeout: 260 seconds] 12:12:18 wbooze [~wbooze@xdsl-87-79-194-128.netcologne.de] has joined #sbcl 12:14:59 lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has joined #sbcl 12:22:48 snafuchs [~foobar@boots.boinkor.net] has joined #sbcl 12:23:29 kanru- [~kanru@kanru-1-pt.tunnel.tserv15.lax1.ipv6.he.net] has joined #sbcl 12:23:54 lacedaemon [~quassel@pdpc/supporter/professional/fenlix] has joined #sbcl 12:24:14 -!- lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has quit [Ping timeout: 260 seconds] 12:25:18 attila_lendvai [~attila_le@87.247.13.109] has joined #sbcl 12:25:19 -!- attila_lendvai [~attila_le@87.247.13.109] has quit [Changing host] 12:25:19 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 12:25:19 -!- daimrod [~daimrod@sbrk.org] has quit [Ping timeout: 242 seconds] 12:25:20 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 304 seconds] 12:25:20 -!- kanru_ [~kanru@kanru-1-pt.tunnel.tserv15.lax1.ipv6.he.net] has quit [Ping timeout: 275 seconds] 12:25:20 -!- antifuchs [~foobar@boots.boinkor.net] has quit [Ping timeout: 304 seconds] 12:25:20 -!- fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has quit [Ping timeout: 268 seconds] 12:25:20 -!- kanru [~kanru@118-163-10-190.HINET-IP.hinet.net] has quit [Ping timeout: 268 seconds] 12:25:21 -!- snafuchs is now known as antifuchs 12:28:54 daimrod [~daimrod@sbrk.org] has joined #sbcl 12:29:13 lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has joined #sbcl 12:32:15 -!- drl [~lat@110.139.229.172] has quit [Excess Flood] 12:32:39 drl [~lat@110.139.229.172] has joined #sbcl 12:35:35 -!- lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has quit [Ping timeout: 246 seconds] 12:40:17 lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has joined #sbcl 12:46:53 -!- lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has quit [Ping timeout: 260 seconds] 12:48:06 DGASAU` [~user@91.218.144.129] has joined #sbcl 12:48:15 LiamH [~healy@129-2-129-145.wireless.umd.edu] has joined #sbcl 12:52:44 -!- DGASAU [~user@91.218.144.129] has quit [Write error: Connection reset by peer] 12:54:32 angavrilov_ [~angavrilo@217.71.227.190] has joined #sbcl 12:57:37 lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has joined #sbcl 13:02:22 -!- angavrilov [~angavrilo@217.71.227.190] has quit [*.net *.split] 13:02:37 -!- wbooze [~wbooze@xdsl-87-79-194-128.netcologne.de] has quit [Ping timeout: 240 seconds] 13:04:11 -!- lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has quit [Ping timeout: 245 seconds] 13:05:09 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 13:07:34 pchrist [~spirit@gentoo/developer/pchrist] has joined #sbcl 13:08:35 lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has joined #sbcl 13:13:02 are users allowed to change VAR in the body of (DOTIMES (VAR ...) body)? 13:13:41 (I'm counting on Xof having the clhs reference memorized here). 13:15:16 hlavaty [~user@91-65-217-229-dynip.superkabel.de] has joined #sbcl 13:15:50 -!- lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has quit [Ping timeout: 246 seconds] 13:17:36 -!- galdor [galdor@def92-10-88-162-192-107.fbx.proxad.net] has quit [Ping timeout: 248 seconds] 13:17:54 wbooze [~wbooze@xdsl-87-79-194-128.netcologne.de] has joined #sbcl 13:18:24 galdor_ [galdor@def92-10-88-162-192-107.fbx.proxad.net] has joined #sbcl 13:23:28 -!- LiamH [~healy@129-2-129-145.wireless.umd.edu] has quit [Quit: Leaving.] 13:26:14 lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has joined #sbcl 13:35:37 -!- lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has quit [Ping timeout: 255 seconds] 13:36:48 lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has joined #sbcl 13:45:55 -!- lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has quit [Ping timeout: 252 seconds] 13:47:45 lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has joined #sbcl 13:48:16 "It is implementation-dependent whether dolist establishes a new binding of var on each iteration or whether it establishes a binding for var once at the beginning and then assigns it on any subsequent iterations." seems clear to me 13:54:22 -!- wbooze [~wbooze@xdsl-87-79-194-128.netcologne.de] has quit [Ping timeout: 244 seconds] 13:54:51 pkhuong: the motivating question was this: 13:55:01 (dotimes (i n) ...) establishes a declaration (type unsigned-byte i). 13:55:27 Would be correct to help the compiler and narrow that down to (type (integer 0 ,(max 0 (1+ n))) i), or do we have to allow for users doing things like (setf i ) in the body? 13:56:59 -!- lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has quit [Ping timeout: 260 seconds] 13:58:12 kanru [~kanru@1-160-78-65.dynamic.hinet.net] has joined #sbcl 13:58:44 lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has joined #sbcl 13:58:58 lichtblau: you could just narrow the type of a fresh variable 13:59:05 and rebind i in the body 13:59:26 if the user doesn't (setf i), propagation will just work, if they do, no issue. 14:08:26 -!- lggr [~lggr@84-73-159-126.dclient.hispeed.ch] has quit [Ping timeout: 268 seconds] 21:49:26 ccl-logbot [~ccl-logbo@74.50.56.8] has joined #sbcl 21:49:26 21:49:26 -!- names: ccl-logbot ivan`` easye angavrilov @Krystof egn ASau cmm kanru minion foom scymtym cracauer_ jdz Mazingaro LiamH specbot pipping fe[nl]ix antoszka pchrist asedeno_work _8david |3b| reb sshirokov redline6561 SHUPFS jsnell DGASAU` froydnj joshe flip214 antifuchs daimrod 21:50:57 pkhuong [~pkhuong@gravelga.xen.prgmr.com] has joined #sbcl 21:50:57 les_ [moreorles@lesharris.com] has joined #sbcl 21:50:58 luis` [~luis@nhop.r42.eu] has joined #sbcl 21:51:05 loke [~elias@bb115-66-85-121.singnet.com.sg] has joined #sbcl 21:58:27 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 22:04:05 Quadresce [~quad@unaffiliated/quadrescence] has joined #sbcl 22:06:35 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Disconnected by services] 22:06:44 -!- Quadresce is now known as Quadrescence 22:07:43 ASau` [~user@95-26-212-54.broadband.corbina.ru] has joined #sbcl 22:09:03 christoph_debian [~user@2001:a60:f01c:0:42::1] has joined #sbcl 22:09:16 -!- ASau [~user@95-26-212-54.broadband.corbina.ru] has quit [Ping timeout: 246 seconds] 22:09:36 -!- LiamH [~none@pdp8.nrl.navy.mil] has quit [Quit: Leaving.] 22:18:33 -!- scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has quit [Ping timeout: 245 seconds] 22:49:09 luis [~luis@nhop.r42.eu] has joined #sbcl 22:50:57 -!- les_ [moreorles@lesharris.com] has quit [Write error: Connection reset by peer] 22:50:57 -!- luis` [~luis@nhop.r42.eu] has quit [Write error: Connection reset by peer] 22:54:55 les [moreorles@lesharris.com] has joined #sbcl 22:54:56 -!- les [moreorles@lesharris.com] has quit [Changing host] 22:54:56 les [moreorles@fsf/member/les] has joined #sbcl 22:58:22 ASau`` [~user@95-26-212-54.broadband.corbina.ru] has joined #sbcl 23:02:06 -!- ASau` [~user@95-26-212-54.broadband.corbina.ru] has quit [Remote host closed the connection] 23:24:05 ccl-logbot [~ccl-logbo@setf.clozure.com] has joined #sbcl 23:24:05 23:24:05 -!- names: ccl-logbot ASau`` les luis christoph_debian Quadrescence loke pkhuong ivan`` easye angavrilov @Krystof egn cmm kanru minion foom cracauer_ jdz Mazingaro specbot pipping fe[nl]ix antoszka pchrist asedeno_work _8david |3b| reb sshirokov redline6561 SHUPFS jsnell DGASAU` daimrod antifuchs flip214 joshe froydnj 23:30:39 -!- daimrod [~daimrod@sbrk.org] has quit [Ping timeout: 272 seconds] 23:30:43 -!- kanru [~kanru@kanru-1-pt.tunnel.tserv15.lax1.ipv6.he.net] has quit [Ping timeout: 272 seconds] 23:31:30 daimrod [~daimrod@sbrk.org] has joined #sbcl 23:34:02 -!- specbot [~specbot@tiger.common-lisp.net] has quit [Disconnected by services] 23:34:05 specbot [~specbot@tiger.common-lisp.net] has joined #sbcl 23:34:10 reb` [user@nat/google/x-tzkykcnzlyxmcipv] has joined #sbcl 23:34:27 _8david` [~user@port-92-195-118-78.dynamic.qsc.de] has joined #sbcl 23:34:48 |3b|` [foobar@cpe-72-179-19-4.austin.res.rr.com] has joined #sbcl 23:35:25 lacedaemon [~quassel@pdpc/supporter/professional/fenlix] has joined #sbcl 23:36:33 kanru_ [~kanru@kanru-1-pt.tunnel.tserv15.lax1.ipv6.he.net] has joined #sbcl 23:36:55 -!- |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has quit [Remote host closed the connection] 23:36:55 -!- _8david [~user@port-92-195-118-78.dynamic.qsc.de] has quit [Remote host closed the connection] 23:36:55 -!- fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has quit [Remote host closed the connection] 23:36:56 -!- reb [user@nat/google/x-rbxbwhqbiqooivtw] has quit [Write error: Broken pipe] 23:37:06 -!- kanru_ is now known as kanru 01:02:01 huangjs [~huangjs@69.84.244.131] has joined #sbcl 02:15:16 kanru` [~kanru@118-163-10-190.HINET-IP.hinet.net] has joined #sbcl 03:11:18 attila_lendvai [~attila_le@5.34.31.244] has joined #sbcl 03:11:18 -!- attila_lendvai [~attila_le@5.34.31.244] has quit [Changing host] 03:11:18 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 03:17:54 homie [~levgue@xdsl-78-35-143-209.netcologne.de] has joined #sbcl 05:20:31 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 05:47:13 -!- kanru [~kanru@kanru-1-pt.tunnel.tserv15.lax1.ipv6.he.net] has quit [Ping timeout: 272 seconds] 05:47:50 sdemarre [~serge@91.176.200.20] has joined #sbcl 05:49:05 kanru [~kanru@kanru-1-pt.tunnel.tserv15.lax1.ipv6.he.net] has joined #sbcl 06:14:48 attila_lendvai [~attila_le@37.99.77.227] has joined #sbcl 06:14:48 -!- attila_lendvai [~attila_le@37.99.77.227] has quit [Changing host] 06:14:48 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 06:29:13 gko [~user@220.228.255.202] has joined #sbcl 06:42:06 -!- sdemarre [~serge@91.176.200.20] has quit [Ping timeout: 264 seconds] 06:43:52 mpstyler [~mpstyler@176.73.151.79] has joined #sbcl 07:03:19 prxq [~mommer@mnhm-4d010b7e.pool.mediaWays.net] has joined #sbcl 07:47:22 [1]mpstyler [~mpstyler@176.73.151.79] has joined #sbcl 07:49:13 -!- mpstyler [~mpstyler@176.73.151.79] has quit [Ping timeout: 246 seconds] 07:57:58 -!- lacedaemon [~quassel@pdpc/supporter/professional/fenlix] has quit [Remote host closed the connection] 07:58:08 fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has joined #sbcl 08:01:11 -!- [1]mpstyler is now known as mpstyler 08:59:34 -!- mpstyler [~mpstyler@176.73.151.79] has quit [Ping timeout: 246 seconds] 09:01:54 -!- asedeno_work [asedeno@nat/google/x-vmfqidxryrwzsdgw] has quit [*.net *.split] 09:02:02 asedeno_work [asedeno@nat/google/session] has joined #sbcl 09:53:00 mpstyler [~mpstyler@217.147.230.140] has joined #sbcl 09:54:15 [3]mpstyler [~mpstyler@217.147.230.140] has joined #sbcl 09:54:36 -!- mpstyler [~mpstyler@217.147.230.140] has quit [Remote host closed the connection] 09:54:36 -!- [3]mpstyler is now known as mpstyler 10:02:00 -!- mpstyler [~mpstyler@217.147.230.140] has quit [Remote host closed the connection] 10:12:47 -!- asedeno_work [asedeno@nat/google/session] has quit [Changing host] 10:12:47 asedeno_work [asedeno@nat/google/x-yallpzhsnugrklfx] has joined #sbcl 10:14:44 -!- kanru` [~kanru@118-163-10-190.HINET-IP.hinet.net] has quit [Ping timeout: 244 seconds] 11:08:34 tcr1 [~tcr@178-83-229-138.dynamic.hispeed.ch] has joined #sbcl 11:09:00 -!- tcr1 is now known as tcr 12:08:16 -!- gko [~user@220.228.255.202] has quit [Read error: Connection reset by peer] 12:26:51 -!- kanru [~kanru@kanru-1-pt.tunnel.tserv15.lax1.ipv6.he.net] has quit [Ping timeout: 272 seconds] 12:28:34 kanru [~kanru@kanru-1-pt.tunnel.tserv15.lax1.ipv6.he.net] has joined #sbcl 12:48:30 homie` [~levgue@xdsl-78-35-153-137.netcologne.de] has joined #sbcl 12:51:16 -!- homie [~levgue@xdsl-78-35-143-209.netcologne.de] has quit [Ping timeout: 245 seconds] 13:01:44 -!- sshirokov [sshirokov@2600:3c02::f03c:91ff:fe93:e02d] has quit [Ping timeout: 260 seconds] 13:02:41 -!- redline6561 [~redline65@li69-162.members.linode.com] has quit [Ping timeout: 268 seconds] 13:05:57 redline6561 [~redline65@li69-162.members.linode.com] has joined #sbcl 13:06:32 sshirokov [sshirokov@2600:3c02::f03c:91ff:fe93:e02d] has joined #sbcl 13:15:39 hlavaty [~user@91-65-217-229-dynip.superkabel.de] has joined #sbcl 13:24:47 gko [~user@114-34-168-13.HINET-IP.hinet.net] has joined #sbcl 13:49:58 Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 14:09:09 stassats [~stassats@wikipedia/stassats] has joined #sbcl 14:16:36 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 14:20:02 -!- jdz [~jdz@85.254.212.247] has quit [Quit: Byebye.]