diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-04-27 17:11:36 +0200 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-05-02 12:30:28 +0200 |
| commit | f004e99b2fb7450fbfd0c5d96a4b2406cb8fc142 (patch) | |
| tree | 69e52be0bd8f9b823768daed95c0169acbea8df0 /src/compiler | |
| parent | 90d2bee45b25844f809f8c5300aefcb1bfe9e336 (diff) | |
| download | scala-f004e99b2fb7450fbfd0c5d96a4b2406cb8fc142.tar.gz scala-f004e99b2fb7450fbfd0c5d96a4b2406cb8fc142.tar.bz2 scala-f004e99b2fb7450fbfd0c5d96a4b2406cb8fc142.zip | |
small tree attachment refactoring: firstAttachment
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 41b896eb93..2410117af7 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -2209,7 +2209,8 @@ trait Typers extends Modes with Adaptations with Taggings with PatMatVirtualiser def adaptCase(cdef: CaseDef, mode: Int, tpe: Type): CaseDef = deriveCaseDef(cdef)(adapt(_, mode, tpe)) // takes untyped sub-trees of a match and type checks them - def typedMatch(selector0: Tree, cases: List[CaseDef], mode: Int, resTp: Type) = { + def typedMatch(selector0: Tree, cases: List[CaseDef], mode: Int, resTp: Type): Match = { + // strip off the annotation as it won't type check val (selector, doTranslation) = selector0 match { case Annotated(Ident(nme.synthSwitch), selector) => (selector, false) case s => (s, true) |