*)
type coerc_carr = Uri of UriManager.uri | Sort of Cic.sort | Term of Cic.term
-exception EqCarrNotImplemented of string
+exception EqCarrNotImplemented of string Lazy.t
exception EqCarrOnNonMetaClosed
let db = ref []
CicUtil.is_meta_closed t1 && CicUtil.is_meta_closed t2 ->
raise
(EqCarrNotImplemented
- ("Unsupported carr for coercions: " ^
- CicPp.ppterm t1 ^ " or " ^ CicPp.ppterm t2))
+ (lazy ("Unsupported carr for coercions: " ^
+ CicPp.ppterm t1 ^ " or " ^ CicPp.ppterm t2)))
| _ -> raise EqCarrOnNonMetaClosed
let name_of_carr = function