Skip to content
Snippets Groups Projects
Commit 7ac0237e authored by Ben Gamari's avatar Ben Gamari :turtle:
Browse files

Xhtml.Decl: Show 'where ...' after closed type family

Seems like we should ideally show the actual equations as well but that
seems like it would be a fair amount of work
parent fdd07f36
No related branches found
No related tags found
No related merge requests found
......@@ -269,6 +269,11 @@ ppTyFamHeader summary associated d@(FamilyDecl { fdInfo = info
(case injectivity of
Nothing -> noHtml
Just (L _ injectivityAnn) -> ppInjectivityAnn unicode qual injectivityAnn
) <+>
(case info of
ClosedTypeFamily _ -> keyword "where ..."
_ -> mempty
)
ppResultSig :: FamilyResultSig DocName -> Unicode -> Qualification -> Html
......
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