Wolfgang
You need to say that type "t", the case scrutinee, has. You can use a type
signature for that.
Presumably the way that a' is instantiated doesn't matter, but GHC isn't clever
enough to realise that. So I just instantiated it to ().
The result compiles fine.
Simon
{-# LANGUAGE Rank
| >> You should be giving a type signature to rewrap! That should fix it.
| >
| > Thanks, all works fine now :-)
|
| it would be great if the error message suggested giving a type signature
| as a solution (or maybe it already does, in the HEAD?)
Good point: I'll do that.
Simon
| >> | -Ori
Neil Mitchell wrote:
Hi Simon,
You should be giving a type signature to rewrap! That should fix it.
Thanks, all works fine now :-)
it would be great if the error message suggested giving a type signature
as a solution (or maybe it already does, in the HEAD?)
Isaac
Neil
| -Origi
Hi Simon,
> You should be giving a type signature to rewrap! That should fix it.
Thanks, all works fine now :-)
Neil
>
> | -Original Message-
> | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of
> | Neil Mitchell
> | Sent: 17 December 2007 16:23
> | To: glasgow-haskell-us
You should be giving a type signature to rewrap! That should fix it.
Simon
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of
| Neil Mitchell
| Sent: 17 December 2007 16:23
| To: glasgow-haskell-users@haskell.org
| Subject: GADT pattern match in non-rig
