00:16:17 -!- ASau`` is now known as ASau 00:25:25 -!- nyef [~nyef@173-162-147-14-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 276 seconds] 01:47:10 slyrus [~chatzilla@adsl-75-18-202-173.dsl.pltn13.sbcglobal.net] has joined #sbcl 02:08:28 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [Quit: rpg] 02:35:01 -!- saschakb [~saschakb@p4FEA0A4F.dip0.t-ipconnect.de] has quit [Quit: Verlassend] 02:47:40 -!- slyrus [~chatzilla@adsl-75-18-202-173.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 240 seconds] 03:56:10 -!- homie``` [~levgue@xdsl-78-35-149-78.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 04:29:37 Cryotank2011 [~Cryotank2@c-24-17-62-152.hsd1.wa.comcast.net] has joined #sbcl 04:59:28 tsuru` [~charlie@adsl-74-179-30-124.bna.bellsouth.net] has joined #sbcl 05:46:49 chp [~user@dyn-carl-202-135.dyn.columbia.edu] has joined #sbcl 05:52:22 -!- chp [~user@dyn-carl-202-135.dyn.columbia.edu] has quit [Remote host closed the connection] 06:01:07 -!- akovalenko [~akovalenk@95.73.104.112] has quit [Ping timeout: 240 seconds] 06:08:55 akovalenko [~akovalenk@95.73.122.43] has joined #sbcl 06:19:01 slyrus [~chatzilla@adsl-99-49-14-228.dsl.pltn13.sbcglobal.net] has joined #sbcl 06:49:08 angavrilov [~angavrilo@217.71.227.181] has joined #sbcl 07:17:16 -!- hlavaty [~user@91-65-217-112-dynip.superkabel.de] has quit [Ping timeout: 240 seconds] 07:45:47 -!- Cryotank2011 [~Cryotank2@c-24-17-62-152.hsd1.wa.comcast.net] has quit [Quit: Cryotank2011] 08:01:22 pon1980 [~pon@195-67-88-105.customer.telia.com] has joined #sbcl 08:36:52 Blkt [~user@89-96-199-46.ip13.fastwebnet.it] has joined #sbcl 09:37:39 -!- flip214 [~marek@unaffiliated/flip214] has quit [Remote host closed the connection] 09:37:45 flip214 [~marek@86.59.100.100] has joined #sbcl 09:37:45 -!- flip214 [~marek@86.59.100.100] has quit [Changing host] 09:37:45 flip214 [~marek@unaffiliated/flip214] has joined #sbcl 09:53:38 good morning everyonbe 10:53:24 hlavaty [~user@91-65-217-112-dynip.superkabel.de] has joined #sbcl 11:03:40 tcr1 [~tcr@178-83-229-138.dynamic.hispeed.ch] has joined #sbcl 12:21:36 nyef [~nyef@64.134.64.89] has joined #sbcl 12:29:02 -!- nyef [~nyef@64.134.64.89] has quit [Ping timeout: 268 seconds] 12:33:54 -!- DGASAU` is now known as DGASAU 12:40:34 -!- ASau [~user@95-26-89-189.broadband.corbina.ru] has quit [Ping timeout: 276 seconds] 12:54:37 -!- tcr1 is now known as tcr 13:21:17 nyef [~nyef@c-174-63-105-188.hsd1.ma.comcast.net] has joined #sbcl 13:26:16 scymtym [~user@2001:638:504:2093:21a:a0ff:fe34:2d7d] has joined #sbcl 13:42:58 G'morning all. 14:08:43 saschakb [~saschakb@p4FEA07D2.dip0.t-ipconnect.de] has joined #sbcl 14:15:30 -!- tcr [~tcr@178-83-229-138.dynamic.hispeed.ch] has quit [Quit: Leaving.] 14:20:45 leuler [~user@p54904E4F.dip.t-dialin.net] has joined #sbcl 14:41:16 kwmiebach_ [kwmiebach@31-222-138-133.static.cloud-ips.co.uk] has joined #sbcl 14:43:26 leuler` [~user@p54904E4F.dip.t-dialin.net] has joined #sbcl 14:43:51 -!- leuler` [~user@p54904E4F.dip.t-dialin.net] has quit [Client Quit] 14:44:53 -!- hlavaty [~user@91-65-217-112-dynip.superkabel.de] has quit [Read error: Connection reset by peer] 14:45:05 hlavaty [~user@91-65-217-112-dynip.superkabel.de] has joined #sbcl 14:46:04 -!- leuler [~user@p54904E4F.dip.t-dialin.net] has quit [Quit: ERC Version 5.1.2 $Revision: 1.796.2.6 $ (IRC client for Emacs)] 14:49:39 LiamH [~none@pdp8.nrl.navy.mil] has joined #sbcl 14:49:56 Quadresce_ [~quad@unaffiliated/quadrescence] has joined #sbcl 14:50:07 -!- kwmiebach [kwmiebach@31-222-138-133.static.cloud-ips.co.uk] has quit [*.net *.split] 14:50:07 -!- deepfire [~deepfire@80.92.100.69] has quit [*.net *.split] 14:50:07 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [*.net *.split] 14:50:08 -!- Blkt [~user@89-96-199-46.ip13.fastwebnet.it] has quit [*.net *.split] 14:50:08 -!- drdo [~drdo@drdo.eu] has quit [*.net *.split] 14:50:09 -!- antifuchs [~foobar@care.boinkor.net] has quit [*.net *.split] 14:50:51 Blkt [~user@89-96-199-46.ip13.fastwebnet.it] has joined #sbcl 14:50:51 drdo [~drdo@drdo.eu] has joined #sbcl 14:50:51 antifuchs [~foobar@care.boinkor.net] has joined #sbcl 15:13:01 Neronus [~christian@heraklit.ayous.org] has joined #sbcl 16:23:22 -!- pon1980 [~pon@195-67-88-105.customer.telia.com] has left #sbcl 16:38:42 deepfire [~deepfire@80.92.100.69] has joined #sbcl 17:47:31 -!- antgreen [~user@70.50.66.140] has quit [Remote host closed the connection] 17:50:01 -!- Blkt [~user@89-96-199-46.ip13.fastwebnet.it] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 18:09:01 antgreen [~user@70.50.66.140] has joined #sbcl 18:19:16 -!- saschakb [~saschakb@p4FEA07D2.dip0.t-ipconnect.de] has quit [Ping timeout: 255 seconds] 18:20:03 saschakb [~saschakb@p4FEA11EF.dip0.t-ipconnect.de] has joined #sbcl 18:22:43 rpg [~rpg@mpls.sift.info] has joined #sbcl 18:29:38 -!- slyrus [~chatzilla@adsl-99-49-14-228.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 240 seconds] 18:31:30 chp [~user@dyn-carl-201-101.dyn.columbia.edu] has joined #sbcl 18:35:45 Qworkescence [~quad@unaffiliated/quadrescence] has joined #sbcl 19:29:13 -!- rpg [~rpg@mpls.sift.info] has quit [Quit: rpg] 19:44:28 Hrm. If I declaim an ftype, then define an incompatible function, I get a style-warning, but if I do things the other way around SBCL doesn't complain? 19:45:15 And does the use of a style-warning imply that the compiler doesn't always use proclaimed function types for optimization? 19:47:40 (I did something simple with mismatched number of arguments, but what about differing return types?) 19:49:23 nyef: I think the style warnings are an artefact of the way we just trust ftypes 19:50:28 I think the bit that's bugging me is the lack of any sort of output if I add the ftype after I define the function. 19:50:37 At least, the bit that's bugging me the most. 19:51:43 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 19:52:15 pchrist [~spirit@gentoo/developer/pchrist] has joined #sbcl 19:53:38 -!- saschakb [~saschakb@p4FEA11EF.dip0.t-ipconnect.de] has quit [Ping timeout: 240 seconds] 19:59:28 -!- angavrilov [~angavrilo@217.71.227.181] has quit [Read error: Operation timed out] 20:00:02 sdemarre [~serge@91.176.173.79] has joined #sbcl 20:03:36 nyef: true. 20:06:01 saschakb [~saschakb@p4FEA1112.dip0.t-ipconnect.de] has joined #sbcl 20:10:34 saschakb_ [~saschakb@p4FEA0586.dip0.t-ipconnect.de] has joined #sbcl 20:11:08 but ftype declarations are for the point of use 20:12:18 Kryztof: sure, but if we have derived that F is (function (...) character), and the declaim is (function (...) integer), there's probably something wrong 20:12:19 ... I'm going to have to add a large pile of implementation-specific cleverness to my macrology in order to get what I want, aren't I? 20:12:22 Oh well. 20:12:27 -!- antgreen [~user@70.50.66.140] has quit [Remote host closed the connection] 20:12:54 that, and we already fail to *exactly* follow the spec re point of use, iirc. 20:13:40 -!- saschakb [~saschakb@p4FEA1112.dip0.t-ipconnect.de] has quit [Ping timeout: 240 seconds] 20:19:23 milanj [~milanj_@93-87-152-91.dynamic.isp.telekom.rs] has joined #sbcl 20:30:01 antgreen [~user@70.50.66.140] has joined #sbcl 20:32:19 -!- chp [~user@dyn-carl-201-101.dyn.columbia.edu] has quit [Remote host closed the connection] 20:35:16 -!- saschakb_ [~saschakb@p4FEA0586.dip0.t-ipconnect.de] has quit [Quit: Verlassend] 20:52:50 ASau [~user@95-26-89-235.broadband.corbina.ru] has joined #sbcl 20:54:45 -!- foom [~jknight@ita4fw1.itasoftware.com] has quit [Ping timeout: 248 seconds] 21:05:18 psilord [~psilord@mpls.sift.info] has joined #sbcl 21:47:35 foom [~jknight@ita4fw1.itasoftware.com] has joined #sbcl 22:33:18 -!- nyef [~nyef@c-174-63-105-188.hsd1.ma.comcast.net] has quit [Quit: G'night all.] 23:01:53 -!- LiamH [~none@pdp8.nrl.navy.mil] has quit [Quit: Leaving.] 23:13:09 -!- psilord [~psilord@mpls.sift.info] has quit [Quit: Leaving.]