diff options
| author | Enrico Tassi | 2019-12-20 12:44:29 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2019-12-20 12:44:29 +0100 |
| commit | d972d5f08ebf9f7bf4f528f7e57bb5c1034a94ce (patch) | |
| tree | 7b38bf50f65524c8dfb5c0bc9fe46a35c5c6ed7d /doc/sphinx | |
| parent | 5c667d56cd0a441f787019aef44bf18bec9c7b20 (diff) | |
| parent | 025dc51c2eef7e7ea302465ff05d04d6fd4e7173 (diff) | |
Merge PR #11258: Coherence checking for coercions
Reviewed-by: gares
Diffstat (limited to 'doc/sphinx')
| -rw-r--r-- | doc/sphinx/addendum/implicit-coercions.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/sphinx/addendum/implicit-coercions.rst b/doc/sphinx/addendum/implicit-coercions.rst index c3b197288f..19b33f0d90 100644 --- a/doc/sphinx/addendum/implicit-coercions.rst +++ b/doc/sphinx/addendum/implicit-coercions.rst @@ -165,6 +165,12 @@ Declaring Coercions convertible with existing ones when they have coercions that don't satisfy the uniform inheritance condition. + .. warn:: ... is not definitionally an identity function. + + If a coercion path has the same source and target class, that is said to be + circular. When a new circular coercion path is not convertible with the + identity function, it will be reported as ambiguous. + .. cmdv:: Local Coercion @qualid : @class >-> @class Declares the construction denoted by :token:`qualid` as a coercion local to |