From f784b0fff4261ebedd1fcaa586162a72e8f76dfa Mon Sep 17 00:00:00 2001
From: Matt Keenan <negabinary@gmail.com>
Date: Tue, 27 Aug 2024 12:17:08 -0400
Subject: [PATCH] Remove parens around hidden functions

---
 src/haz3lweb/view/dhcode/layout/DHDoc_Exp.re | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/src/haz3lweb/view/dhcode/layout/DHDoc_Exp.re b/src/haz3lweb/view/dhcode/layout/DHDoc_Exp.re
index 34efdf0735..ffb0eed0c5 100644
--- a/src/haz3lweb/view/dhcode/layout/DHDoc_Exp.re
+++ b/src/haz3lweb/view/dhcode/layout/DHDoc_Exp.re
@@ -42,8 +42,8 @@ let precedence_bin_string_op = (bso: Operators.op_bin_string) =>
   | Concat => DHDoc_common.precedence_Plus
   | Equals => DHDoc_common.precedence_Equals
   };
-let rec precedence = (~show_casts: bool, d: DHExp.t) => {
-  let precedence' = precedence(~show_casts);
+let rec precedence = (~show_function_bodies, ~show_casts: bool, d: DHExp.t) => {
+  let precedence' = precedence(~show_function_bodies, ~show_casts);
   switch (DHExp.term_of(d)) {
   | Var(_)
   | Invalid(_)
@@ -73,6 +73,8 @@ let rec precedence = (~show_casts: bool, d: DHExp.t) => {
   | ListConcat(_) => DHDoc_common.precedence_Plus
   | Tuple(_) => DHDoc_common.precedence_Comma
   | TypFun(_)
+  | Fun(_) when !show_function_bodies => DHDoc_common.precedence_const
+  | TypFun(_)
   | Fun(_) => DHDoc_common.precedence_max
   | Let(_)
   | TyAlias(_)
@@ -117,7 +119,11 @@ let mk =
       d: DHExp.t,
     )
     : DHDoc.t => {
-  let precedence = precedence(~show_casts=settings.show_casts);
+  let precedence =
+    precedence(
+      ~show_casts=settings.show_casts,
+      ~show_function_bodies=settings.show_fn_bodies,
+    );
   let rec go =
           (
             d: DHExp.t,