From: Peter Bex <peter....@xs4all.nl> Subject: Re: [Chicken-hackers] testcase -strict-types Date: Sun, 31 Mar 2013 01:00:01 +0100
> 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? Will do. cheers, felix _______________________________________________ Chicken-hackers mailing list Chicken-hackers@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-hackers