From 1d6ac47dc148bcfdb61c205b709b61172374eb30 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Tue, 12 Feb 2013 17:38:22 +0100
Subject: Make the file:filename() type more restrictive

The recommended type for filenames is a list of characters (which
may be Unicode characters greater than 255). Change the
file:filename() to reflect that.

For the filename module we still need a type that can be either
a string or a binary, so we need to introduce the type
file:filename_all().
---
 lib/kernel/doc/src/file.xml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/kernel/doc')

diff --git a/lib/kernel/doc/src/file.xml b/lib/kernel/doc/src/file.xml
index a96da0fb4e..069b13eacf 100644
--- a/lib/kernel/doc/src/file.xml
+++ b/lib/kernel/doc/src/file.xml
@@ -109,6 +109,9 @@
     <datatype>
       <name name="filename"/>
     </datatype>
+    <datatype>
+      <name name="filename_all"/>
+    </datatype>
     <datatype>
       <name name="io_device"/>
       <desc>
-- 
cgit v1.2.3