diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2020-12-10 23:38:46 -0500 |
|---|---|---|
| committer | Richard Eisenberg <rae@richarde.dev> | 2020-12-16 14:47:39 -0500 |
| commit | a65abc31007f57cff07a942eead7684c9eb6b857 (patch) | |
| tree | d7e7257a9e579306ad846d176b66e9a56de64057 /rts | |
| parent | 54b88eacbf9d13f2b1d070932a742ec74419c3f5 (diff) | |
| download | haskell-wip/T19044.tar.gz | |
Fix #19044 by tweaking unification in inst lookupwip/T19044
See Note [Infinitary substitution in lookup] in GHC.Core.InstEnv
and Note [Unification result] in GHC.Core.Unify.
Test case: typecheck/should_compile/T190{44,52}
Close #19044
Close #19052
Diffstat (limited to 'rts')
0 files changed, 0 insertions, 0 deletions