@@ -599,7 +599,7 @@ fn extend_with_children(
599599/// Make turns a folder, that should contain a config, into a tree of Packages.
600600/// It does so in two steps:
601601/// 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
603603/// interface files.
604604///
605605/// The two step process is there to reduce IO overhead
@@ -785,13 +785,11 @@ pub fn parse_packages(build_state: &mut BuildState) {
785785 is_type_dev : metadata. is_type_dev ,
786786 } ) ;
787787 } else {
788- // remove last character of string: resi -> res, rei -> re, mli -> ml
788+ // remove last character of string: resi -> res
789789 let mut implementation_filename = file. to_owned ( ) ;
790790 let extension = implementation_filename. extension ( ) . unwrap ( ) . to_str ( ) . unwrap ( ) ;
791791 implementation_filename = match extension {
792792 "resi" => implementation_filename. with_extension ( "res" ) ,
793- "rei" => implementation_filename. with_extension ( "re" ) ,
794- "mli" => implementation_filename. with_extension ( "ml" ) ,
795793 _ => implementation_filename,
796794 } ;
797795 match source_files. get ( & implementation_filename) {
0 commit comments