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/hsSyn/Convert.hs | |
| 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/hsSyn/Convert.hs')
| -rw-r--r-- | compiler/hsSyn/Convert.hs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/compiler/hsSyn/Convert.hs b/compiler/hsSyn/Convert.hs index 3da163c71d..329d000e29 100644 --- a/compiler/hsSyn/Convert.hs +++ b/compiler/hsSyn/Convert.hs @@ -18,6 +18,7 @@ import GhcPrelude import HsSyn as Hs import qualified Class +import PrelNames import RdrName import qualified Name import Module @@ -28,7 +29,6 @@ import SrcLoc import Type import qualified Coercion ( Role(..) ) import TysWiredIn -import TysPrim (eqPrimTyCon) import BasicTypes as Hs import ForeignCall import Unique @@ -1378,10 +1378,11 @@ cvtTypeKind ty_str ty (noLoc (getRdrName constraintKindTyCon))) EqualityT - | [x',y'] <- tys' -> returnL (HsEqTy noExt x' y') + | [x',y'] <- tys' -> + returnL (HsOpTy noExt x' (noLoc eqTyCon_RDR) y') | otherwise -> mk_apps (HsTyVar noExt NotPromoted - (noLoc (getRdrName eqPrimTyCon))) tys' + (noLoc eqTyCon_RDR)) tys' _ -> failWith (ptext (sLit ("Malformed " ++ ty_str)) <+> text (show ty)) } |