(* $Id$ *)
exception LibraryOutOfSync of string Lazy.t
+exception IncludedFileNotCompiled of string * string
type timestamp
-class type g_status =
- object
- method timestamp: timestamp
- end
-
class status :
object ('self)
- inherit g_status
+ method timestamp: timestamp
method set_timestamp: timestamp -> 'self
- method set_library_status: #g_status -> 'self
end
(* it also checks it and add it to the environment *)