diff options
author | Hans Bolinder <[email protected]> | 2015-12-09 08:56:07 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2015-12-09 08:56:07 +0100 |
commit | 0a26778f89e58b5edcbf9c2e5a55eb702ef80593 (patch) | |
tree | 5bf953552a37e64d9433012b1f243856b8f02049 | |
parent | 45c940463b7fc16d81d023013c21eac36cd57939 (diff) | |
parent | ce22e0f430a98cc096b056066d427edbd2449a13 (diff) | |
download | otp-0a26778f89e58b5edcbf9c2e5a55eb702ef80593.tar.gz otp-0a26778f89e58b5edcbf9c2e5a55eb702ef80593.tar.bz2 otp-0a26778f89e58b5edcbf9c2e5a55eb702ef80593.zip |
Merge branch 'hb/stdlib/type_printing/OTP-13084' into maint
* hb/stdlib/type_printing/OTP-13084:
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 ca06794a53..186c9a1143 100644 --- a/erts/doc/src/absform.xml +++ b/erts/doc/src/absform.xml @@ -588,7 +588,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> |