[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] -block not properly mixing with -strict-types
From: |
Felix |
Subject: |
Re: [Chicken-hackers] -block not properly mixing with -strict-types |
Date: |
Thu, 11 Apr 2013 00:07:12 +0200 (CEST) |
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