don't use Compenv.module_of_filename

this simple implementation is good enough for us.
This commit is contained in:
Christopher Zimmermann 2019-03-07 12:40:52 +01:00 committed by Simon Cruanes
parent c70825b250
commit bb4d8a89f3

View file

@ -93,13 +93,9 @@ let () =
let labelled_filename = Sys.argv.(1) in (* CCArrayLabels.mli *) let labelled_filename = Sys.argv.(1) in (* CCArrayLabels.mli *)
let unlabelled_filename = Sys.argv.(2) in (* CCArray.ml *) let unlabelled_filename = Sys.argv.(2) in (* CCArray.ml *)
let labelled_name = (* ArrayLabels *) let labelled_name = (* ArrayLabels *)
let basename = assert (labelled_filename.[0] = 'C' && labelled_filename.[1] = 'C');
Compenv.module_of_filename Format.err_formatter let dot = String.rindex labelled_filename '.' in
labelled_filename String.sub labelled_filename 2 (dot - 2)
labelled_filename
in
assert (basename.[0] = 'C' && basename.[1] = 'C');
String.sub basename 2 (String.length basename - 2)
in in
let unlabelled_name = (* Array *) let unlabelled_name = (* Array *)
replace_first "Labels" "" labelled_name replace_first "Labels" "" labelled_name