From 03e74b505d4e264229bf411594c1a10a34a27e3d Mon Sep 17 00:00:00 2001 From: Louis Gesbert Date: Thu, 27 Jun 2024 15:22:02 +0200 Subject: [PATCH] Cleanup --- build_system/clerk_report.ml | 2 +- compiler/scalc/from_lcalc.ml | 7 ------- 2 files changed, 1 insertion(+), 8 deletions(-) diff --git a/build_system/clerk_report.ml b/build_system/clerk_report.ml index 38419dc0..9bfbaec4 100644 --- a/build_system/clerk_report.ml +++ b/build_system/clerk_report.ml @@ -287,7 +287,7 @@ let print_box tcolor ppf title (pcontents : box -> unit) = (fun ppf -> Format.pp_print_tab ppf (); Format.fprintf ppf "%t┃@}@," tcolor) - ppf ("%t@<1>%s@} " ^^ fmt) tcolor "┃"); + ppf ("%t@<1>%s@} " ^^ fmt) tcolor "┃"); } in pcontents box; diff --git a/compiler/scalc/from_lcalc.ml b/compiler/scalc/from_lcalc.ml index 2fe792bf..a99e87ad 100644 --- a/compiler/scalc/from_lcalc.ml +++ b/compiler/scalc/from_lcalc.ml @@ -35,13 +35,6 @@ type 'm ctxt = { program_ctx : A.ctx; } -let unthunk e = - match Mark.remove e with - | EAbs { binder; tys = [(TLit TUnit, _)] } -> - let _, e = Bindlib.unmbind binder in - e - | _ -> failwith "should not happen" - (* Expressions can spill out side effect, hence this function also returns a list of statements to be prepended before the expression is evaluated *)