From e6c4203b46deb95f67dd50617fb6ec6bdaf92846 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Sun, 26 Mar 2023 16:13:36 +0200 Subject: [PATCH] print ; between case branches --- lib/Quox/Syntax/Term/Pretty.idr | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/lib/Quox/Syntax/Term/Pretty.idr b/lib/Quox/Syntax/Term/Pretty.idr index c1e4750..fc74cfd 100644 --- a/lib/Quox/Syntax/Term/Pretty.idr +++ b/lib/Quox/Syntax/Term/Pretty.idr @@ -25,10 +25,11 @@ annD = hlF Syntax $ ifUnicode "∷" "::" natD = hlF Syntax $ ifUnicode "ℕ" "Nat" export %inline -eqD, colonD, commaD, caseD, returnD, ofD, dotD, zeroD, succD : Doc HL +eqD, colonD, commaD, semiD, caseD, returnD, ofD, dotD, zeroD, succD : Doc HL eqD = hl Syntax "Eq" colonD = hl Syntax ":" commaD = hl Syntax "," +semiD = hl Syntax ";" caseD = hl Syntax "case" ofD = hl Syntax "of" returnD = hl Syntax "return" @@ -123,7 +124,8 @@ export prettyArms : PrettyHL a => Pretty.HasEnv m => List (SnocList BaseName, Doc HL, a) -> m (Doc HL) prettyArms = - map (braces . asep) . traverse (\(xs, l, r) => prettyArm T xs l r) + map (braces . aseparate semiD) . + traverse (\(xs, l, r) => prettyArm T xs l r) export prettyCase : PrettyHL a => PrettyHL b => PrettyHL c => IsQty q =>