1 let rec assert_ng mapath ngpath =
3 if exists_file ngpath then
4 let preamble = preamble_of_ngpath ngpath in
5 let children_bad = List.exists assert_ng preamble in
6 children_bad || date mapath > date ngpath
10 if to_be_compiled then
11 if already_loaded ngpath then
12 (* maybe recompiling it I would get the same... *)
13 raise (AlreadyLoaded mapath)
23 let oldstatus = status in
24 let status = toplevel (new status) (content_of mapath) in
25 salva_su_disco status;
28 and toplevel status testo =
33 let ngpath = ... mapath in
34 assert_ng mapath ngpath;