Changes between Initial Version and Version 4 of Ticket #6117


Ignore:
Timestamp:
Oct 12, 2012 7:41:42 AM (3 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #6117

    • Property Component changed from Compiler to Compiler (Type checker)
    • Property Test Case changed from to T6117
    • Property Difficulty changed from to Unknown
    • Property Milestone changed from to 7.8.1
    • Property Owner set to simonpj
  • Ticket #6117 – Description

    initial v4  
    11If there is a cyclic class hierarchy like
    2 
     2{{{
    33    class B a => Semigroup a                  where ...[[BR]]
    44    class Semigroup (Additive a) => Ring a    where ...[[BR]]
    55    instance Ring a => Semigroup (Additive a) where ...[[BR]]
     6}}}
     7then uses of B's methods on `(Additive a)` in the method implementations of the
     8third declaration `instance Ring a => Semigroup (Additive a)` will:
    69
    7 then uses of B's methods on (Additive a) in the method implementations of the
    8 third declaration "instance Ring a => Semigroup (Additive a)" will:
    9 
    10     1. be accepted by the compiler even in cases where B (Additive a) is not
    11        derivable.
     10    1. be accepted by the compiler even in cases where `B (Additive a)` is not derivable.
    1211    2. result in <<loop>>.
    1312