Skip to content
GitLab
Explore
Sign in
Register
Alex D
GHC
Repository
ghc
compiler
typecheck
TcMType.lhs
Find file
Blame
History
Permalink
Remember to zonk the skolems of an implication
· c32bb5d0
Simon Peyton Jones
authored
Sep 09, 2012
Their kinds may contain kind unification variables! This patch fixes Trac #7230.
c32bb5d0