improve error message

LPCIC · Nov 21, 2024 · a2ef2d8 · a2ef2d8
1 parent 9b9d5e4
commit a2ef2d8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/compiler/compiler.ml b/src/compiler/compiler.ml
@@ -1666,7 +1666,8 @@ end = struct
       | Impl(b,t1,t2) ->
           D.mkApp (D.Global_symbols.(if b then implc else rimplc)) (todbl ctx t1) [todbl ctx t2]
       | CData c -> D.mkCData (CData.hcons c)
-      | Spill(t,_) -> assert false (* spill handled before *)
+      | Spill(t,_) ->
+          anomaly ~loc:t.loc (Format.asprintf "todbl: term contains spill: %a" ScopedTerm.pretty t)
       | Cast(t,_) -> todbl ctx t
       (* lists *)
       | Const(Global _,c) when F.(equal c nilf) -> D.mkNil