Fix newlines in exptosegment

hazelgrove · Nov 19, 2024 · e2ddec3 · e2ddec3
1 parent 769cd63
commit e2ddec3
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/src/haz3lcore/pretty/ExpToSegment.re b/src/haz3lcore/pretty/ExpToSegment.re
@@ -31,8 +31,13 @@ let should_add_space = (s1, s2) =>
   | _ when String.starts_with(s2, ~prefix=":") => false
   | _ when String.ends_with(s1, ~suffix=" ") => false
   | _ when String.starts_with(s2, ~prefix=" ") => false
-  | _ when String.ends_with(s1, ~suffix="⏎") => false
-  | _ when String.starts_with(s2, ~prefix="⏎") => false
+  | _ when String.ends_with(s1, ~suffix="\n") => false
+  | _ when String.starts_with(s2, ~prefix="\n") => false
+  | _
+      when
+        String.ends_with(s1, ~suffix=")")
+        && String.starts_with(s2, ~prefix="(") =>
+    false
   | _ => true
   };