+ let require2 ~baseuri status =
+ try
+ includes := baseuri::!includes;
+ let dump = require0 ~baseuri in
+ List.fold_right !require1#run dump status
+ with
+ Sys_error _ ->
+ raise (IncludedFileNotCompiled(path_of_baseuri baseuri,NUri.string_of_uri baseuri))
+
+ let record_include =
+ let aux baseuri ~refresh_uri_in_universe ~refresh_uri_in_term =
+ (* memorizzo baseuri in una tabella; *)
+ require2 ~baseuri
+ in
+ register#run "include"
+ object(self : 'a register_type)
+ method run = aux
+ end
+