[commit: ghc] wip/T15809: Much more progress on tcFamTyPats (f147f82)
git at git.haskell.org
git at git.haskell.org
Mon Nov 26 17:49:23 UTC 2018
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/T15809
Link : http://ghc.haskell.org/trac/ghc/changeset/f147f82f5b71b70d36eacb02ffe62279dd93fee5/ghc
>---------------------------------------------------------------
commit f147f82f5b71b70d36eacb02ffe62279dd93fee5
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Tue Nov 13 15:36:28 2018 +0000
Much more progress on tcFamTyPats
Main thing left to do: data family instances
A handful of validate failures
Reporting unused binders correctly
polykinds/T13985
indexed-types/should_fail/ExplicitForAllFams4a
indexed-types/should_fail/ExplicitForAllFams4b
extra error (ok)
polykinds/T8616
polykinds/T14846
>---------------------------------------------------------------
f147f82f5b71b70d36eacb02ffe62279dd93fee5
compiler/prelude/TysPrim.hs | 19 +-
compiler/typecheck/TcHsType.hs | 4 +-
compiler/typecheck/TcInstDcls.hs | 14 +-
compiler/typecheck/TcTyClsDecls.hs | 236 ++++++++++-----------
compiler/types/Type.hs | 32 ++-
.../tests/th/TH_reifyExplicitForAllFams.stderr | 6 +-
.../typecheck/should_fail/LevPolyBounded.stderr | 5 +
testsuite/tests/typecheck/should_fail/T14607.hs | 2 +-
.../tests/typecheck/should_fail/T14607.stderr | 17 +-
.../tests/typecheck/should_fail/T6018fail.stderr | 2 +-
testsuite/tests/typecheck/should_fail/all.T | 2 +-
11 files changed, 168 insertions(+), 171 deletions(-)
Diff suppressed because of size. To see it, use:
git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc f147f82f5b71b70d36eacb02ffe62279dd93fee5
More information about the ghc-commits
mailing list