diff options
| author | Hans Bolinder <[email protected]> | 2016-06-08 12:14:21 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-06-08 12:43:35 +0200 |
| commit | 5e7542d6f7cd1964839f6214915c7f9b7d7f8866 (patch) | |
| tree | ba277c79284ef266a220097b45f8ab4a9005c25a /lib/edoc/priv | |
| parent | 39c6338a1b671a98cc2c8d21e9ba373816e5071a (diff) | |
| download | otp-5e7542d6f7cd1964839f6214915c7f9b7d7f8866.tar.gz otp-5e7542d6f7cd1964839f6214915c7f9b7d7f8866.tar.bz2 otp-5e7542d6f7cd1964839f6214915c7f9b7d7f8866.zip | |
edoc: Fix new Maps syntax
Diffstat (limited to 'lib/edoc/priv')
| -rw-r--r-- | lib/edoc/priv/edoc.dtd | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/edoc/priv/edoc.dtd b/lib/edoc/priv/edoc.dtd index 4278a9e643..89058f5d85 100644 --- a/lib/edoc/priv/edoc.dtd +++ b/lib/edoc/priv/edoc.dtd @@ -103,7 +103,7 @@ <!ATTLIST type name CDATA #IMPLIED> <!ELEMENT union (typevar | atom | integer | float | nil | list | tuple | - fun | record | abstype)+> + fun | record | map | abstype)+> <!ELEMENT typevar EMPTY> <!ATTLIST typevar name CDATA #REQUIRED> @@ -129,6 +129,10 @@ <!ELEMENT field (atom, type)> +<!ELEMENT map (map_field)*> + +<!ELEMENT map_field (type, type)> + <!ELEMENT abstype (erlangName, type*)> <!ATTLIST abstype href CDATA #IMPLIED> |