Re: [Chicken-hackers] -block not properly mixing with -strict-types

[Felix]

From: Jörg F. Wittenberger <address@hidden>
Subject: [Chicken-hackers] -block not properly mixing with -strict-types
Date: 10 Apr 2013 19:40:32 +0200

> Hi,
> 
> I just noticed, that I can't mix -block with -strict-types.
> 
> That is, when I -emit-type-file, the resulting file contains
> the type definitions ONLY if -block is NOT given.  With -block
> it's empty (except for comments),
> 
> Thus I can either get warnings for call sites violating the
> required types OR apply -block.
> 
> I don't thing this is how it should be, is it?

Well, actually it is. -emit-type-file emits types for all exported
toplevel variables. But -block effectively hides all toplevel
bindings, so no variables get exported. Block mode "seals" the
compilation unit, nothing inside it is visible from the outside.

-strict-types will work with -block, but -emit-type-file will not.
We should probably document this properly to make it more obvious.


cheers,
felix