aboutsummaryrefslogtreecommitdiff
path: root/haddock-api
diff options
context:
space:
mode:
authorAlexander Biehl <abiehl@novomind.com>2018-02-01 11:05:19 +0100
committerAlexander Biehl <alexbiehl@gmail.com>2018-02-01 14:58:18 +0100
commit4157ea0637016b4b65386ddb3eb2b9bcf2aaa0b8 (patch)
treecec4136d6bab9718cf30ecec43ce2b0221b62510 /haddock-api
parent150c8fc2415ab6cd254c9391d1a00b3d2931927e (diff)
Specialize: Add missing IdP annotations
Diffstat (limited to 'haddock-api')
-rw-r--r--haddock-api/src/Haddock/Interface/Specialize.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/haddock-api/src/Haddock/Interface/Specialize.hs b/haddock-api/src/Haddock/Interface/Specialize.hs
index bb27f10c..a54aad90 100644
--- a/haddock-api/src/Haddock/Interface/Specialize.hs
+++ b/haddock-api/src/Haddock/Interface/Specialize.hs
@@ -33,14 +33,14 @@ specialize :: forall name a. (Ord (IdP name), DataId name, NamedThing (IdP name)
=> [(IdP name, HsType name)] -> a -> a
specialize specs = go spec_map0
where
- go :: forall x. Data x => Map name (HsType name) -> x -> x
+ go :: forall x. Data x => Map (IdP name) (HsType name) -> x -> x
go spec_map = everywhereButType @name $ mkT $ sugar . strip_kind_sig . specialize_ty_var spec_map
strip_kind_sig :: HsType name -> HsType name
strip_kind_sig (HsKindSig (L _ t) _) = t
strip_kind_sig typ = typ
- specialize_ty_var :: Map name (HsType name) -> HsType name -> HsType name
+ specialize_ty_var :: Map (IdP name) (HsType name) -> HsType name -> HsType name
specialize_ty_var spec_map (HsTyVar _ (L _ name'))
| Just t <- Map.lookup name' spec_map = t
specialize_ty_var _ typ = typ