00:21:32 -!- prxq [~mommer@mnhm-5f75dfee.pool.mediaWays.net] has quit [Quit: Leaving] 01:16:12 -!- ASau [~user@95-26-244-67.broadband.corbina.ru] has quit [Ping timeout: 240 seconds] 02:03:09 hargettp [~hargettp@pool-71-174-142-225.bstnma.east.verizon.net] has joined #sbcl 02:59:39 -!- hargettp [~hargettp@pool-71-174-142-225.bstnma.east.verizon.net] has quit [Quit: Linkinus - http://linkinus.com] 06:38:46 drl [~lat@110.139.230.255] has joined #sbcl 08:20:15 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 09:17:00 nikodemus [~nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 09:17:00 -!- ChanServ has set mode +o nikodemus 10:57:25 morning all 10:57:45 hello Xof 12:34:44 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 13:25:26 -!- nikodemus [~nikodemus@cs181063174.pp.htv.fi] has quit [Quit: This computer has gone to sleep] 13:36:07 leuler [~user@p54903340.dip.t-dialin.net] has joined #sbcl 13:36:55 nikodemus [~nikodemus@cs181056239.pp.htv.fi] has joined #sbcl 13:36:56 -!- ChanServ has set mode +o nikodemus 13:44:30 -!- nikodemus [~nikodemus@cs181056239.pp.htv.fi] has quit [Disconnected by services] 13:44:31 nikodemus_ [~nikodemus@cs181056239.pp.htv.fi] has joined #sbcl 13:44:55 nikodemus [~nikodemus@cs181056239.pp.htv.fi] has joined #sbcl 13:44:55 -!- ChanServ has set mode +o nikodemus 14:12:44 antgreen [~user@bas3-toronto06-2925099682.dsl.bell.ca] has joined #sbcl 14:23:05 when *derive-function-types* is t, would it be a good thing to complain when a function's type changes? 14:26:13 I think so 14:31:51 homie [~levgue@xdsl-78-35-164-64.netcologne.de] has joined #sbcl 14:34:28 It would be a good idea to warn in all cases when the ftype changes. Not just in derive-function-types. 14:35:35 wouldn't that be annoying at the REPL? 14:35:49 you don't usually set ftypes at the repl. 14:37:47 SBCL does. 14:39:00 how about a *set-ftypes-at-repl* then ? 14:39:34 Er, not unless derive-function-types is t, no? 14:40:53 foom: *d-f-t* means we don't use the information. 14:43:06 Er okay, so it still sets the ftype, it just won't use it to inform the compilation of other functions? 14:43:30 I guess I didn't realize that's what was happening. 14:44:31 yup. We set the ftype, and another flag to determine whether the type was declaimed or derived. 14:46:54 So which wins, declaimed or derived? I would have figured it would take the intersection of the types in each if *d-f-t*. 14:47:24 last one wins. 14:48:35 Er...but declaim ftype almost always goes before defun, doesn't it? 14:49:43 wait. 14:50:09 If there's an ftype declaim, it stays there and warns on conflicts 15:10:47 warning when function type changes and *d-f-t* is t sounds like a good thing 15:10:50 even in repl 15:11:17 it's /really/ easy to break stuff that way 15:21:32 http://paste.lisp.org/display/124227 ? 15:29:48 i would go for type= 15:30:04 that test is pretty loose 15:32:38 (i've tried to write a "ftype-equal-enough-for-typechecking" a couple of times, but never really felt happy with the restuls 15:33:53 csubtypep on function types is lossy, I suppose? 15:34:12 meh. You turned *d-f-t* on; suffer. 15:36:52 ASau [~user@95-24-215-148.broadband.corbina.ru] has joined #sbcl 15:55:09 loke [~elias@bb115-66-85-121.singnet.com.sg] has joined #sbcl 16:38:57 There. A small donation to SBCL 16:41:33 thank you! 16:45:09 -!- drl [~lat@110.139.230.255] has quit [Ping timeout: 245 seconds] 16:58:52 drl [~lat@110.139.230.255] has joined #sbcl 17:11:36 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Ping timeout: 260 seconds] 17:12:50 antoszka [~antoszka@unaffiliated/antoszka] has joined #sbcl 17:20:35 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Ping timeout: 264 seconds] 17:30:52 antoszka [~antoszka@unaffiliated/antoszka] has joined #sbcl 17:55:56 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Ping timeout: 260 seconds] 17:56:58 antoszka [~antoszka@unaffiliated/antoszka] has joined #sbcl 18:03:47 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Ping timeout: 264 seconds] 18:04:41 antoszka [~antoszka@unaffiliated/antoszka] has joined #sbcl 18:09:07 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Client Quit] 18:11:35 -!- drl [~lat@110.139.230.255] has quit [Ping timeout: 264 seconds] 18:13:26 antoszka [~antoszka@unaffiliated/antoszka] has joined #sbcl 18:17:33 -!- nikodemus [~nikodemus@cs181056239.pp.htv.fi] has quit [Quit: Leaving] 18:19:45 -!- nikodemus_ [~nikodemus@cs181056239.pp.htv.fi] has quit [Ping timeout: 258 seconds] 18:23:11 drl [~lat@110.139.230.255] has joined #sbcl 18:50:59 -!- drl [~lat@110.139.230.255] has quit [Ping timeout: 245 seconds] 19:03:19 drl [~lat@110.139.230.255] has joined #sbcl 19:49:15 attila_lendvai [~attila_le@catv-80-98-25-142.catv.broadband.hu] has joined #sbcl 19:49:15 -!- attila_lendvai [~attila_le@catv-80-98-25-142.catv.broadband.hu] has quit [Changing host] 19:49:15 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 19:58:59 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 264 seconds] 20:03:14 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 20:55:49 Krystof [~user@csrhodes.plus.com] has joined #sbcl 20:55:49 -!- ChanServ has set mode +o Krystof 20:57:08 -!- Kryztof [~user@csrhodes.plus.com] has quit [Ping timeout: 268 seconds] 21:38:17 homie` [~levgue@xdsl-78-35-162-2.netcologne.de] has joined #sbcl 21:40:59 -!- homie [~levgue@xdsl-78-35-164-64.netcologne.de] has quit [Ping timeout: 264 seconds] 21:51:46 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 22:30:35 -!- DGASAU [~user@91.218.144.129] has quit [Excess Flood] 22:41:35 -!- mtd [~martin@chop.xades.com] has quit [Ping timeout: 252 seconds] 22:54:35 -!- leuler [~user@p54903340.dip.t-dialin.net] has quit [Quit: ERC Version 5.1.2 $Revision: 1.796.2.6 $ (IRC client for Emacs)] 23:11:38 hargettp [~hargettp@pool-71-174-142-225.bstnma.east.verizon.net] has joined #sbcl 23:57:12 -!- antgreen [~user@bas3-toronto06-2925099682.dsl.bell.ca] has quit [Remote host closed the connection]