;;
exception AlreadyCooked of string;;
-exception CircularDependency of string;;
+exception CircularDependency of string Lazy.t;;
exception CouldNotFreeze of string;;
exception CouldNotUnfreeze of string;;
exception Object_not_found of UriManager.uri;;
C.MutCase (recons uri, i, restore_in_term outty, restore_in_term t,
List.map restore_in_term pl)
| C.Fix (i, fl) ->
- let len = List.length fl in
let liftedfl =
List.map
(fun (name, i, ty, bo) ->
in
C.Fix (i, liftedfl)
| C.CoFix (i, fl) ->
- let len = List.length fl in
let liftedfl =
List.map
(fun (name, ty, bo) -> (name, restore_in_term ty, restore_in_term bo))
let univ = if o = None then "NO_UNIV" else "" in
print_endline (su^" "^univ))
!frozen_list;
- raise (CircularDependency (UriManager.string_of_uri uri))
+ raise (CircularDependency (lazy (UriManager.string_of_uri uri)))
end
else
if HT.mem cacheOfCookedObjects uri then
* return the object,ugraph
*)
let add_trusted_uri_to_cache uri =
- let o,u,_ = find_or_add_to_unchecked uri in
+ let _ = find_or_add_to_unchecked uri in
Cache.unchecked_to_frozen uri;
set_type_checking_info uri;
try