00:00:03 there's already a subtypep check. 00:00:32 works only for known types 00:01:41 i do (unless (or (subtypep x-type 'list) (subtypep 'list x-type)) assert-lvar-type) 00:02:10 oh, you can also abort-ir1-transform then. 00:02:36 will it signal an error an point to the wrong value? 00:02:54 why don't you try it? 00:03:01 -!- drmeister [~drmeister@mobile-198-228-227-216.mycingular.net] has quit [Remote host closed the connection] 00:03:59 it doesn't even work in defoptimizer 00:04:49 it has to be in a transform. 00:05:32 well, assert-lvar-type guarded by the above condition produces the ideal results when it comes to error messages 00:06:17 without increasing code size with unnecessary type-checks 00:21:07 -!- Snamich [~Snamich@71-9-62-86.dhcp.snlo.ca.charter.com] has quit [Quit: Snamich] 00:23:02 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 252 seconds] 00:37:11 drmeister [~drmeister@mobile-198-228-227-216.mycingular.net] has joined #sbcl 00:38:44 leoc` [~leoc.git@p5DDBB0EA.dip0.t-ipconnect.de] has joined #sbcl 00:39:45 -!- leoc [~leoc.git@p5DDB8930.dip0.t-ipconnect.de] has quit [Read error: Operation timed out] 00:43:38 LiamH [~none@96.231.225.69] has joined #sbcl 00:59:32 -!- drmeister [~drmeister@mobile-198-228-227-216.mycingular.net] has quit [Remote host closed the connection] 01:05:22 prxq_ [~mommer@mnhm-590c25ed.pool.mediaWays.net] has joined #sbcl 01:08:17 -!- prxq [~mommer@mnhm-590c24dc.pool.mediaWays.net] has quit [Ping timeout: 255 seconds] 01:28:34 drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has joined #sbcl 01:40:13 Snamich [~Snamich@71-9-62-86.dhcp.snlo.ca.charter.com] has joined #sbcl 01:53:53 -!- Snamich [~Snamich@71-9-62-86.dhcp.snlo.ca.charter.com] has quit [Quit: Snamich] 01:58:24 -!- bege [~bege@S0106001d7e5132b0.ed.shawcable.net] has quit [Ping timeout: 264 seconds] 02:04:28 -!- foreignFunction [~niksaak@ip-4761.sunline.net.ua] has quit [Quit: Leaving.] 02:05:22 bege [~bege@S0106001d7e5132b0.ed.shawcable.net] has joined #sbcl 02:30:01 -!- davazp [~user@178.167.241.9.threembb.ie] has quit [Remote host closed the connection] 03:16:37 -!- wbooze [~wbooze@xdsl-78-35-161-109.netcologne.de] has quit [Ping timeout: 268 seconds] 03:28:23 -!- drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 04:11:23 -!- LiamH [~none@96.231.225.69] has quit [Ping timeout: 245 seconds] 05:17:15 sdemarre [~serge@45.146-66-87.adsl-dyn.isp.belgacom.be] has joined #sbcl 06:00:38 -!- capisce [~srodal@cm-84.215.35.251.getinternet.no] has quit [Read error: Connection reset by peer] 06:01:27 capisce [~srodal@cm-84.215.35.251.getinternet.no] has joined #sbcl 06:14:41 attila_lendvai [~attila_le@92.47.249.129] has joined #sbcl 06:14:41 -!- attila_lendvai [~attila_le@92.47.249.129] has quit [Changing host] 06:14:42 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 06:28:15 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 08:04:41 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 08:33:12 -!- leoc` [~leoc.git@p5DDBB0EA.dip0.t-ipconnect.de] has quit [Ping timeout: 264 seconds] 08:48:37 attila_lendvai [~attila_le@92.47.249.129] has joined #sbcl 08:48:37 -!- attila_lendvai [~attila_le@92.47.249.129] has quit [Changing host] 08:48:37 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 08:48:41 -!- Bike [~Glossina@75-164-175-225.ptld.qwest.net] has quit [Quit: night] 08:50:37 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Client Quit] 09:28:30 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Quit: Ping timeout: ] 10:09:13 davazp [~user@178.167.172.85.threembb.ie] has joined #sbcl 10:11:27 mmuggli` [~user@68.166.118.234] has joined #sbcl 10:15:08 cmm [~cmm@bzq-79-182-100-51.red.bezeqint.net] has joined #sbcl 10:16:46 christoph1 [~christoph@ppp-188-174-180-131.dynamic.mnet-online.de] has joined #sbcl 10:17:28 -!- christoph_debian [~christoph@DSL01.212.114.250.148.ip-pool.NEFkom.net] has quit [Ping timeout: 248 seconds] 10:17:28 -!- Posterdati [~antani@host183-239-dynamic.16-87-r.retail.telecomitalia.it] has quit [Ping timeout: 248 seconds] 10:17:28 -!- mmuggli [~user@68.166.118.234] has quit [Read error: Connection reset by peer] 10:17:29 -!- cmm- [~cmm@bzq-79-182-100-51.red.bezeqint.net] has quit [Ping timeout: 248 seconds] 10:18:14 Posterdati [~antani@host183-239-dynamic.16-87-r.retail.telecomitalia.it] has joined #sbcl 10:21:13 -!- ASau``` is now known as ASau 10:24:12 ivan``_ [~ivan@li125-242.members.linode.com] has joined #sbcl 10:26:41 cmm- [~cmm@bzq-79-182-100-51.red.bezeqint.net] has joined #sbcl 10:27:43 -!- pipping [~pipping@exherbo/developer/pipping] has quit [*.net *.split] 10:27:43 -!- bege [~bege@S0106001d7e5132b0.ed.shawcable.net] has quit [*.net *.split] 10:27:44 -!- redline6561 [~redline65@li69-162.members.linode.com] has quit [*.net *.split] 10:27:45 -!- Ralt [Ralt@2a01:7e00::f03c:91ff:feae:6c69] has quit [*.net *.split] 10:27:46 -!- brucem [~bmitchene@waywardmonkeys.com] has quit [*.net *.split] 10:27:46 -!- scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has quit [*.net *.split] 10:27:46 -!- luis [~luis@nhop.r42.eu] has quit [*.net *.split] 10:27:58 bege [~bege@S0106001d7e5132b0.ed.shawcable.net] has joined #sbcl 10:27:59 redline6561 [~redline65@li69-162.members.linode.com] has joined #sbcl 10:27:59 scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has joined #sbcl 10:27:59 Ralt [Ralt@2a01:7e00::f03c:91ff:feae:6c69] has joined #sbcl 10:27:59 luis [~luis@nhop.r42.eu] has joined #sbcl 10:27:59 brucem [~bmitchene@waywardmonkeys.com] has joined #sbcl 10:27:59 pipping [~pipping@exherbo/developer/pipping] has joined #sbcl 10:31:13 -!- ivan`` [~ivan@unaffiliated/ivan/x-000001] has quit [Ping timeout: 255 seconds] 10:33:16 -!- cmm [~cmm@bzq-79-182-100-51.red.bezeqint.net] has quit [Ping timeout: 260 seconds] 10:33:16 -!- pipping [~pipping@exherbo/developer/pipping] has quit [*.net *.split] 10:33:17 -!- bege [~bege@S0106001d7e5132b0.ed.shawcable.net] has quit [*.net *.split] 10:33:18 -!- redline6561 [~redline65@li69-162.members.linode.com] has quit [*.net *.split] 10:33:19 -!- Ralt [Ralt@2a01:7e00::f03c:91ff:feae:6c69] has quit [*.net *.split] 10:33:19 -!- brucem [~bmitchene@waywardmonkeys.com] has quit [*.net *.split] 10:33:19 -!- scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has quit [*.net *.split] 10:33:19 -!- luis [~luis@nhop.r42.eu] has quit [*.net *.split] 10:33:21 -!- ivan``_ [~ivan@li125-242.members.linode.com] has quit [Changing host] 10:33:21 ivan``_ [~ivan@unaffiliated/ivan/x-000001] has joined #sbcl 10:34:23 -!- xymox [lechuck@unaffiliated/contempt] has quit [*.net *.split] 10:34:24 -!- psilord [~psilord@c-69-180-173-249.hsd1.mn.comcast.net] has quit [*.net *.split] 10:34:24 -!- nicdev [user@2600:3c03::f03c:91ff:fedf:4986] has quit [*.net *.split] 10:34:24 -!- psilord1 [~pkeller@23-25-144-217-static.hfc.comcastbusiness.net] has quit [*.net *.split] 10:34:25 -!- lichtblau [~user@port-212-202-134-139.static.qsc.de] has quit [*.net *.split] 10:34:26 -!- p_l|omoikane [~pl@81-18-213-39.static.chello.pl] has quit [*.net *.split] 10:34:26 -!- arrdem [~arrdem@dhcp-53-132.ece.utexas.edu] has quit [*.net *.split] 10:34:26 -!- reb [user@nat/google/x-rrggcaehmxjriwdi] has quit [*.net *.split] 10:34:27 -!- Posterdati [~antani@host183-239-dynamic.16-87-r.retail.telecomitalia.it] has quit [*.net *.split] 10:34:27 -!- davazp [~user@178.167.172.85.threembb.ie] has quit [*.net *.split] 10:34:28 -!- minion [~minion@50.7.166.114] has quit [*.net *.split] 10:34:28 -!- cow-orker [~foobar@pogostick.net] has quit [*.net *.split] 10:34:34 -!- loke_ [~loke@203.127.16.194] has quit [*.net *.split] 10:34:34 -!- davorb [~davor@hallonpaj.df.lth.se] has quit [*.net *.split] 10:34:44 bege [~bege@S0106001d7e5132b0.ed.shawcable.net] has joined #sbcl 10:34:44 redline6561 [~redline65@li69-162.members.linode.com] has joined #sbcl 10:34:44 scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has joined #sbcl 10:34:44 Ralt [Ralt@2a01:7e00::f03c:91ff:feae:6c69] has joined #sbcl 10:34:44 luis [~luis@nhop.r42.eu] has joined #sbcl 10:34:44 brucem [~bmitchene@waywardmonkeys.com] has joined #sbcl 10:34:44 pipping [~pipping@exherbo/developer/pipping] has joined #sbcl 10:40:42 Posterdati [~antani@host183-239-dynamic.16-87-r.retail.telecomitalia.it] has joined #sbcl 10:40:42 davazp [~user@178.167.172.85.threembb.ie] has joined #sbcl 10:40:42 psilord [~psilord@c-69-180-173-249.hsd1.mn.comcast.net] has joined #sbcl 10:40:42 xymox [lechuck@unaffiliated/contempt] has joined #sbcl 10:40:42 minion [~minion@50.7.166.114] has joined #sbcl 10:40:42 nicdev [user@2600:3c03::f03c:91ff:fedf:4986] has joined #sbcl 10:40:42 psilord1 [~pkeller@23-25-144-217-static.hfc.comcastbusiness.net] has joined #sbcl 10:40:42 loke_ [~loke@203.127.16.194] has joined #sbcl 10:40:42 p_l|omoikane [~pl@81-18-213-39.static.chello.pl] has joined #sbcl 10:40:42 lichtblau [~user@port-212-202-134-139.static.qsc.de] has joined #sbcl 10:40:42 arrdem [~arrdem@dhcp-53-132.ece.utexas.edu] has joined #sbcl 10:40:42 davorb [~davor@hallonpaj.df.lth.se] has joined #sbcl 10:40:42 reb [user@nat/google/x-rrggcaehmxjriwdi] has joined #sbcl 10:40:42 cow-orker [~foobar@pogostick.net] has joined #sbcl 10:42:24 drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has joined #sbcl 10:43:34 -!- christoph1 [~christoph@ppp-188-174-180-131.dynamic.mnet-online.de] has quit [Read error: Operation timed out] 10:45:19 christoph1 [~christoph@ppp-188-174-180-131.dynamic.mnet-online.de] has joined #sbcl 11:02:57 -!- christoph1 [~christoph@ppp-188-174-180-131.dynamic.mnet-online.de] has quit [Read error: Operation timed out] 11:04:28 christoph1 [~christoph@DSL01.212.114.250.149.ip-pool.NEFkom.net] has joined #sbcl 11:21:09 -!- christoph1 [~christoph@DSL01.212.114.250.149.ip-pool.NEFkom.net] has quit [Ping timeout: 256 seconds] 11:37:14 -!- sdemarre [~serge@45.146-66-87.adsl-dyn.isp.belgacom.be] has quit [Ping timeout: 256 seconds] 12:01:44 stassats [~stassats@wikipedia/stassats] has joined #sbcl 12:08:53 LiamH [~none@96.231.225.69] has joined #sbcl 12:14:52 foreignFunction [~niksaak@ip-4761.sunline.net.ua] has joined #sbcl 12:23:36 -!- robgssp [~user@2620:8d:8000:e50:f2de:f1ff:fe98:8a47] has quit [Ping timeout: 264 seconds] 12:43:11 sdemarre [~serge@45.146-66-87.adsl-dyn.isp.belgacom.be] has joined #sbcl 12:48:54 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 13:28:00 -!- davazp [~user@178.167.172.85.threembb.ie] has quit [Remote host closed the connection] 13:28:20 wbooze [~wbooze@xdsl-78-35-140-74.netcologne.de] has joined #sbcl 13:28:24 davazp [~user@178.167.172.85.threembb.ie] has joined #sbcl 13:33:53 -!- LiamH [~none@96.231.225.69] has quit [Ping timeout: 245 seconds] 14:13:38 -!- sdemarre [~serge@45.146-66-87.adsl-dyn.isp.belgacom.be] has quit [Ping timeout: 256 seconds] 15:02:12 -!- davazp [~user@178.167.172.85.threembb.ie] has quit [Remote host closed the connection] 15:07:37 -!- yacks [~py@180.151.36.168] has quit [Ping timeout: 246 seconds] 15:10:07 davazp [~user@178.167.239.11.threembb.ie] has joined #sbcl 15:14:28 mc40 [~mc@host86-148-141-128.range86-148.btcentralplus.com] has joined #sbcl 15:20:36 yacks [~py@180.151.36.168] has joined #sbcl 15:36:56 -!- mc40 [~mc@host86-148-141-128.range86-148.btcentralplus.com] has quit [Quit: mc40] 15:42:46 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 15:50:08 -!- wbooze [~wbooze@xdsl-78-35-140-74.netcologne.de] has quit [Ping timeout: 245 seconds] 15:59:41 mc40 [~mc@86.148.141.128] has joined #sbcl 16:04:22 Bike [~Glossina@75-164-175-225.ptld.qwest.net] has joined #sbcl 16:21:58 -!- mc40 [~mc@86.148.141.128] has quit [Quit: mc40] 16:33:34 wbooze [~wbooze@xdsl-78-35-175-187.netcologne.de] has joined #sbcl 16:39:46 christoph1 [~christoph@ppp-188-174-175-209.dynamic.mnet-online.de] has joined #sbcl 16:42:41 -!- foreignFunction [~niksaak@ip-4761.sunline.net.ua] has quit [Read error: Connection reset by peer] 16:43:08 foreignFunction [~niksaak@ip-4761.sunline.net.ua] has joined #sbcl 16:57:44 -!- christoph1 [~christoph@ppp-188-174-175-209.dynamic.mnet-online.de] has quit [Ping timeout: 272 seconds] 17:30:52 -!- davazp [~user@178.167.239.11.threembb.ie] has quit [Remote host closed the connection] 17:32:59 davazp [~user@92.251.130.10.threembb.ie] has joined #sbcl 17:36:33 -!- wbooze [~wbooze@xdsl-78-35-175-187.netcologne.de] has quit [Remote host closed the connection] 17:43:09 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Quit: Ping timeout: ] 17:43:14 christoph1 [~christoph@DSL01.212.114.250.149.ip-pool.NEFkom.net] has joined #sbcl 17:48:50 wbooze [~wbooze@xdsl-78-35-175-187.netcologne.de] has joined #sbcl 19:06:16 -!- wbooze [~wbooze@xdsl-78-35-175-187.netcologne.de] has quit [Remote host closed the connection] 19:08:08 wbooze [~wbooze@xdsl-78-35-175-187.netcologne.de] has joined #sbcl 19:18:33 mc40 [~mc@host86-148-141-128.range86-148.btcentralplus.com] has joined #sbcl 19:26:25 robgssp [~user@2620:8d:8000:e50:21c:c0ff:fea3:7cc5] has joined #sbcl 19:34:35 sdemarre [~serge@45.146-66-87.adsl-dyn.isp.belgacom.be] has joined #sbcl 19:43:17 Bike_ [~Glossina@75-164-175-225.ptld.qwest.net] has joined #sbcl 19:44:17 -!- Bike [~Glossina@75-164-175-225.ptld.qwest.net] has quit [Disconnected by services] 19:44:18 -!- Bike_ is now known as Bike 19:51:05 tcr1 [~tcr@46-126-110-164.dynamic.hispeed.ch] has joined #sbcl 20:03:16 -!- foreignFunction [~niksaak@ip-4761.sunline.net.ua] has quit [Read error: Operation timed out] 20:22:17 foreignFunction [~niksaak@ip-4761.sunline.net.ua] has joined #sbcl 20:25:18 -!- wbooze [~wbooze@xdsl-78-35-175-187.netcologne.de] has quit [Remote host closed the connection] 20:31:15 wbooze [~wbooze@xdsl-78-35-175-187.netcologne.de] has joined #sbcl 20:33:06 -!- christoph1 [~christoph@DSL01.212.114.250.149.ip-pool.NEFkom.net] has quit [Ping timeout: 264 seconds] 20:35:09 -!- tcr1 [~tcr@46-126-110-164.dynamic.hispeed.ch] has quit [Quit: Leaving.] 20:50:06 christoph1 [~christoph@ppp-188-174-177-254.dynamic.mnet-online.de] has joined #sbcl 20:50:27 -!- mc40 [~mc@host86-148-141-128.range86-148.btcentralplus.com] has quit [Quit: mc40] 20:56:30 -!- Bike [~Glossina@75-164-175-225.ptld.qwest.net] has quit [Ping timeout: 272 seconds] 20:59:11 -!- foreignFunction [~niksaak@ip-4761.sunline.net.ua] has quit [Quit: Leaving.] 21:01:22 Bike [~Glossina@75-164-175-225.ptld.qwest.net] has joined #sbcl 21:06:19 Bike_ [~Glossina@75-164-175-225.ptld.qwest.net] has joined #sbcl 21:09:12 -!- Bike [~Glossina@75-164-175-225.ptld.qwest.net] has quit [Ping timeout: 264 seconds] 21:13:56 -!- christoph1 [~christoph@ppp-188-174-177-254.dynamic.mnet-online.de] has quit [Ping timeout: 268 seconds] 21:15:16 -!- drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 21:19:46 -!- sdemarre [~serge@45.146-66-87.adsl-dyn.isp.belgacom.be] has quit [Ping timeout: 256 seconds] 21:22:32 christoph1 [~christoph@ppp-188-174-177-254.dynamic.mnet-online.de] has joined #sbcl 21:24:54 -!- prxq_ [~mommer@mnhm-590c25ed.pool.mediaWays.net] has quit [Quit: Leaving] 21:29:01 -!- Bike_ is now known as Bike 21:49:25 -!- christoph1 [~christoph@ppp-188-174-177-254.dynamic.mnet-online.de] has quit [Ping timeout: 246 seconds] 21:57:44 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Ping timeout: 256 seconds] 21:58:20 -!- danlentz [~danlentz@c-68-37-70-235.hsd1.nj.comcast.net] has quit [Remote host closed the connection] 22:08:44 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 255 seconds] 22:18:10 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #sbcl 22:21:50 attila_lendvai [~attila_le@92.47.227.147] has joined #sbcl 22:21:50 -!- attila_lendvai [~attila_le@92.47.227.147] has quit [Changing host] 22:21:50 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 22:48:29 LiamH [~none@96.231.225.69] has joined #sbcl