Changes between Initial Version and Version 1 of Ticket #14711, comment 134


Ignore:
Timestamp:
10/10/13 21:49:11 (6 years ago)
Author:
nbruin
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14711, comment 134

    initial v1  
    1 I'm not so sure that the coercion system was designed with embeddings as an ''alternative'' to registered embeddings: If you register a map only as an embedding (and not also as a coercion on the codomain) you can end up with the coercion system yielding non-transitive results:
     1I'm not so sure that the coercion system was designed with embeddings as an ''alternative'' to registered coercions: If you register a map only as an embedding (and not also as a coercion on the codomain) you can end up with the coercion system yielding non-transitive results:
    22{{{
    33class pA(Parent): pass