Changes between Initial Version and Version 4 of Ticket #6117


Ignore:
Timestamp:
Oct 12, 2012 7:41:42 AM (18 months 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