Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Repository
ghc
compiler
typecheck
TcFlatten.hs
Find file
Blame
History
Permalink
Remove redundant kind check
· 4431e48e
Simon Peyton Jones
authored
Nov 24, 2016
The invariants for CTyEqCan mean that this check isn't needed. Turn it into an ASSERT.
4431e48e