-
Simon Peyton Jones authored
Trac #7536 points out that it's possible for the LHS to *look* as if it binds variables, but does not acutally do so type T a = Int type instance F (T a) = a This patch makes it an error.
e89f3bac
Trac #7536 points out that it's possible for the LHS to *look* as if it binds variables, but does not acutally do so type T a = Int type instance F (T a) = a This patch makes it an error.