aboutsummaryrefslogtreecommitdiff
path: root/haddock-api
diff options
context:
space:
mode:
authorRyan Scott <ryan.gl.scott@gmail.com>2019-01-25 10:26:16 -0500
committerAlec Theriault <alec.theriault@gmail.com>2019-01-27 09:28:12 -0800
commitfd56ac4d031963ecc137a5027d800bd8ed588264 (patch)
treebf0fa4f3c8d23be3b1750bf7f32f82e7187b5373 /haddock-api
parent53997f3db71d113bdad59548e3f16adfe90c112b (diff)
Fix #1004 with a pinch of dropForAlls
Diffstat (limited to 'haddock-api')
-rw-r--r--haddock-api/src/Haddock/Convert.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/haddock-api/src/Haddock/Convert.hs b/haddock-api/src/Haddock/Convert.hs
index 6eee353b..7735ed0d 100644
--- a/haddock-api/src/Haddock/Convert.hs
+++ b/haddock-api/src/Haddock/Convert.hs
@@ -274,7 +274,7 @@ synifyTyCon coax tc
-- which this function obtains.
synifyDataTyConReturnKind :: TyCon -> Maybe (LHsKind GhcRn)
synifyDataTyConReturnKind tc
- = case splitFunTys (tyConKind tc) of
+ = case splitFunTys (dropForAlls (tyConKind tc)) of
(_, ret_kind)
| isLiftedTypeKind ret_kind -> Nothing -- Don't bother displaying :: *
| otherwise -> Just (synifyKindSig ret_kind)