Make and/or right associative

hazelgrove · Jan 14, 2025 · 0c00552 · 0c00552
1 parent 9d4e25e
commit 0c00552
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/haz3lcore/lang/Precedence.re b/src/haz3lcore/lang/Precedence.re
@@ -70,10 +70,10 @@ let concat = 29 |> right_associative;
 let eqs = 30 |> left_associative;
 // _____ == x
 // _____ && true
-let and_ = 31;
+let and_ = 31 |> right_associative;
 // true && _____
 // _____ || false
-let or_ = 32;
+let or_ = 32 |> right_associative;
 // false || _____
 let if_ = 34;
 let fun_ = 35;

diff --git a/src/haz3lcore/pretty/ExpToSegment.re b/src/haz3lcore/pretty/ExpToSegment.re
@@ -888,7 +888,7 @@ let rec parenthesize = (~preserve_filters: bool, exp: Exp.t): Exp.t => {
   | TyAlias(tp, t, e) =>
     TyAlias(
       tp,
-      t |> paren_typ_at(Precedence.min),
+      parenthesize_typ(t) |> paren_typ_at(Precedence.min),
       parenthesize(e) |> paren_assoc_at(Precedence.let_),
     )
     |> rewrap