blob: 528ca7b47d95925c33c64084e0c3403d7dab1990 (
plain) (
tree)
|
|
/* ____ ____ ____ ____ ______ *\
** / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala **
** __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL **
** /_____/\____/\___/\____/____/ **
\* */
// $Id$
package scalac.typechecker;
import scalac.symtab.Symbol;
import scalac.symtab.Type;
public abstract class Infer {
/** throw a type error if arguments not within bounds.
*/
public abstract void checkBounds(Symbol[] tparams, Type[] targs, String prefix);
public abstract Type skipViewParams(Symbol[] tparams, Type tp);
}
|