-
Simon Peyton Jones authored
------------------------------ Fix a scoped-type-variable bug ------------------------------ MERGE WITH STABLE BRANCH The bug caused an incorrect failure when the same type variable was used more than once in a collection of patterns: f (x :: t) (y :: t) = e On the way, I eliminated bindNakedTyVarsFVRn, which was only called once.
2c250999