diff options
| author | Enrico Tassi | 2019-03-28 09:52:06 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2019-03-28 09:52:17 +0100 |
| commit | 6d0ffe795f6f29730d59c379285201fd46023935 (patch) | |
| tree | a0e31f24ce950f79fe7fdae5a4dddc5101cb91fa /doc | |
| parent | 383bcf46b12799762fefec7e06fe00b5e33f5a18 (diff) | |
| parent | 7637dc2dd51dd336249cefa828ec95790b3c88c5 (diff) | |
Merge PR #9743: Relax the ambiguous path condition of coercion
Ack-by: SkySkimmer
Reviewed-by: Zimmi48
Ack-by: gares
Ack-by: pi8027
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/addendum/implicit-coercions.rst | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/sphinx/addendum/implicit-coercions.rst b/doc/sphinx/addendum/implicit-coercions.rst index 795fccbf08..d5523e8561 100644 --- a/doc/sphinx/addendum/implicit-coercions.rst +++ b/doc/sphinx/addendum/implicit-coercions.rst @@ -154,8 +154,10 @@ Declaring Coercions .. warn:: Ambiguous path. When the coercion :token:`qualid` is added to the inheritance graph, - invalid coercion paths are ignored; they are signaled by a warning - displaying these paths of the form :g:`[f₁;..;fₙ] : C >-> D`. + invalid coercion paths are ignored. The :cmd:`Coercion` command tries to check + that they are convertible with existing ones on the same classes. + The paths for which this check fails are displayed by a warning in the form + :g:`[f₁;..;fₙ] : C >-> D`. .. cmdv:: Local Coercion @qualid : @class >-> @class |