Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Repository
ghc
compiler
typecheck
TcMType.lhs
Find file
Blame
History
Permalink
When zonking, get rid of empty implications
· 28c14617
Simon Peyton Jones
authored
Apr 06, 2013
Zonking can make implications empty becuase it gets rid of type-function flattening equalities
28c14617