Skip to content

Commit

Permalink
Fold parens into functions when hiding functions
Browse files Browse the repository at this point in the history
Negabinary committed Nov 13, 2024
1 parent c273eb3 commit 348b33c
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/haz3lcore/pretty/ExpToSegment.re
Original file line number Diff line number Diff line change
@@ -214,6 +214,7 @@ let rec exp_to_pretty = (~settings: Settings.t, exp: Exp.t): pretty => {
let id = exp |> Exp.rep_id;
let+ es = es |> List.map(any_to_pretty(~settings)) |> all;
ListUtil.flat_intersperse(Grout({id, shape: Concave}), es);
| Parens({term: Fun(p, e, _, _), _})
| Fun(p, e, _, _) =>
// TODO: Add optional newlines
let id = exp |> Exp.rep_id;

0 comments on commit 348b33c

Please sign in to comment.