fixed pretty-printing for identifiers that start with "@" by adding p…

…arens when needed
GaloisInc · Dec 7, 2020 · 5aa04fb · 5aa04fb
1 parent 8314b93
commit 5aa04fb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Language/Coq/Pretty.hs b/src/Language/Coq/Pretty.hs
@@ -121,6 +121,7 @@ ppTerm p e =
     Sort s ->
       ppSort s
     Var x ->
+      parensIf (p > PrecApp && head x == '@') $
       ppIdent x
     NatLit i ->
       integer i