Re: [Chicken-hackers] testcase -strict-types

[Peter Bex]

On Sun, Mar 31, 2013 at 12:36:56AM +0100, Felix wrote:
> Strict-types means you declare that variables never change their type,
> once a type has been inferred (or explicitly declared). There are a
> few places in the scrutinizer where it can make stronger assumptions
> about variable types during flow-analysis, which leads to potentially
> much better code. In fact, the improvements where the reason that the
> option is there in the first place - it was just a straightforward
> thing to do. For normal Scheme code these stronger assumptions are
> often not valid. But if you use Scheme as a target language for other
> languages (compiler-generated or by using macros extensively), it may
> be possible to generate code that will still be valid in strict-types
> mode. 
> 
> If you think this isn't worth the trouble of users getting confused,
> we can remove the option and declaration (or simply undocument it).

I think this is an interesting "target mode", and might be useful in
some cases.  It's a little hard to pinpoint exactly when it will be
useful, though.  Perhaps a simple note in the manual as to the expected
use cases might be enough?

Cheers,
Peter
-- 
http://www.more-magic.net