File tree Expand file tree Collapse file tree 2 files changed +4
-6
lines changed
Expand file tree Collapse file tree 2 files changed +4
-6
lines changed Original file line number Diff line number Diff line change @@ -20550,9 +20550,8 @@ let is_unit_name name =
2055020550;;
2055120551
2055220552let check_unit_name ppf filename name =
20553- if not (is_unit_name name) then
20554- Location.print_warning (Location.in_file filename) ppf
20555- (Warnings.Bad_module_name name);;
20553+
20554+ ()
2055620555
2055720556(* Compute name of module from output file name *)
2055820557let module_of_filename ppf inputfile outputprefix =
Original file line number Diff line number Diff line change @@ -20319,9 +20319,8 @@ let is_unit_name name =
2031920319;;
2032020320
2032120321let check_unit_name ppf filename name =
20322- if not (is_unit_name name) then
20323- Location.print_warning (Location.in_file filename) ppf
20324- (Warnings.Bad_module_name name);;
20322+
20323+ ()
2032520324
2032620325(* Compute name of module from output file name *)
2032720326let module_of_filename ppf inputfile outputprefix =
You can’t perform that action at this time.
0 commit comments