Re: [Chicken-users] permissive checking of sum types

[Peter Bex]

On Sun, Dec 03, 2017 at 06:46:14AM -0500, David Goffredo wrote:
> So my question is why the compiler doesn't warn on:
> 
>     (printed foo)
> 
> when it can be determined statically that the argument has (rather -- is
> declared to have) an incompatible type. Maybe the types will be compatible
> at runtime and maybe not, but as declared they are incompatible, in my
> opinion.

Hi David,

I understand what you mean now, but I don't know the answer to that.
For this, I'll have to defer to someone who really knows about this
stuff, as this goes beyond my simplistic understanding of types.

Cheers,
Peter

signature.asc
Description: PGP signature