ucsd-progsys/liquidhaskell — pull request #61 by gridaphobe (2013-04-24 06:17:25+00:00)
Title: make sure liquid and haskell types have equal number of tyvars before rename

We were previously using GHC's list of tyvars to reconstruct the type in `renameTyVars`, even when GHC had a different number of tyvars. This caused weird types in our error messages, like `forall a a. Int -> Int`.

fixes #60