Refined name-based patmat methods.

This fleshes out some of the slightly unfinished corners
of the adventure, especially for unapplySeq. There's still
an unhealthy amount of duplication and a paucity of
specification, but I think it's in eminently good shape
for a milestone.

1 files changed, 2 insertions, 4 deletions

diff --git a/src/compiler/scala/tools/nsc/transform/patmat/MatchCodeGen.scala b/src/compiler/scala/tools/nsc/transform/patmat/MatchCodeGen.scala
index 52055dea85..2bd14d923a 100644
--- a/src/compiler/scala/tools/nsc/transform/patmat/MatchCodeGen.scala
+++ b/src/compiler/scala/tools/nsc/transform/patmat/MatchCodeGen.scala
@@ -87,10 +87,8 @@ trait MatchCodeGen extends Interface {
     def _match(n: Name): SelectStart = matchStrategy DOT n
 
     // TODO: error message
-    private lazy val oneType                                 = typer.typedOperator(_match(vpmName.one)).tpe
-    private def oneApplied(tp: Type): Type                   = appliedType(oneType, tp :: Nil)
-    override def pureType(tp: Type): Type                    = firstParamType(oneApplied(tp))
-    override def mapResultType(prev: Type, elem: Type): Type = oneApplied(elem).finalResultType
+    private lazy val oneType              = typer.typedOperator(_match(vpmName.one)).tpe
+    override def pureType(tp: Type): Type = firstParamType(appliedType(oneType, tp :: Nil))
   }
 
   trait PureCodegen extends CodegenCore with PureMatchMonadInterface {