Revision 01d48bb0 src/modules.ml
| src/modules.ml | ||
|---|---|---|
| 117 | 117 |
((if local then !Options.dest_dir else Version.include_path) ^ "/") ^ dep |
| 118 | 118 |
|
| 119 | 119 |
let import_dependency loc (local, dep) = |
| 120 |
let basename = name_dependency (local, dep) in |
|
| 121 |
let extension = ".lusic" in |
|
| 122 | 120 |
try |
| 123 |
Lusic.read_lusic basename extension |
|
| 124 |
with Sys_error msg -> |
|
| 125 |
begin |
|
| 121 |
let basename = name_dependency (local, dep) in |
|
| 122 |
let extension = ".lusic" in |
|
| 123 |
try |
|
| 124 |
let lusic = Lusic.read_lusic basename extension in |
|
| 125 |
Lusic.check_obsolete lusic basename; |
|
| 126 |
lusic |
|
| 127 |
with Sys_error msg -> |
|
| 128 |
begin |
|
| 126 | 129 |
(*Format.eprintf "Error: %s@." msg;*) |
| 127 |
raise (Error (loc, Unknown_library basename)) |
|
| 128 |
end |
|
| 130 |
raise (Error (loc, Unknown_library basename)) |
|
| 131 |
end |
|
| 132 |
with |
|
| 133 |
| Corelang.Error (loc, err) as exc -> ( |
|
| 134 |
Format.eprintf "Library error: %a%a@." |
|
| 135 |
Corelang.pp_error err |
|
| 136 |
Location.pp_loc loc; |
|
| 137 |
raise exc |
|
| 138 |
) |
|
| 129 | 139 |
|
| 130 | 140 |
let rec load_header_rec imported header = |
| 131 | 141 |
List.fold_left (fun imp decl -> |
Also available in: Unified diff