[Top][All Lists]

[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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]