Merge branch 'bjorn/stdlib/types'

* bjorn/stdlib/types:
  Make the file:filename() type more restrictive
  c: Remove handling of binaries in return from file:list_dir/1

2 files changed, 16 insertions, 32 deletions

diff --git a/lib/stdlib/src/c.erl b/lib/stdlib/src/c.erl
index 535f2d5174..e31ae6b9ef 100644
--- a/lib/stdlib/src/c.erl
+++ b/lib/stdlib/src/c.erl
@@ -685,7 +685,7 @@ portformat(Name, Id, Cmd) ->
 pwd() ->
     case file:get_cwd() of
 	{ok, Str} ->
-	    ok = io:format("~ts\n", [fixup_one_bin(Str)]);
+	    ok = io:format("~ts\n", [Str]);
 	{error, _} ->
 	    ok = io:format("Cannot determine current directory\n")
     end.
@@ -712,27 +712,11 @@ ls() ->
 ls(Dir) ->
     case file:list_dir(Dir) of
 	{ok, Entries} ->
-	    ls_print(sort(fixup_bin(Entries)));
+	    ls_print(sort(Entries));
 	{error,_E} ->
 	    format("Invalid directory\n")
     end.
 
-fixup_one_bin(X) when is_binary(X) ->
-    L = binary_to_list(X),
-    [ if 
-	  El > 127 ->
-	      $?;
-	  true ->
-	      El
-      end || El <- L];
-fixup_one_bin(X) -> 
-    X.
-fixup_bin([H|T]) ->
-    [fixup_one_bin(H) | fixup_bin(T)];
-fixup_bin([]) ->
-    [].
-	      
-
 ls_print([]) -> ok;
 ls_print(L) ->
     Width = min([max(lengths(L, [])), 40]) + 5,
diff --git a/lib/stdlib/src/filename.erl b/lib/stdlib/src/filename.erl
index 0c50eb34e6..e944dd4c43 100644
--- a/lib/stdlib/src/filename.erl
+++ b/lib/stdlib/src/filename.erl
@@ -61,13 +61,13 @@
 %% (for WIN32): absname("/") -> "D:/"
 
 
--spec absname(Filename) -> file:filename() when
+-spec absname(Filename) -> file:filename_all() when
       Filename :: file:name().
 absname(Name) ->
     {ok, Cwd} = file:get_cwd(),
     absname(Name, Cwd).
 
--spec absname(Filename, Dir) -> file:filename() when
+-spec absname(Filename, Dir) -> file:filename_all() when
       Filename :: file:name(),
       Dir :: file:name().
 absname(Name, AbsBase) when is_binary(Name), is_list(AbsBase) ->
@@ -122,7 +122,7 @@ absname_vr([[X, $:]|Name], _, _AbsBase) ->
 %% This is just a join/2, but assumes that 
 %% AbsBase must be absolute and Name must be relative.
 
--spec absname_join(Dir, Filename) -> file:filename() when
+-spec absname_join(Dir, Filename) -> file:filename_all() when
       Dir :: file:name(),
       Filename :: file:name().
 absname_join(AbsBase, Name) ->
@@ -136,7 +136,7 @@ absname_join(AbsBase, Name) ->
 %%           basename("/usr/foo/") -> "foo"  (trailing slashes ignored)
 %%           basename("/") -> []
 
--spec basename(Filename) -> file:filename() when
+-spec basename(Filename) -> file:filename_all() when
       Filename :: file:name().
 basename(Name) when is_binary(Name) ->
     case os:type() of
@@ -201,7 +201,7 @@ skip_prefix(Name, _) ->
 %%	    rootname(basename("xxx.jam")) -> "xxx"
 %%	    rootname(basename("xxx.erl")) -> "xxx"
 
--spec basename(Filename, Ext) -> file:filename() when
+-spec basename(Filename, Ext) -> file:filename_all() when
       Filename :: file:name(),
       Ext :: file:name().
 basename(Name, Ext) when is_binary(Name), is_list(Ext) ->
