Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Repository
ghc
compiler
typecheck
TcInteract.lhs
Find file
Blame
History
Permalink
When floating constraints outwards, promote the floated type variables
· 5b4fef6f
Simon Peyton Jones
authored
Aug 28, 2012
The work is done by the (remarkably simple) TcSimplify.promoteFloatedUnificationVars
5b4fef6f