Skip to content
Snippets Groups Projects
Commit 1f102f0c authored by Alec Theriault's avatar Alec Theriault
Browse files

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.
parent 2122de54
No related branches found
No related tags found
No related merge requests found
......@@ -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 []
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment