[Haskell-cafe] Confused about type seen in the wild

[Felipe Lessa]

Em 10-04-2014 14:45, Brandon Allbery escreveu:
> It "should be" but I suspect actually treating it as one is rather
> difficult now that it's possible for `a` there to be a Constraint or
> etc., in which case it is on the correct side of the =>.

What you're saying is that it would be difficult to ban this on the
parser level.  However, somewhere inside GHC this `a` that was used as a
constraint got promoted to being an argument.  This is where it should
have been stopped on its track.

Or am I missing something? =)

-- 
Felipe.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 901 bytes
Desc: OpenPGP digital signature
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140410/b03e49c3/attachment.sig>