diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-10-18 15:24:31 +0300 |
|---|---|---|
| committer | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2022-03-15 18:34:38 +0300 |
| commit | ab618309069bb47645f33cd1b198ace46e27abb9 (patch) | |
| tree | 0a388d085a19b16da85dc91cc958578c9a033399 /compiler/GHC/Parser/PostProcess.hs | |
| parent | 8ff32124c8cd37050f3dc7cbb32b8d41711ebcaf (diff) | |
| download | haskell-wip/eqtycon-rn.tar.gz | |
Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rn
* Users can define their own (~) type operator
* Haddock can display documentation for the built-in (~)
* New transitional warnings implemented:
-Wtype-equality-out-of-scope
-Wtype-equality-requires-operators
Updates the haddock submodule.
Diffstat (limited to 'compiler/GHC/Parser/PostProcess.hs')
| -rw-r--r-- | compiler/GHC/Parser/PostProcess.hs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/GHC/Parser/PostProcess.hs b/compiler/GHC/Parser/PostProcess.hs index e5557855c0..444471abca 100644 --- a/compiler/GHC/Parser/PostProcess.hs +++ b/compiler/GHC/Parser/PostProcess.hs @@ -137,7 +137,7 @@ import GHC.Types.TyThing import GHC.Core.Type ( unrestrictedFunTyCon, Specificity(..) ) import GHC.Builtin.Types( cTupleTyConName, tupleTyCon, tupleDataCon, nilDataConName, nilDataConKey, - listTyConName, listTyConKey, eqTyCon_RDR ) + listTyConName, listTyConKey ) import GHC.Types.ForeignCall import GHC.Types.SrcLoc import GHC.Types.Unique ( hasKey ) @@ -2453,8 +2453,7 @@ checkPrecP (L l (_,i)) (L _ ol) | otherwise = addFatalError $ mkPlainErrorMsgEnvelope l (PsErrPrecedenceOutOfRange i) where -- If you change this, consider updating Note [Fixity of (->)] in GHC/Types.hs - specialOp op = unLoc op `elem` [ eqTyCon_RDR - , getRdrName unrestrictedFunTyCon ] + specialOp op = unLoc op == getRdrName unrestrictedFunTyCon mkRecConstrOrUpdate :: Bool |