diff options
| author | Hans Bolinder <[email protected]> | 2017-01-13 09:37:32 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-01-13 09:37:32 +0100 |
| commit | 82645ab6d5e25b999c4c1824c2d323c289d1e1a7 (patch) | |
| tree | 85a98de8f9a94dcd809e82accb58938d427b792f /erts/doc | |
| parent | e36147a9f7bc7c238416ec9cf4e0fff04e604f1c (diff) | |
| parent | 91048957f0681dba853f5720d3618aa1c5d0255e (diff) | |
| download | otp-82645ab6d5e25b999c4c1824c2d323c289d1e1a7.tar.gz otp-82645ab6d5e25b999c4c1824c2d323c289d1e1a7.tar.bz2 otp-82645ab6d5e25b999c4c1824c2d323c289d1e1a7.zip | |
Merge branch 'hasse/stdlib/check_type_constraints/OTP-14070/PR-1214'
* hasse/stdlib/check_type_constraints/OTP-14070/PR-1214:
stdilb: Check for bad type constraints in function types
Diffstat (limited to 'erts/doc')
| -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 ab00d47425..fe8e3b30e7 100644 --- a/erts/doc/src/absform.xml +++ b/erts/doc/src/absform.xml @@ -886,7 +886,7 @@ Rep(Fc) = <c>[Rep(C_1), ..., Rep(C_k)]</c>.</p> <list type="bulleted"> - <item>If C is a constraint <c>is_subtype(V, T)</c> or <c>V :: T</c>, + <item>If C is a constraint <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,[{atom,LINE,is_subtype},[Rep(V),Rep(T)]]}</c>. |