[Git][ghc/ghc][wip/T17775] A lot more wibbles

[Simon Peyton Jones]

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


Commits:
0d52887d by Simon Peyton Jones at 2020-04-13T11:09:39+01:00
A lot more wibbles

* Made String wired-in, so that
    "foo" :: String   rather than
    "foo" :: [Char]

* isTauTy: account for =>

* Bring dicts into scope when desugaring HsWrappers:
  addTyCsDs and hsWrapDictBinders

* Improve reporting for occurs checks where
  skolems are involved e.g. 10715b, mc19, tcfail193, T13674,
    T4272, T3169, T7758, 7148
  Payload is in the first case of mkTyVarEqErr

* solveLocalEqualitesX: fail faster.
    we want to fail fast in T11142
  Another example: T15629
  And keep all equalities in dropMisleading.  This gives better
  reporting in T12593 for example.

* Move checkDataKindSig after the solveEqualities and zonk,
  obviously!

* Move ic_telescope into ForAllSkol; a nice win.

* Pretty-printing AbsBinds

We are now very close to green

- - - - -


30 changed files:

- compiler/GHC/Core/Type.hs
- compiler/GHC/Hs/Binds.hs
- compiler/GHC/Hs/Types.hs
- compiler/GHC/HsToCore/Binds.hs
- compiler/GHC/HsToCore/Expr.hs
- compiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Gen/Bind.hs
- compiler/GHC/Tc/Gen/Expr.hs
- compiler/GHC/Tc/Gen/HsType.hs
- compiler/GHC/Tc/Gen/Match.hs
- compiler/GHC/Tc/Solver.hs
- compiler/GHC/Tc/TyCl.hs
- compiler/GHC/Tc/TyCl/Instance.hs
- compiler/GHC/Tc/Types/Constraint.hs
- compiler/GHC/Tc/Types/Evidence.hs
- compiler/GHC/Tc/Types/Origin.hs
- compiler/GHC/Tc/Utils/Monad.hs
- compiler/GHC/Tc/Utils/Unify.hs
- compiler/prelude/PrelNames.hs
- compiler/prelude/TysWiredIn.hs
- ghc/GHCi/UI.hs
- libraries/base/tests/T9681.stderr
- testsuite/tests/ado/ado002.stderr
- testsuite/tests/ado/ado004.stderr
- testsuite/tests/annotations/should_fail/annfail06.hs
- testsuite/tests/deSugar/should_compile/T10662.stderr
- + testsuite/tests/dependent/should_compile/T15076c.stderr
- testsuite/tests/dependent/should_compile/all.T
- testsuite/tests/dependent/should_compile/dynamic-paper.stderr
- testsuite/tests/dependent/should_fail/BadTelescope5.stderr


The diff was not included because it is too large.


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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/0d52887dc1e9f66fa8f48cd4d4817f8480f091f9
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/20200413/8adb9a6e/attachment.html>