10 Apr
2014
10 Apr
'14
1:59 p.m.
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.