rhi/quox
rhi/quox
1
0
Fork 0
Code Issues 15 Pull requests 1 Releases Wiki Activity

highlight the @ in dim apps as a delim

Browse source
This commit is contained in:
rhiannon morris 2023-11-05 15:44:44 +01:00
parent d9cdf1306d
commit 04af7ae942
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
lib/Quox/Pretty.idr
View file

@ -249,7 +249,7 @@ prettyDBind = hl DVar . prettyBind'
export %inline export %inline
typeD, ioStateD, arrowD, darrowD, timesD, lamD, eqndD, dlamD, annD, natD, typeD, ioStateD, arrowD, darrowD, timesD, lamD, eqndD, dlamD, annD, natD,
stringD, eqD, colonD, commaD, semiD, caseD, typecaseD, returnD, stringD, eqD, colonD, commaD, semiD, atD, caseD, typecaseD, returnD,
ofD, dotD, zeroD, succD, coeD, compD, undD, cstD, pipeD, fstD, sndD : ofD, dotD, zeroD, succD, coeD, compD, undD, cstD, pipeD, fstD, sndD :
{opts : LayoutOpts} -> Eff Pretty (Doc opts) {opts : LayoutOpts} -> Eff Pretty (Doc opts)
typeD = hl Syntax . text =<< ifUnicode "★" "Type" typeD = hl Syntax . text =<< ifUnicode "★" "Type"
@ -267,6 +267,7 @@ eqD = hl Syntax $ text "Eq"
colonD = hl Delim $ text ":" colonD = hl Delim $ text ":"
commaD = hl Delim $ text "," commaD = hl Delim $ text ","
semiD = hl Delim $ text ";" semiD = hl Delim $ text ";"
atD = hl Delim $ text "@"
caseD = hl Syntax $ text "case" caseD = hl Syntax $ text "case"
typecaseD = hl Syntax $ text "type-case" typecaseD = hl Syntax $ text "type-case"
ofD = hl Syntax $ text "of" ofD = hl Syntax $ text "of"

3
lib/Quox/Syntax/Term/Pretty.idr
View file

@ -201,8 +201,7 @@ prettyTArg dnames tnames s =
private private
prettyDArg : {opts : _} -> BContext d -> Dim d -> Eff Pretty (Doc opts) prettyDArg : {opts : _} -> BContext d -> Dim d -> Eff Pretty (Doc opts)
prettyDArg dnames p = prettyDArg dnames p = [|atD <+> withPrec Arg (prettyDim dnames p)|]
map (text "@" <+>) $ withPrec Arg $ prettyDim dnames p
private private
splitApps : Elim d n -> (Elim d n, List (Either (Dim d) (Term d n))) splitApps : Elim d n -> (Elim d n, List (Either (Dim d) (Term d n)))