diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-06-18 20:17:00 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-10-03 12:17:10 -0400 |
| commit | 60229e9ee23afd302766475462767516cc294409 (patch) | |
| tree | bcd23015f6ee77fd2909f9f1dc5f24b578a74693 /compiler/ghc.cabal.in | |
| parent | 53b0c6e0cd2bf0a719fa64d6eb428061b567bc42 (diff) | |
| download | haskell-60229e9ee23afd302766475462767516cc294409.tar.gz | |
Merge TcTypeableValidity into TcTypeable, document treatment of casts
This patch:
* Implements a refactoring (suggested in
https://gitlab.haskell.org/ghc/ghc/merge_requests/1199#note_207345)
that moves all functions from `TcTypeableValidity` back to
`TcTypeable`, as the former module doesn't really need to live on its
own.
* Adds `Note [Typeable instances for casted types]` to `TcTypeable`
explaining why the `Typeable` solver currently does not support
types containing casts.
Resolves #16835.
Diffstat (limited to 'compiler/ghc.cabal.in')
| -rw-r--r-- | compiler/ghc.cabal.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/ghc.cabal.in b/compiler/ghc.cabal.in index fdbe9d5df6..ea12b5563d 100644 --- a/compiler/ghc.cabal.in +++ b/compiler/ghc.cabal.in @@ -523,7 +523,6 @@ Library TcTyClsDecls TcTyDecls TcTypeable - TcTypeableValidity TcType TcEvidence TcEvTerm |