diff options
| author | Björn Gustavsson <[email protected]> | 2013-02-12 17:38:22 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2013-02-13 11:25:54 +0100 |
| commit | 1d6ac47dc148bcfdb61c205b709b61172374eb30 (patch) | |
| tree | b9ea8e5e302c7f12f3e9aee3c4ce4ff63c2d2b4b /lib/kernel/doc | |
| parent | 87fe90a69421b9fc462f94a6bf4b760f92fd49e0 (diff) | |
| download | otp-1d6ac47dc148bcfdb61c205b709b61172374eb30.tar.gz otp-1d6ac47dc148bcfdb61c205b709b61172374eb30.tar.bz2 otp-1d6ac47dc148bcfdb61c205b709b61172374eb30.zip | |
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().
Diffstat (limited to 'lib/kernel/doc')
| -rw-r--r-- | lib/kernel/doc/src/file.xml | 3 |
1 files changed, 3 insertions, 0 deletions
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 @@ -110,6 +110,9 @@ <name name="filename"/> </datatype> <datatype> + <name name="filename_all"/> + </datatype> + <datatype> <name name="io_device"/> <desc> <p>As returned by |