Add parens around pretty printing of application

alexhumphreys · Oct 7, 2023 · b337583 · b337583
1 parent 62a4558
commit b337583
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Idrall/Pretty.idr b/Idrall/Pretty.idr
@@ -85,7 +85,7 @@ mutual
   Pretty a => Pretty (Expr a) where
     pretty (EConst fc x) = pretty x
     pretty (EVar fc x n) = pretty x <+> pretty "@" <+> pretty n
-    pretty (EApp fc x y) = pretty x <++> pretty y
+    pretty (EApp fc x y) = pretty x <++> parens (pretty y)
     pretty (ELam fc n x y) =
       pretty "\\" <+> parens (pretty n <++> colon <++> pretty x)
         <++> pretty "->" <++> pretty y