From 82783476f330801b54402bdcc4723add44a963dc Mon Sep 17 00:00:00 2001 From: Greg Brown Date: Tue, 29 Oct 2024 18:58:45 +0000 Subject: Write a fuelled reducer for System T. --- src/Inky/Type/Pretty.idr | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/Inky/Type') 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) -- cgit v1.2.3