[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Peter Bex
Subject: Re: [Chicken-users] permissive checking of sum types
Date: Sun, 3 Dec 2017 14:22:49 +0100
User-agent: NeoMutt/20170113 (1.7.2)

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.


Attachment: signature.asc
Description: PGP signature

reply via email to

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