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

[Moritz Heidkamp]

Peter Bex <address@hidden> writes:
> As I understand it, strict-types declares variables to never change
> their types.  So once it's looked at the initial declaration of the
> variable, it assigns it a type of null, and then it can never change.
>
>     -strict-types                  assume variable do not change their type
>
> The set! would change the type from NULL to LIST (or maybe PAIR),
> invalidating that assumption.

Ah, very good, that should explain it. I somehow had it remembered as
"assume functions are always called with correctly typed arguments" or
something. Should have RTFM :-)

Thanks!
Moritz