Filename: Do not raise an assertion failure on module load (#674)

master
Anil Madhavapeddy 2016-07-08 07:18:30 +01:00 committed by Mark Shinwell
parent c141fa5f22
commit 999a9a22f3
1 changed files with 5 additions and 6 deletions

View File

@ -173,11 +173,6 @@ let (current_dir_name, parent_dir_name, dir_sep, is_dir_sep,
is_relative, is_implicit, check_suffix, temp_dir_name, quote, basename, is_relative, is_implicit, check_suffix, temp_dir_name, quote, basename,
dirname) = dirname) =
match Sys.os_type with match Sys.os_type with
"Unix" ->
(Unix.current_dir_name, Unix.parent_dir_name, Unix.dir_sep,
Unix.is_dir_sep,
Unix.is_relative, Unix.is_implicit, Unix.check_suffix,
Unix.temp_dir_name, Unix.quote, Unix.basename, Unix.dirname)
| "Win32" -> | "Win32" ->
(Win32.current_dir_name, Win32.parent_dir_name, Win32.dir_sep, (Win32.current_dir_name, Win32.parent_dir_name, Win32.dir_sep,
Win32.is_dir_sep, Win32.is_dir_sep,
@ -188,7 +183,11 @@ let (current_dir_name, parent_dir_name, dir_sep, is_dir_sep,
Cygwin.is_dir_sep, Cygwin.is_dir_sep,
Cygwin.is_relative, Cygwin.is_implicit, Cygwin.check_suffix, Cygwin.is_relative, Cygwin.is_implicit, Cygwin.check_suffix,
Cygwin.temp_dir_name, Cygwin.quote, Cygwin.basename, Cygwin.dirname) Cygwin.temp_dir_name, Cygwin.quote, Cygwin.basename, Cygwin.dirname)
| _ -> assert false | _ -> (* normally "Unix" *)
(Unix.current_dir_name, Unix.parent_dir_name, Unix.dir_sep,
Unix.is_dir_sep,
Unix.is_relative, Unix.is_implicit, Unix.check_suffix,
Unix.temp_dir_name, Unix.quote, Unix.basename, Unix.dirname)
let concat dirname filename = let concat dirname filename =
let l = String.length dirname in let l = String.length dirname in