diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-12-30 23:48:39 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-12-30 23:48:39 +0000 |
| commit | 836568c532c9ac8ba3f2aaae9470c2064bfd1ad2 (patch) | |
| tree | faae4db2f7edc6982f1eb173047555b283999742 /compiler/typecheck/TcErrors.hs | |
| parent | 0ac3f45e686eb7e3b1b75c13b9a56ac4614af31f (diff) | |
| download | haskell-836568c532c9ac8ba3f2aaae9470c2064bfd1ad2.tar.gz | |
Continue with #15952
* Re-add the TcKind result to tc_infer_hs_type,
and the TcKind argument to checkExpectedKind.
(This is just taste; the relevant kind is readily
available so it seems a pity to recompute it.)
* Expunge the tricky invariants
Note [The well-kinded type invariant] in TcType
Note [The tcType invariant] in TcHsType
Hooray.
Diffstat (limited to 'compiler/typecheck/TcErrors.hs')
0 files changed, 0 insertions, 0 deletions