[Git][ghc/ghc][wip/T24868] More substantial wibbles

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T24868 at Glasgow Haskell Compiler / GHC


Commits:
b092070b by Simon Peyton Jones at 2024-06-02T23:08:21+01:00
More substantial wibbles

In particular see tidyType on ForAllTy

Also error recovery for type arguments.

- - - - -


30 changed files:

- compiler/GHC/Core/TyCo/Tidy.hs
- compiler/GHC/Iface/Tidy/StaticPtrTable.hs
- compiler/GHC/Tc/Gen/App.hs
- compiler/GHC/Tc/Gen/Expr.hs
- compiler/GHC/Tc/Gen/Match.hs
- compiler/GHC/Tc/Utils/Monad.hs
- compiler/GHC/Types/Name/Occurrence.hs
- testsuite/tests/dependent/should_compile/T15743e.stderr
- testsuite/tests/dependent/should_fail/T16326_Fail4.stderr
- testsuite/tests/dependent/should_fail/T16326_Fail5.stderr
- testsuite/tests/ghci/scripts/T8959.stdout
- testsuite/tests/indexed-types/should_fail/T13877.stderr
- testsuite/tests/indexed-types/should_fail/T14369.stderr
- testsuite/tests/patsyn/should_fail/T15695.stderr
- testsuite/tests/polykinds/T11520.stderr
- testsuite/tests/polykinds/T14846.stderr
- testsuite/tests/polykinds/T15787.stderr
- testsuite/tests/polykinds/T7278.stderr
- testsuite/tests/rename/should_fail/rnfail055.stderr
- testsuite/tests/rep-poly/RepPolyNPlusK.stderr
- testsuite/tests/th/T21050.stderr
- testsuite/tests/typecheck/no_skolem_info/T13499.stderr
- testsuite/tests/typecheck/no_skolem_info/T20063.stderr
- testsuite/tests/typecheck/should_compile/T9834.stderr
- testsuite/tests/typecheck/should_compile/tc214.stderr
- testsuite/tests/typecheck/should_fail/GivenForallLoop.stderr
- testsuite/tests/typecheck/should_fail/T10709.stderr
- testsuite/tests/typecheck/should_fail/T10709b.stderr
- testsuite/tests/typecheck/should_fail/T13909.stderr
- testsuite/tests/typecheck/should_fail/T16059c.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/b092070b87134f9be65e2ca81216653d7f55c43f

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/b092070b87134f9be65e2ca81216653d7f55c43f
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/20240602/1f405ae2/attachment.html>