Packages

•  package root

  The Scala compiler and reflection APIs.

  The Scala compiler and reflection APIs.

  Definition Classes

  root

•  package scala

  Definition Classes

  root

•  package tools

  Definition Classes

  scala

•  package nsc

  Definition Classes

  tools

•  package typechecker

  Definition Classes

  nsc

•  trait PatternTypers extends AnyRef

  A pattern match such as

  A pattern match such as

  x match { case Foo(a, b) => ...}

  Might match an instance of any of the following definitions of Foo. Note the analogous treatment between case classes and unapplies.

  case class Foo(xs: Int*) case class Foo(a: Int, xs: Int*) case class Foo(a: Int, b: Int) case class Foo(a: Int, b: Int, xs: Int*)

  object Foo { def unapplySeq(x: Any): Option[Seq[Int]] } object Foo { def unapplySeq(x: Any): Option[(Int, Seq[Int])] } object Foo { def unapply(x: Any): Option[(Int, Int)] } object Foo { def unapplySeq(x: Any): Option[(Int, Int, Seq[Int])] }

  Definition Classes

  typechecker

• PatternTyper

scala.tools.nsc.typechecker.PatternTypers

PatternTyper 