From bf8cced8887f416dcae4a0bcab13cde95bd266a4 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Sun, 5 Nov 2023 15:45:07 +0100 Subject: [PATCH] swap some delim/syntax highlighting around --- lib/Quox/Pretty.idr | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/lib/Quox/Pretty.idr b/lib/Quox/Pretty.idr index a26100b..ac62adb 100644 --- a/lib/Quox/Pretty.idr +++ b/lib/Quox/Pretty.idr @@ -254,18 +254,18 @@ ofD, dotD, zeroD, succD, coeD, compD, undD, cstD, pipeD, fstD, sndD : {opts : LayoutOpts} -> Eff Pretty (Doc opts) typeD = hl Syntax . text =<< ifUnicode "★" "Type" ioStateD = hl Syntax $ text "IOState" -arrowD = hl Delim . text =<< ifUnicode "→" "->" -darrowD = hl Delim . text =<< ifUnicode "⇒" "=>" -timesD = hl Delim . text =<< ifUnicode "×" "**" +arrowD = hl Syntax . text =<< ifUnicode "→" "->" +darrowD = hl Syntax . text =<< ifUnicode "⇒" "=>" +timesD = hl Syntax . text =<< ifUnicode "×" "**" lamD = hl Syntax . text =<< ifUnicode "λ" "fun" -eqndD = hl Delim . text =<< ifUnicode "≡" "==" +eqndD = hl Syntax . text =<< ifUnicode "≡" "==" dlamD = hl Syntax . text =<< ifUnicode "δ" "dfun" -annD = hl Delim . text =<< ifUnicode "∷" "::" +annD = hl Syntax . text =<< ifUnicode "∷" "::" natD = hl Syntax . text =<< ifUnicode "ℕ" "Nat" stringD = hl Syntax $ text "String" eqD = hl Syntax $ text "Eq" -colonD = hl Delim $ text ":" -commaD = hl Delim $ text "," +colonD = hl Syntax $ text ":" +commaD = hl Syntax $ text "," semiD = hl Delim $ text ";" atD = hl Delim $ text "@" caseD = hl Syntax $ text "case" @@ -279,7 +279,7 @@ coeD = hl Syntax $ text "coe" compD = hl Syntax $ text "comp" undD = hl Syntax $ text "_" cstD = hl Syntax $ text "=" -pipeD = hl Syntax $ text "|" +pipeD = hl Delim $ text "|" fstD = hl Syntax $ text "fst" sndD = hl Syntax $ text "snd"