We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 62e59f8 commit 94a8133Copy full SHA for 94a8133
rewatch/src/build/packages.rs
@@ -757,7 +757,13 @@ pub fn parse_packages(build_state: &mut BuildState) {
757
} else {
758
// remove last character of string: resi -> res, rei -> re, mli -> ml
759
let mut implementation_filename = file.to_owned();
760
- implementation_filename.pop();
+ let extension = implementation_filename.extension().unwrap().to_str().unwrap();
761
+ implementation_filename = match extension {
762
+ "resi" => implementation_filename.with_extension("res"),
763
+ "rei" => implementation_filename.with_extension("re"),
764
+ "mli" => implementation_filename.with_extension("ml"),
765
+ _ => implementation_filename,
766
+ };
767
match source_files.get(&implementation_filename) {
768
None => {
769
log::warn!(
0 commit comments