From 3d16334e98227a859b061ea5020a7808142baee6 Mon Sep 17 00:00:00 2001 From: Jonathan Protzenko Date: Fri, 10 Jan 2025 16:04:29 -0800 Subject: [PATCH] Relax failing assertion --- lib/Cleanup2.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/Cleanup2.ml b/lib/Cleanup2.ml index 4edab1e..46cb1be 100644 --- a/lib/Cleanup2.ml +++ b/lib/Cleanup2.ml @@ -730,7 +730,8 @@ let smallest = end let rec find_terminal_incr i e = - assert (e.typ = TUnit); + if e.typ <> TUnit && e.typ <> TAny then + Krml.Warn.failwith "e_then has type: %a\n" ptyp e.typ; let ( let* ) = Option.bind in let hoist e = Krml.DeBruijn.subst_n e (List.init i (fun _ -> Krml.Helpers.eunit)) in match e.node with