Scala Programming Language
  1. Scala Programming Language
  2. SI-5033

override checking of dependent method types broken

    Details

    • Type: Bug Bug
    • Status: Closed
    • Priority: Major Major
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: Scala 2.10.0-M1
    • Component/s: None
    • Labels:

      Description

      this should compile, instead we get `error: overriding method extract in trait PipExtractor of type (f: Fruit)f.Seed;
      method extract has incompatible type`

      trait Fruit {
        type Seed
      }
      
      trait PipExtractor {
        def extract(f: Fruit): f.Seed
      }
      
      trait LaserGuidedPipExtractor extends PipExtractor {
        def extract(f: Fruit): f.Seed
      }
      

        Activity

        Hide
        Commit Message Bot added a comment -

        (moors in r25860) 5033: align bound syms when comparing method types

        can't believe I missed that one...

        closes SI-5033

        more complete test case to make sure the multi-arglist case works as well

        no review

        Show
        Commit Message Bot added a comment - (moors in r25860 ) 5033: align bound syms when comparing method types can't believe I missed that one... closes SI-5033 more complete test case to make sure the multi-arglist case works as well no review
        Hide
        Simon Ochsenreither added a comment -

        Could this be included in the 2.9.x branch?

        Show
        Simon Ochsenreither added a comment - Could this be included in the 2.9.x branch?

          People

          • Assignee:
            Adriaan Moors
            Reporter:
            Adriaan Moors
          • Votes:
            0 Vote for this issue
            Watchers:
            4 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved:

              Development