[Haskell-cafe] Confused about type seen in the wild
felipe.lessa at gmail.com
Thu Apr 10 17:59:45 UTC 2014
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? =)
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 901 bytes
Desc: OpenPGP digital signature
More information about the Haskell-Cafe