@@ -55,6 +55,8 @@ instance Pretty (Expr t v) where
55 Var x -> variable x
55 Var x -> variable x
56 Range e1 e2 -> P.brackets (pretty e1 <> P.text ".." <> pretty e2)
56 Range e1 e2 -> P.brackets (pretty e1 <> P.text ".." <> pretty e2)
57 ExplicitList es -> P.brackets (commaCat (map pretty es))
57 ExplicitList es -> P.brackets (commaCat (map pretty es))
58+ Binop "-" (Location.L _ (Literal (Literal.IntNum 0))) e ->
59+ P.text "-" <> prettyParens e
58 Binop op e1 e2 -> P.sep [ prettyParens e1 <+> P.text op', prettyParens e2 ]
60 Binop op e1 e2 -> P.sep [ prettyParens e1 <+> P.text op', prettyParens e2 ]
59 where op' = if Help.isOp op then op else "`" ++ op ++ "`"
61 where op' = if Help.isOp op then op else "`" ++ op ++ "`"
60 Lambda p e -> let (ps,body) = collectLambdas (Location.none $ Lambda p e)
62 Lambda p e -> let (ps,body) = collectLambdas (Location.none $ Lambda p e)