diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-09-03 07:19:55 -0700 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-09-03 07:19:55 -0700 |
| commit | 1f102f0c30785c11ece503038acfe5da05d92c04 (patch) | |
| tree | 002d93b5ceab2a9a9e88fc5f593599a54995c639 /haddock-api/src/Haddock/Convert.hs | |
| parent | 2122de5473fd5b434af690ff9ccb1a2e58491f8c (diff) | |
Only look at visible types when synifying a 'HsListTy'
The other types are still looked at when considering whether to make
a kind signature or not.
Diffstat (limited to 'haddock-api/src/Haddock/Convert.hs')
| -rw-r--r-- | haddock-api/src/Haddock/Convert.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/haddock-api/src/Haddock/Convert.hs b/haddock-api/src/Haddock/Convert.hs index 96d3798b..aff5c57b 100644 --- a/haddock-api/src/Haddock/Convert.hs +++ b/haddock-api/src/Haddock/Convert.hs @@ -463,7 +463,7 @@ synifyType _ (TyConApp tc tys) , dataConSourceArity dc == length vis_tys = noLoc $ HsExplicitTupleTy noExt (map (synifyType WithinType) vis_tys) -- ditto for lists - | getName tc == listTyConName, [ty] <- tys = + | getName tc == listTyConName, [ty] <- vis_tys = noLoc $ HsListTy noExt (synifyType WithinType ty) | tc == promotedNilDataCon, [] <- vis_tys = noLoc $ HsExplicitListTy noExt Promoted [] |