aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2015-12-09 08:56:07 +0100
committerHans Bolinder <[email protected]>2015-12-09 08:56:07 +0100
commit0a26778f89e58b5edcbf9c2e5a55eb702ef80593 (patch)
tree5bf953552a37e64d9433012b1f243856b8f02049
parent45c940463b7fc16d81d023013c21eac36cd57939 (diff)
parentce22e0f430a98cc096b056066d427edbd2449a13 (diff)
downloadotp-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.xml2
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>