Skip to content
Snippets Groups Projects
Forked from Glasgow Haskell Compiler / GHC
7588 commits behind the upstream repository.
Krzysztof Gogolewski's avatar
Krzysztof Gogolewski authored
unify_ty was incorrectly saying that F x y ~ T x are surely apart,
where F x y is an oversaturated type family and T x is a tyconapp.
As a result, the simplifier dropped a live case alternative (#23134).
7c16f3be
History
Code owners
Assign users and groups as approvers for specific file changes. Learn more.