Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Repository
ghc
compiler
typecheck
TcHsType.lhs
Find file
Blame
History
Permalink
When quantifying associated types, we may have TyVars involved, not just TcTyVars
· 6464d377
Simon Peyton Jones
authored
Jan 29, 2013
This required a little adjustment in zonkQuantifiedTyVars
6464d377