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

parameter type inference with type paramers broken

    Details

    • Type: Bug Bug
    • Status: Open
    • Priority: Minor Minor
    • Resolution: Unresolved
    • Affects Version/s: None
    • Fix Version/s: Backlog
    • Component/s: Type Checker
    • Labels:

      Description

      the type infered for parameters of an overriding method do not refer to the right type parameter symbol (skolemized / deSkolemized).

      lamppc26:~ luc$$ workspace/scala/build/quick/bin/scala -Xexperimental -uniqid
      Welcome to Scala version (unknown) (Java HotSpot(TM) Client VM, Java 1.5.0_16).
      Type in expressions to have them evaluated.
      Type :help for more information.
      
      scala> class A { def foo[A](a: A) = a }
      defined class A
      
      scala> class B extends A { override def foo[A](b) = b }
      <console>:5: error: type mismatch;
       found   : ASI-10818
       required: ASI-10819
             class B extends A { override def foo[A](b) = b }
                                                          ^
      

        Activity

        Hide
        Adriaan Moors added a comment -

        Unassigning as milestone deadline was reached.

        Show
        Adriaan Moors added a comment - Unassigning as milestone deadline was reached.

          People

          • Assignee:
            Unassigned
            Reporter:
            Lukas Rytz
          • Votes:
            1 Vote for this issue
            Watchers:
            4 Start watching this issue

            Dates

            • Created:
              Updated:

              Development