On Wed, Aug 22, 2007 at 11:57:39PM +0100, Simon Peyton-Jones wrote:
> The issue is different here. You are *lazily* matching the pattern, so it'd
> be unsound in general to accept this. Same thing if you said
> fstTy ~(a :-> b) = a
> Now in this case the RHS is strict in 'a' so it
alf Of *Conal Elliott
> *Sent:* 22 August 2007 23:34
> *To:* Simon Peyton-Jones
> *Cc:* cvs-ghc@haskell.org
> *Subject:* Re: ghc 6.7 and GADT pattern-matching
>
>
>
> How about this one (relative to same Ty def)?
>
> fstTy :: Ty (a -> b) -> Ty a
> fstTy
ng to do with rigidity. The error message is bad though
S
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Conal Elliott
Sent: 22 August 2007 23:34
To: Simon Peyton-Jones
Cc: cvs-ghc@haskell.org
Subject: Re: ghc 6.7 and GADT pattern-matching
How about this one (relative to same
, the solution is always "add a type signature", though in this
> case you could also escape with "omit a $".
>
>
>
> Simon
>
>
>
> *From:* [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] *On
> Behalf Of *Conal Elliott
> *Sent:* 22 August 2007 06:15
>
ion is always "add a type signature", though in this case
you could also escape with "omit a $".
Simon
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Conal Elliott
Sent: 22 August 2007 06:15
To: cvs-ghc@haskell.org
Subject: ghc 6.7 and GADT pattern-matching
In
No big deal after all. Replacing the ($) uses with regular parenthesized
application allows compilation to go through. - Conal
On 8/21/07, Conal Elliott <[EMAIL PROTECTED]> wrote:
>
> In going from ghc-6.6 to ghc-6.7, I've lost some GADT pattern matching
> that I'd really like to have back. The
In going from ghc-6.6 to ghc-6.7, I've lost some GADT pattern matching that
I'd really like to have back. The message:
c:/conal/Haskell/Eros/src/gadt-example.hs:23:32:
GADT pattern match in non-rigid context for `:*'
Tell GHC HQ if you'd like this to unify the context
In the patt
