diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2024-10-29 18:58:45 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2024-10-29 18:58:45 +0000 |
| commit | 82783476f330801b54402bdcc4723add44a963dc (patch) | |
| tree | a1f8e77bf4a8fa32bb52e4e26c06f8acbb136df9 /src/Inky/Type | |
| parent | 324e22d7297f506f7ba551f0d1e9aac786ae4622 (diff) | |
Write a fuelled reducer for System T.
Diffstat (limited to 'src/Inky/Type')
| -rw-r--r-- | src/Inky/Type/Pretty.idr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Inky/Type/Pretty.idr b/src/Inky/Type/Pretty.idr index ae80125..2785b87 100644 --- a/src/Inky/Type/Pretty.idr +++ b/src/Inky/Type/Pretty.idr @@ -55,13 +55,13 @@ lessPrettyType (TProd (MkRow as _)) d = let parts = lessPrettyTypeCtx as Open <>> [] in group $ align $ enclose "<" ">" $ flatAlt - (neutral <++> concatWith (surround $ line' <+> "," <++> neutral) parts <+> line) + (neutral <++> concatWith (surround $ line <+> "," <++> neutral) parts <+> line) (concatWith (surround $ "," <++> neutral) parts) lessPrettyType (TSum (MkRow as _)) d = let parts = lessPrettyTypeCtx as Open <>> [] in group $ align $ enclose "[" "]" $ flatAlt - (neutral <++> concatWith (surround $ line' <+> "," <++> neutral) parts <+> line) + (neutral <++> concatWith (surround $ line <+> "," <++> neutral) parts <+> line) (concatWith (surround $ "," <++> neutral) parts) lessPrettyType (TFix x a) d = group $ align $ hang 2 $ parens $ @@ -71,4 +71,4 @@ lessPrettyType (TFix x a) d = lessPrettyTypeCtx [<] d = [<] lessPrettyTypeCtx (as :< (x :- a)) d = lessPrettyTypeCtx as d :< - (group $ align $ hang 2 $ pretty x <+> ":" <+> line <+> prettyType a d) + (group $ align $ pretty x <+> ":" <+> line <+> prettyType a d) |