end
| T.Coercion (b, obj) ->
let str = get_coercion st obj in
- let base_uri =
- if str <> "" then str else
- if b then out_base_uri else in_base_uri
- in
+ if str <> "" then path, Some (T.Coercion (b, str)) else
+ let base_uri = if b then out_base_uri else in_base_uri in
let s = obj ^ G.string_of_inline_kind T.Con in
path, Some (T.Coercion (b, Filename.concat base_uri s))
| T.Section (b, id, _) as item ->
with e ->
prerr_endline (Printexc.to_string e); close_in ich
in
- init st.input_package;
+ init st.input_package; require st st.input_package "preamble";
List.iter (produce st) st.files;
commit st st.input_package