diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-06-19 23:17:02 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-06-20 11:17:26 -0400 |
| commit | b9483981d128f55d8dae3f434f49fa6b5b30c779 (patch) | |
| tree | ddabff49ad039caa25227d5523f7c52cbdb43fe5 /compiler/rename | |
| parent | f4dce6cfd71d2a1dc2e281f19cae85e62aaf6b8e (diff) | |
| download | haskell-b9483981d128f55d8dae3f434f49fa6b5b30c779.tar.gz | |
Remove HsEqTy and XEqTy
After commit d650729f9a0f3b6aa5e6ef2d5fba337f6f70fa60, the
`HsEqTy` constructor of `HsType` is essentially dead code. Given that
we want to remove `HsEqTy` anyway as a part of #10056 (comment:27),
let's just rip it out.
Bumps the haddock submodule.
Test Plan: ./validate
Reviewers: goldfire, bgamari
Reviewed By: bgamari
Subscribers: rwbarton, thomie, carter
GHC Trac Issues: #10056
Differential Revision: https://phabricator.haskell.org/D4876
Diffstat (limited to 'compiler/rename')
| -rw-r--r-- | compiler/rename/RnTypes.hs | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/compiler/rename/RnTypes.hs b/compiler/rename/RnTypes.hs index ca4986f050..c8ddd0a851 100644 --- a/compiler/rename/RnTypes.hs +++ b/compiler/rename/RnTypes.hs @@ -629,12 +629,6 @@ rnHsTyKi env t@(HsIParamTy _ n ty) ; (ty', fvs) <- rnLHsTyKi env ty ; return (HsIParamTy noExt n ty', fvs) } -rnHsTyKi env t@(HsEqTy _ ty1 ty2) - = do { checkPolyKinds env t - ; (ty1', fvs1) <- rnLHsTyKi env ty1 - ; (ty2', fvs2) <- rnLHsTyKi env ty2 - ; return (HsEqTy noExt ty1' ty2', fvs1 `plusFV` fvs2) } - rnHsTyKi _ (HsStarTy _ isUni) = return (HsStarTy noExt isUni, emptyFVs) @@ -1064,7 +1058,6 @@ collectAnonWildCards lty = go lty HsOpTy _ ty1 _ ty2 -> go ty1 `mappend` go ty2 HsParTy _ ty -> go ty HsIParamTy _ _ ty -> go ty - HsEqTy _ ty1 ty2 -> go ty1 `mappend` go ty2 HsKindSig _ ty kind -> go ty `mappend` go kind HsDocTy _ ty _ -> go ty HsBangTy _ _ ty -> go ty @@ -1745,8 +1738,6 @@ extract_lty t_or_k (L _ ty) acc HsFunTy _ ty1 ty2 -> extract_lty t_or_k ty1 =<< extract_lty t_or_k ty2 acc HsIParamTy _ _ ty -> extract_lty t_or_k ty acc - HsEqTy _ ty1 ty2 -> extract_lty t_or_k ty1 =<< - extract_lty t_or_k ty2 acc HsOpTy _ ty1 tv ty2 -> extract_tv t_or_k tv =<< extract_lty t_or_k ty1 =<< extract_lty t_or_k ty2 acc |