Changeset 4281 for trunk/ProjectFortress/src

Timestamp:

10/23/09 06:35:37 (5 weeks ago)

Author:

sukyoungryu

Message:

[type checker] Fixed STypesUtil.staticArgsMatchStaticParams: check only the kinds of the given static parameter and static argument pair. Whether the static type argument satisfies the bound of the corresponding static parameter cannot be checked before the instantiation happens.

Files:

• trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) (2 diffs)

trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala

@@ -487 +487 @@
   }
 
+
   /**
    * Instantiate only the unlifted static parameters with the given static args
@@ -523 +524 @@
       val (param, arg) = paramAndArg
       (arg, param.getKind) match {
-        case (STypeArg(_, _, argType), _:KindType) =>
-          toList(param.getExtendsClause).
-            forall(!analyzer.subtype(argType, _).isFalse)
+        case (_:TypeArg, _:KindType) => true
         case (_:IntArg, _:KindInt) => true
         case (_:BoolArg, _:KindBool) => true