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/typecheck/TcType.hs | |
| 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/typecheck/TcType.hs')
| -rw-r--r-- | compiler/typecheck/TcType.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs index 7fa45ae8f3..1d3ec0d568 100644 --- a/compiler/typecheck/TcType.hs +++ b/compiler/typecheck/TcType.hs @@ -2183,7 +2183,6 @@ isRigidTy ty | isForAllTy ty = True | otherwise = False - {- ************************************************************************ * * |