[Git][ghc/ghc][wip/cfuneqcan-refactor] 14 commits: Note [Type variable cycles in Givens]

[Richard Eisenberg]

Richard Eisenberg pushed to branch wip/cfuneqcan-refactor at Glasgow Haskell Compiler / GHC


Commits:
1b043c88 by Richard Eisenberg at 2020-10-27T15:06:37-04:00
Note [Type variable cycles in Givens]

- - - - -
49c1ad28 by Richard Eisenberg at 2020-10-27T15:06:48-04:00
Handle obscure corner case in canonicalize

- - - - -
ef664084 by Richard Eisenberg at 2020-10-27T15:06:48-04:00
Handle (=>) specially in pure unifier

- - - - -
15cb78fe by Richard Eisenberg at 2020-10-27T15:06:48-04:00
Start deleting stuff. Hooray!

- - - - -
8bb11f44 by Richard Eisenberg at 2020-10-27T15:07:30-04:00
Fix test output

- - - - -
f3ac0a75 by Richard Eisenberg at 2020-10-27T15:07:35-04:00
Delete delete delete !!

- - - - -
79dbf2c8 by Richard Eisenberg at 2020-10-27T15:07:36-04:00
More deleting. Checkpoint before removing FlattenMode

- - - - -
008eede8 by Richard Eisenberg at 2020-10-27T15:07:36-04:00
Remove FlattenMode

- - - - -
56950a02 by Richard Eisenberg at 2020-10-27T15:07:36-04:00
Stopped bumping ctLocDepth in runFlatten

- - - - -
d9a026e4 by Richard Eisenberg at 2020-10-27T15:07:36-04:00
Finished deleting.

- - - - -
7555fffc by Richard Eisenberg at 2020-10-27T15:07:36-04:00
A few error message wibbles

- - - - -
c4836b65 by Richard Eisenberg at 2020-10-27T15:08:12-04:00
Some small changes, mostly comments.

- - - - -
de2b37ef by Richard Eisenberg at 2020-10-27T15:08:12-04:00
Fix #18875 by breaking type variable cycles.

- - - - -
e9d981ec by Richard Eisenberg at 2020-10-27T15:09:07-04:00
Actually add test files

- - - - -


30 changed files:

- compiler/GHC/Core/Coercion.hs
- compiler/GHC/Core/TyCo/Rep.hs
- compiler/GHC/Core/Type.hs
- compiler/GHC/Core/Unify.hs
- compiler/GHC/Tc/Gen/Bind.hs
- compiler/GHC/Tc/Plugin.hs
- compiler/GHC/Tc/Solver/Canonical.hs
- compiler/GHC/Tc/Solver/Flatten.hs
- compiler/GHC/Tc/Solver/Interact.hs
- compiler/GHC/Tc/Solver/Monad.hs
- compiler/GHC/Tc/Types/Constraint.hs
- compiler/GHC/Tc/Utils/TcMType.hs
- compiler/GHC/Tc/Utils/TcType.hs
- compiler/GHC/Tc/Utils/Unify.hs
- testsuite/tests/gadt/T3169.stderr
- testsuite/tests/gadt/T7293.stderr
- testsuite/tests/gadt/T7294.stderr
- + testsuite/tests/indexed-types/should_compile/GivenLoop.hs
- testsuite/tests/indexed-types/should_compile/Simple13.hs
- + testsuite/tests/indexed-types/should_compile/T18875.hs
- testsuite/tests/indexed-types/should_compile/all.T
- + testsuite/tests/indexed-types/should_fail/Simple13.stderr
- testsuite/tests/indexed-types/should_fail/T13784.stderr
- testsuite/tests/indexed-types/should_fail/T2627b.stderr
- testsuite/tests/indexed-types/should_fail/T4179.stderr
- testsuite/tests/indexed-types/should_fail/T5439.stderr
- testsuite/tests/indexed-types/should_fail/T8227.stderr
- testsuite/tests/partial-sigs/should_compile/T12844.stderr
- testsuite/tests/partial-sigs/should_compile/T14715.stderr
- testsuite/tests/polykinds/T14172.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/3cf175e03363960bc603572eaaffbf13c559f0c5...e9d981ec57cb894bba78e2d761e35e6730b89e30

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/3cf175e03363960bc603572eaaffbf13c559f0c5...e9d981ec57cb894bba78e2d761e35e6730b89e30
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20201027/ae7f1107/attachment-0001.html>