diff options
Diffstat (limited to 'src/Inky/Type')
| -rw-r--r-- | src/Inky/Type/Pretty.idr | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/Inky/Type/Pretty.idr b/src/Inky/Type/Pretty.idr index 03b9964..7cd185c 100644 --- a/src/Inky/Type/Pretty.idr +++ b/src/Inky/Type/Pretty.idr @@ -78,9 +78,8 @@ lessPrettyType (TSum (MkRow as _)) d = (neutral <++> concatWith (surround $ line <+> ";" <++> neutral) parts <+> line) (concatWith (surround $ ";" <++> neutral) parts) lessPrettyType (TFix x a) d = - group $ align $ hang 2 $ parens $ - "\\" <+> pretty x <++> "=>" <+> line <+> - prettyType a Open + group $ align $ hang 2 $ parenthesise (d < App) $ + pretty "data" <++> pretty x <+> line <+> prettyType a Atom lessPrettyTypeCtx [<] d = [<] lessPrettyTypeCtx (as :< (x :- a)) d = |