Forked from
Glasgow Haskell Compiler / GHC
5917 commits behind, 1 commit ahead of the upstream repository.
Oleg Grenrus
authored
Resolves #24190 Apparently the check was essentially always (as far as I can trace back: d0d47ba7), and while it does catch some mismatches, the type-checker will catch them too. OTOH, it prevents writing completely reasonable programs.