GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-13 10:58:23 +03:00
Code Issues Projects Releases Wiki Activity

Fix pretty printing for infix type/constraint synonyms.

Browse Source
This commit is contained in:
Brian Huffman 2019-06-26 18:19:12 -07:00
parent 10da255fd1
commit 14d25e8f9a
2 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/Cryptol/TypeCheck/Type.hs
View File

@ -731,13 +731,17 @@ instance PP TySyn where
instance PP (WithNames TySyn) where
ppPrec _ (WithNames ts ns) =
text "type" <+> ctr <+> pp (tsName ts) <+>
sep (map (ppWithNames ns1) (tsParams ts)) <+> char '='
<+> ppWithNames ns1 (tsDef ts)
text "type" <+> ctr <+> lhs <+> char '=' <+> ppWithNames ns1 (tsDef ts)
where ns1 = addTNames (tsParams ts) ns
ctr = case kindResult (kindOf ts) of
KProp -> text "constraint"
_ -> empty
n = tsName ts
lhs = case (nameFixity n, tsParams ts) of
(Just _, [x, y]) ->
ppWithNames ns1 x <+> pp (nameIdent n) <+> ppWithNames ns1 y
(_, ps) ->
pp n <+> sep (map (ppWithNames ns1) ps)
instance PP Newtype where
ppPrec = ppWithNamesPrec IntMap.empty

2
tests/issues/issue226.icry.stdout
View File

@ -12,7 +12,7 @@ Type Synonyms
Constraint Synonyms
===================
type constraint (<=) i j = j >= i
type constraint i <= j = j >= i
Symbols
=======