diff options
| author | Hans Bolinder <[email protected]> | 2015-12-09 08:57:58 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-12-09 08:57:58 +0100 |
| commit | 0e69465fba029c2f133982650dca564974a2f56d (patch) | |
| tree | fb155d65bdfc6f0e320143d014f913a4acabf5b7 | |
| parent | cfecb31a2f6795dafb8858e39a3844bd301b84db (diff) | |
| parent | 0a26778f89e58b5edcbf9c2e5a55eb702ef80593 (diff) | |
| download | otp-0e69465fba029c2f133982650dca564974a2f56d.tar.gz otp-0e69465fba029c2f133982650dca564974a2f56d.tar.bz2 otp-0e69465fba029c2f133982650dca564974a2f56d.zip | |
Merge branch 'maint'
* maint:
erts: Correct the types section in The Abstract Format document
| -rw-r--r-- | erts/doc/src/absform.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/erts/doc/src/absform.xml b/erts/doc/src/absform.xml index 63e9abc210..1c0c3e1319 100644 --- a/erts/doc/src/absform.xml +++ b/erts/doc/src/absform.xml @@ -583,7 +583,7 @@ <list type="bulleted"> <item>If C is a constraint <c>is_subtype(V, T)</c> or <c>V :: T</c>, where <c>V</c> is a type variable and <c>T</c> is a type, then - Rep(C) = <c>{type,LINE,constraint,[Rep(F),[Rep(V),Rep(T)]]}</c>. + Rep(C) = <c>{type,LINE,constraint,[{atom,LINE,is_subtype},[Rep(V),Rep(T)]]}</c>. </item> </list> </section> |