Skip to content

Commit

Permalink
Fix warnings
Browse files Browse the repository at this point in the history
  • Loading branch information
Negabinary committed Nov 25, 2024
1 parent a71561e commit 1f051b3
Show file tree
Hide file tree
Showing 2 changed files with 21 additions and 18 deletions.
6 changes: 5 additions & 1 deletion src/haz3lcore/prog/CachedStatics.re
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,11 @@ let empty: t = {
copied: false,
term: Tuple([]),
},
elaborated: UExp.{ids: [Id.invalid], copied: false, term: Tuple([])},
elaborated: {
ids: [Id.invalid],
copied: false,
term: Tuple([]),
},
info_map: Id.Map.empty,
error_ids: [],
};
Expand Down
33 changes: 16 additions & 17 deletions src/haz3lcore/zipper/EditorUtil.re
Original file line number Diff line number Diff line change
Expand Up @@ -47,20 +47,19 @@ let rec append_exp = (e1: Exp.t, e2: Exp.t): Exp.t => {
};
};

let wrap_filter = (act: FilterAction.action, term: UExp.t): UExp.t =>
Exp.{
term:
Filter(
Filter({
act: FilterAction.(act, One),
pat: {
term: Constructor("$e", Unknown(Internal) |> Typ.fresh),
copied: false,
ids: [Id.mk()],
},
}),
term,
),
copied: false,
ids: [Id.mk()],
};
let wrap_filter = (act: FilterAction.action, term: UExp.t): UExp.t => {
term:
Filter(
Filter({
act: FilterAction.(act, One),
pat: {
term: Constructor("$e", Unknown(Internal) |> Typ.fresh),
copied: false,
ids: [Id.mk()],
},
}),
term,
),
copied: false,
ids: [Id.mk()],
};

0 comments on commit 1f051b3

Please sign in to comment.