@@ -251,7 +251,7 @@ basename([], _Ext, Tail, _DrvSep2) ->
 %% Example: dirname("/usr/src/kalle.erl") -> "/usr/src",
 %%	    dirname("kalle.erl") -> "."
 
--spec dirname(Filename) -> file:filename() when
+-spec dirname(Filename) -> file:filename_all() when
       Filename :: file:name().
 dirname(Name) when is_binary(Name) ->
     {Dsep,Drivesep} = separators(),
@@ -344,7 +344,7 @@ dirjoin1([H|T],Acc,Sep) ->
 %%
 %% On Windows:  fn:dirname("\\usr\\src/kalle.erl") -> "/usr/src"
 
--spec extension(Filename) -> file:filename() when
+-spec extension(Filename) -> file:filename_all() when
       Filename :: file:name().
 extension(Name) when is_binary(Name) ->
     {Dsep,_} = separators(),
@@ -387,7 +387,7 @@ extension([], Result, _OsType) ->
 
 %% Joins a list of filenames with directory separators.
 
--spec join(Components) -> file:filename() when
+-spec join(Components) -> file:filename_all() when
       Components :: [file:name()].
 join([Name1, Name2|Rest]) ->
     join([join(Name1, Name2)|Rest]);
@@ -400,7 +400,7 @@ join([Name]) when is_atom(Name) ->
 
 %% Joins two filenames with directory separators.
 
--spec join(Name1, Name2) -> file:filename() when
+-spec join(Name1, Name2) -> file:filename_all() when
       Name1 :: file:name(),
       Name2 :: file:name().
 join(Name1, Name2) when is_list(Name1), is_list(Name2) ->
@@ -488,7 +488,7 @@ maybe_remove_dirsep(Name, _) ->
 %% a given base directory, which is is assumed to be normalised
 %% by a previous call to join/{1,2}.
 
--spec append(file:filename(), file:name()) -> file:filename().
+-spec append(file:filename_all(), file:name()) -> file:filename_all().
 append(Dir, Name) when is_binary(Dir), is_binary(Name) ->
     <<Dir/binary,$/:8,Name/binary>>;
 append(Dir, Name) when is_binary(Dir) ->
@@ -564,7 +564,7 @@ win32_pathtype(_) 		  -> relative.
 %% Examples: rootname("/jam.src/kalle") -> "/jam.src/kalle"
 %%           rootname("/jam.src/foo.erl") -> "/jam.src/foo"
 
--spec rootname(Filename) -> file:filename() when
+-spec rootname(Filename) -> file:filename_all() when
       Filename :: file:name().
 rootname(Name) when is_binary(Name) ->
     list_to_binary(rootname(binary_to_list(Name))); % No need to handle unicode, . is < 128
@@ -594,7 +594,7 @@ rootname([], Root, _Ext, _OsType) ->
 %% Examples: rootname("/jam.src/kalle.jam", ".erl") -> "/jam.src/kalle.jam"
 %%           rootname("/jam.src/foo.erl", ".erl") -> "/jam.src/foo"
 
--spec rootname(Filename, Ext) -> file:filename() when
+-spec rootname(Filename, Ext) -> file:filename_all() when
       Filename :: file:name(),
       Ext :: file:name().
 rootname(Name, Ext) when is_binary(Name), is_binary(Ext) ->
@@ -717,7 +717,7 @@ split([], Comp, Components, OsType) ->
 %% will be converted to backslashes.  On all platforms, the
 %% name will be normalized as done by join/1.
 
--spec nativename(Path) -> file:filename() when
+-spec nativename(Path) -> file:filename_all() when
       Path :: file:name().
 nativename(Name0) ->
     Name = join([Name0]),			%Normalize.
@@ -921,7 +921,7 @@ major_os_type() ->
 %% flatten(List)
 %%  Flatten a list, also accepting atoms.
 
--spec flatten(Filename) -> file:filename() when
+-spec flatten(Filename) -> file:filename_all() when
       Filename :: file:name().
 flatten(Bin) when is_binary(Bin) ->
     Bin;