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.