diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2025-01-30 16:57:47 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2025-03-13 13:20:29 +0000 |
| commit | f5b75edd91389f0a45045b707abfa36c746e8d54 (patch) | |
| tree | c675419958ad913d111ebda51c5863a752768577 /src/Inky/Type | |
| parent | 3f4e0844880a43ae113f75711bfcb60b9f22a4dd (diff) | |
Modify definition of data types.
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 = |