@@ -599,7 +599,7 @@ fn extend_with_children(
599
599
/// Make turns a folder, that should contain a config, into a tree of Packages.
600
600
/// It does so in two steps:
601
601
/// 1. Get all the packages parsed, and take all the source folders from the config
602
- /// 2. Take the (by then deduplicated) packages, and find all the '.re', '. res', '.ml ' and
602
+ /// 2. Take the (by then deduplicated) packages, and find all the '.res' and
603
603
/// interface files.
604
604
///
605
605
/// The two step process is there to reduce IO overhead
@@ -785,13 +785,11 @@ pub fn parse_packages(build_state: &mut BuildState) {
785
785
is_type_dev : metadata. is_type_dev ,
786
786
} ) ;
787
787
} else {
788
- // remove last character of string: resi -> res, rei -> re, mli -> ml
788
+ // remove last character of string: resi -> res
789
789
let mut implementation_filename = file. to_owned ( ) ;
790
790
let extension = implementation_filename. extension ( ) . unwrap ( ) . to_str ( ) . unwrap ( ) ;
791
791
implementation_filename = match extension {
792
792
"resi" => implementation_filename. with_extension ( "res" ) ,
793
- "rei" => implementation_filename. with_extension ( "re" ) ,
794
- "mli" => implementation_filename. with_extension ( "ml" ) ,
795
793
_ => implementation_filename,
796
794
} ;
797
795
match source_files. get ( & implementation_filename) {
0 commit comments