Details

    • Type: Improvement Improvement
    • Status: Closed
    • Priority: Critical Critical
    • Resolution: Won't Fix
    • Affects Version/s: None
    • Fix Version/s: Scala 2.10.0-M3
    • Component/s: Reflection
    • Labels:
      None

      Description

      Gilles, am opening this ticket for you since it came up in email between martin and me and we didn't want it to slip through the cracks. I am willing to implement it if you like but I could use a sketch of how you think I ought to go about it.

      ClassManifest.scala:

          def subargs(args1: List[OptManifest[_]], args2: List[OptManifest[_]]): Boolean = {
            (args1 zip args2) forall { 
              case (x: ClassManifest[_], y: ClassManifest[_]) => x <:< y // !!! [Martin] this is wrong, need to take variance into account
              case (NoManifest, NoManifest) => true
              case _ => false
            }
          }
      

        Activity

        Hide
        Eugene Burmako added a comment -

        Scala 2.10.0-M3 includes type tags (which may be renamed by the time 2.10.0-final hits). Type tags are thin wrappers over compiler's Types, which means that they support all intricacies of Scala's type system.

        Type tags are now a recommended way to reify types, and manifests are deprecated. Hence we won't invest into fixing bugs in manifests, especially such deep as this one.

        Show
        Eugene Burmako added a comment - Scala 2.10.0-M3 includes type tags (which may be renamed by the time 2.10.0-final hits). Type tags are thin wrappers over compiler's Types, which means that they support all intricacies of Scala's type system. Type tags are now a recommended way to reify types, and manifests are deprecated. Hence we won't invest into fixing bugs in manifests, especially such deep as this one.

          People

          • Assignee:
            Unassigned
            Reporter:
            Paul Phillips
            TracCC:
            Paul Phillips, Seth Tisue
          • Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved:

              Development