00:09:50 andreh [~andreh@186.214.154.23] has joined #sbcl 00:12:21 -!- klltkr [~klltkr@unaffiliated/klltkr] has quit [Ping timeout: 248 seconds] 00:17:08 stassats [~stassats@wikipedia/stassats] has joined #sbcl 00:24:54 -!- segv- [~mb@95-91-242-155-dynip.superkabel.de] has quit [Remote host closed the connection] 00:50:38 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Ping timeout: 240 seconds] 01:28:14 echo-area [~user@182.92.247.2] has joined #sbcl 01:31:17 -!- slyrus [~chatzilla@173-228-44-92.dsl.static.sonic.net] has quit [Ping timeout: 248 seconds] 01:41:22 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #sbcl 02:03:35 -!- scymtym_ [~user@ip-5-147-120-181.unitymediagroup.de] has quit [Ping timeout: 260 seconds] 02:39:06 -!- christoph_debian [~christoph@ppp-93-104-185-196.dynamic.mnet-online.de] has quit [Ping timeout: 264 seconds] 02:52:00 christoph_debian [~christoph@ppp-93-104-184-215.dynamic.mnet-online.de] has joined #sbcl 02:52:37 momo-reina [~user@122.3.171.50] has joined #sbcl 03:01:30 edgar-rft [~GOD@HSI-KBW-078-043-120-047.hsi4.kabel-badenwuerttemberg.de] has joined #sbcl 03:25:24 -!- momo-reina [~user@122.3.171.50] has quit [Remote host closed the connection] 03:36:21 pranavrc [~pranavrc@122.164.231.81] has joined #sbcl 03:36:26 -!- pranavrc [~pranavrc@122.164.231.81] has quit [Changing host] 03:36:26 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 04:04:07 -!- easye [~user@213.33.70.157] has quit [Ping timeout: 240 seconds] 04:27:32 -!- yacks [~py@103.6.159.99] has quit [Quit: Leaving] 05:42:52 benkard [~benkard@2a01:198:6d5:0:d835:b3b0:6460:1e5d] has joined #sbcl 05:43:26 -!- drmeister [~drmeister@pool-71-185-168-200.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 05:45:44 prxq [~mommer@mnhm-590c3849.pool.mediaWays.net] has joined #sbcl 05:49:24 antoszka [~antoszka@unaffiliated/antoszka] has joined #sbcl 06:31:15 Vivitron [~Vivitron@c-50-172-44-193.hsd1.il.comcast.net] has joined #sbcl 06:53:45 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [Remote host closed the connection] 06:54:32 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 06:58:06 -!- stassats [~stassats@wikipedia/stassats] has quit [Remote host closed the connection] 07:04:37 -!- oleo [~oleo@xdsl-78-35-178-27.netcologne.de] has quit [Ping timeout: 248 seconds] 07:05:55 oleo [~oleo@xdsl-78-35-154-97.netcologne.de] has joined #sbcl 07:08:47 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Ping timeout: 260 seconds] 07:15:57 klltkr [~klltkr@unaffiliated/klltkr] has joined #sbcl 07:24:41 -!- specbot [~specbot@common-lisp.net] has quit [Disconnected by services] 07:24:44 specbot [~specbot@common-lisp.net] has joined #sbcl 07:30:46 stassats [~stassats@wikipedia/stassats] has joined #sbcl 07:35:52 -!- Vivitron [~Vivitron@c-50-172-44-193.hsd1.il.comcast.net] has quit [Ping timeout: 264 seconds] 07:49:23 -!- klltkr [~klltkr@unaffiliated/klltkr] has quit [Ping timeout: 260 seconds] 08:34:57 -!- edgar-rft [~GOD@HSI-KBW-078-043-120-047.hsi4.kabel-badenwuerttemberg.de] has quit [Ping timeout: 276 seconds] 08:55:18 yacks [~py@103.6.159.99] has joined #sbcl 09:04:26 -!- benkard [~benkard@2a01:198:6d5:0:d835:b3b0:6460:1e5d] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz] 09:26:57 -!- andreh [~andreh@186.214.154.23] has quit [Ping timeout: 276 seconds] 09:33:25 -!- kludge` [~comet@unaffiliated/espiral] has quit [Ping timeout: 246 seconds] 09:37:01 kludge` [~comet@unaffiliated/espiral] has joined #sbcl 10:06:50 -!- echo-area [~user@182.92.247.2] has quit [Remote host closed the connection] 10:20:51 pillton [~user@124-171-213-21.dyn.iinet.net.au] has joined #sbcl 10:39:45 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 276 seconds] 11:28:45 -!- pillton [~user@124-171-213-21.dyn.iinet.net.au] has quit [Remote host closed the connection] 11:42:44 -!- foom [~jknight@2620:15c:6:14:be30:5bff:fedf:6db6] has quit [Ping timeout: 244 seconds] 11:43:09 foom [~jknight@2620:15c:6:14:be30:5bff:fedf:6db6] has joined #sbcl 11:44:38 ASau` [~user@p4FF97D54.dip0.t-ipconnect.de] has joined #sbcl 11:47:29 -!- ASau [~user@p4FF971EB.dip0.t-ipconnect.de] has quit [Read error: Operation timed out] 11:48:26 drmeister [~drmeister@pool-71-185-168-200.phlapa.fios.verizon.net] has joined #sbcl 11:49:14 oleo_ [5098faa7@gateway/web/freenode/ip.80.152.250.167] has joined #sbcl 12:06:48 -!- drmeister [~drmeister@pool-71-185-168-200.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 12:17:45 -!- yacks [~py@103.6.159.99] has quit [Quit: Leaving] 12:21:35 -!- minion [~minion@common-lisp.net] has quit [Write error: Broken pipe] 12:21:36 minion [~minion@common-lisp.net] has joined #sbcl 12:40:32 pegu [~user@c7F7CBF51.dhcp.as2116.net] has joined #sbcl 12:56:17 -!- oleo_ [5098faa7@gateway/web/freenode/ip.80.152.250.167] has quit [] 13:11:18 teggi [~teggi@113.173.4.29] has joined #sbcl 13:19:14 segv- [~mb@95-91-242-105-dynip.superkabel.de] has joined #sbcl 13:29:02 drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has joined #sbcl 13:36:15 -!- drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has quit [Ping timeout: 245 seconds] 13:38:00 benkard [~benkard@2a01:198:6d5:0:a1aa:b1d:5219:b940] has joined #sbcl 13:39:07 drmeister [~drmeister@166.147.109.21] has joined #sbcl 13:43:17 -!- benkard [~benkard@2a01:198:6d5:0:a1aa:b1d:5219:b940] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz] 13:49:26 yacks [~py@103.6.159.99] has joined #sbcl 13:50:37 -!- yacks [~py@103.6.159.99] has quit [Remote host closed the connection] 13:51:40 yacks [~py@103.6.159.99] has joined #sbcl 13:51:49 -!- drmeister [~drmeister@166.147.109.21] has quit [Remote host closed the connection] 13:55:37 drmeister [~drmeister@farnsworth.chem.temple.edu] has joined #sbcl 14:12:45 -!- drmeister [~drmeister@farnsworth.chem.temple.edu] has quit [Remote host closed the connection] 14:13:55 drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has joined #sbcl 14:24:04 -!- drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has quit [Remote host closed the connection] 15:33:31 rpg [~rpg@23-25-144-217-static.hfc.comcastbusiness.net] has joined #sbcl 15:54:53 stassats [~stassats@wikipedia/stassats] has joined #sbcl 15:54:59 sdemarre [~serge@112.182-64-87.adsl-dyn.isp.belgacom.be] has joined #sbcl 15:59:54 -!- sdemarre [~serge@112.182-64-87.adsl-dyn.isp.belgacom.be] has quit [Ping timeout: 264 seconds] 16:01:49 andreh [~andreh@186.214.154.23] has joined #sbcl 16:16:34 eeezkil [~eeezkil@unaffiliated/eeezkil] has joined #sbcl 16:20:26 drmeiste_ [~drmeister@farnsworth.chem.temple.edu] has joined #sbcl 16:25:04 -!- ASau` is now known as ASau 16:33:21 -!- yacks [~py@103.6.159.99] has quit [Quit: Leaving] 16:36:43 -!- teggi [~teggi@113.173.4.29] has quit [Remote host closed the connection] 17:05:26 -!- Bike [~Glossina@wl-nat100.it.wsu.edu] has quit [Ping timeout: 256 seconds] 17:06:54 slyrus [~chatzilla@107.201.4.22] has joined #sbcl 17:08:59 -!- slyrus [~chatzilla@107.201.4.22] has quit [Remote host closed the connection] 17:09:39 Bike [~Glossina@wl-nat115.it.wsu.edu] has joined #sbcl 17:24:20 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #sbcl 17:39:27 Vivitron [~Vivitron@c-50-172-44-193.hsd1.il.comcast.net] has joined #sbcl 17:48:30 -!- Vivitron [~Vivitron@c-50-172-44-193.hsd1.il.comcast.net] has quit [Quit: trivial-irc-0.0.4] 17:49:17 Vivitron [~Vivitron@50.172.44.193] has joined #sbcl 18:04:32 -!- Bike [~Glossina@wl-nat115.it.wsu.edu] has quit [Ping timeout: 240 seconds] 18:22:31 yacks [~py@103.6.159.99] has joined #sbcl 18:26:49 Bike [~Glossina@wl-nat115.it.wsu.edu] has joined #sbcl 18:38:56 -!- yacks [~py@103.6.159.99] has quit [Read error: Operation timed out] 18:45:34 benkard [~benkard@2a01:198:6d5:0:f81b:3f01:589f:8c2e] has joined #sbcl 19:02:00 -!- Bike [~Glossina@wl-nat115.it.wsu.edu] has quit [Ping timeout: 256 seconds] 19:17:20 Bike [~Glossina@wl-nat115.it.wsu.edu] has joined #sbcl 19:26:19 l_ [~l@84.233.246.170] has joined #sbcl 19:27:03 -!- l_ [~l@84.233.246.170] has left #sbcl 19:39:09 pnpuff [~l@unaffiliated/pnpuff] has joined #sbcl 19:39:52 -!- benkard [~benkard@2a01:198:6d5:0:f81b:3f01:589f:8c2e] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz] 19:40:10 -!- pnpuff [~l@unaffiliated/pnpuff] has left #sbcl 19:49:32 klltkr [~klltkr@unaffiliated/klltkr] has joined #sbcl 19:50:54 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Remote host closed the connection] 19:51:07 benkard [~benkard@2a01:198:6d5:0:c4ff:a360:35da:cfa9] has joined #sbcl 19:56:15 -!- Bike [~Glossina@wl-nat115.it.wsu.edu] has quit [Ping timeout: 245 seconds] 19:57:00 -!- benkard [~benkard@2a01:198:6d5:0:c4ff:a360:35da:cfa9] has quit [Quit: Textual IRC Client: www.textualapp.com] 20:01:18 -!- oleo [~oleo@xdsl-78-35-154-97.netcologne.de] has quit [Ping timeout: 264 seconds] 20:18:36 Bike [~Glossina@wl-nat99.it.wsu.edu] has joined #sbcl 20:31:15 -!- Bike [~Glossina@wl-nat99.it.wsu.edu] has quit [Ping timeout: 245 seconds] 20:40:03 sdemarre [~serge@112.182-64-87.adsl-dyn.isp.belgacom.be] has joined #sbcl 20:42:26 Bike [~Glossina@wl-nat100.it.wsu.edu] has joined #sbcl 21:05:51 -!- sdemarre [~serge@112.182-64-87.adsl-dyn.isp.belgacom.be] has quit [Ping timeout: 260 seconds] 21:14:43 -!- klltkr [~klltkr@unaffiliated/klltkr] has quit [Ping timeout: 260 seconds] 21:20:16 -!- drmeiste_ [~drmeister@farnsworth.chem.temple.edu] has quit [Remote host closed the connection] 21:29:39 drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has joined #sbcl 21:34:26 -!- drmeister [~drmeister@wirelessNAT188.wireless.temple.edu] has quit [Ping timeout: 256 seconds] 21:51:29 klltkr [~klltkr@unaffiliated/klltkr] has joined #sbcl 21:55:06 -!- eeezkil [~eeezkil@unaffiliated/eeezkil] has quit [Quit: ^D] 21:59:28 -!- Bike [~Glossina@wl-nat100.it.wsu.edu] has quit [Ping timeout: 268 seconds] 22:02:01 francogrex [~user@109.133.132.91] has joined #sbcl 22:02:47 in sbcl there are SB-C::*backend-meta-primitive-type-names* but to what category belongs for example "tagged-num" ? 22:03:00 it's an alias 22:04:54 Bike [~Glossina@wl-nat99.it.wsu.edu] has joined #sbcl 22:05:07 francogr` [~user@109.133.132.91] has joined #sbcl 22:05:20 sorry I got disconnected 22:05:32 minion: please tell francogr` about logs 22:05:32 francogr`: please see logs: #lisp logs are available at http://ccl.clozure.com/irc-logs/lisp/ (since 2008-09) and http://tunes.org/~nef/logs/lisp/ (since 2000) 22:05:56 -!- francogrex [~user@109.133.132.91] has quit [Disconnected by services] 22:06:06 -!- francogr` is now known as francogrex 22:07:14 these for #lisp 22:07:55 -!- klltkr [~klltkr@unaffiliated/klltkr] has quit [Ping timeout: 260 seconds] 22:07:55 and replacing "lisp" with "sbcl" is unimaginable 22:11:11 stassats: aside from sarcasm, I thought you have answered something while I was disconnected 22:11:22 i did 22:12:07 http://ccl.clozure.com/irc-logs/sbcl/2013-09/sbcl-2013.09.04.txt probably but it did't log 22:12:38 it says "it's an alias". 22:12:55 it's right there in the log 22:14:27 that I got before disconnected. The question that didn't go through was: is tagged-num equivalent to primitive fixnum ? 22:14:28 -!- andreh [~andreh@186.214.154.23] has quit [Ping timeout: 260 seconds] 22:14:54 no 22:16:05 ok do you know in which file can we find an "equivalence" for these aliases? 22:16:19 you can start with grep "alias" 22:18:50 grep tagged-num is better probably 22:20:59 (primitive-type-name (primitive-type (specifier-type 'fixnum))) is useful but only from lisp types to the primitive types 22:21:23 what are you trying to do? 22:21:42 -!- fikusz [~fikusz@catv-89-132-137-62.catv.broadband.hu] has quit [Quit: Leaving] 22:21:59 fikusz [~fikusz@catv-89-132-137-62.catv.broadband.hu] has joined #sbcl 22:22:44 to understand why http://g000001.cddddr.org/2011-12-08 has used a fixnum type in defknown and a tagged-num in its equivalent vop 22:24:21 because fixnums can be loaded into either positive-fixnum or fixnum 22:31:07 ok but tagged-num then cannot be used interchangeably with neither positive-fixnum nor fixnum; it appears that at least in this case the :arg and :result type must be strictly specified as tagged-num 22:32:24 in any case his (fact-loop-vop 30) results in 0 on my PC, (fact-loop-vop 10) works fine 22:32:43 what do you mean, used interchangeably? tagged-num is not equivalent to just positive-fixnum, or fixnum primitive types 22:32:53 it's a union type 22:34:24 factorial of 30 is 265252859812191058636308480000000 22:34:28 which is hardly a fixnum 22:36:50 and this guide you pasted is bogus, it manually untags fixnums, and by a hard-coded number of tag-bits 22:37:43 and his (fact-loop 30) is 458793068007522304 ! 22:39:02 I was referred to it by Rainer as an example in reply to this: http://stackoverflow.com/questions/18600170/poke-opcodes-into-memory 22:40:35 fisxoj [~fisxoj@192-0-131-151.cpe.teksavvy.com] has joined #sbcl 22:43:08 -!- rpg [~rpg@23-25-144-217-static.hfc.comcastbusiness.net] has quit [Quit: rpg] 22:45:38 looking at the dissasemble output will teach you bad things 22:45:47 look at how sbcl vops are implemented 22:46:09 and don't read random things on the internet 22:49:58 -!- segv- [~mb@95-91-242-105-dynip.superkabel.de] has quit [Remote host closed the connection] 22:51:44 ok. it was not really random it was a referral 22:51:56 doesn't make it any better 22:52:28 not in this case apparently 23:04:23 -!- Bike [~Glossina@wl-nat99.it.wsu.edu] has quit [Ping timeout: 260 seconds] 23:16:45 Bike [~Glossina@wl-nat99.it.wsu.edu] has joined #sbcl 23:16:56 -!- francogrex [~user@109.133.132.91] has quit [Remote host closed the connection] 23:18:54 -!- Vivitron [~Vivitron@50.172.44.193] has quit [Quit: trivial-irc-0.0.4] 23:26:04 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 256 seconds] 23:46:31 -!- Bike [~Glossina@wl-nat99.it.wsu.edu] has quit [Read error: Connection reset by peer] 23:46:40 Bike [~Glossina@wl-nat99.it.wsu.edu] has joined #sbcl