Forked from
Glasgow Haskell Compiler / GHC
11159 commits behind the upstream repository.
Richard Eisenberg
authored
This has two fixes: 1. Take TyVarTvs into account in matchableGivens. This fixes #19106. 2. Don't allow unifying alpha ~ Maybe alpha. This fixes #19107. This patch also removes a redundant Note and redirects references to a better replacement. Also some refactoring/improvements around the BindFun in the pure unifier, which now can take the RHS type into account. Close #19106. Close #19107. Test case: partial-sigs/should_compile/T19106, typecheck/should_compile/T19107
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| GHC | ||
| cbits | ||
| .hlint.yaml | ||
| GHC.hs | ||
| HsVersions.h | ||
| LICENSE | ||
| Makefile | ||
| Unique.h | ||
| flattening-notes | ||
| ghc.cabal.in | ||
| ghc.mk | ||
| profiling-notes | ||