In a pattern binding, a type sig in the pattern cannot bind a type variable
[ghc-hetmet.git] / compiler / specialise /
drwxr-xr-x   ..
-rw-r--r-- 30644 Rules.lhs
-rw-r--r-- 44352 SpecConstr.lhs
-rw-r--r-- 44695 Specialise.lhs