Tweaks to adaptation and interpolation

1. Needed to interpolate aftyer implicit parameyters are added.
2. Also needed to avoid constraining typevars if compared against selection proto.

Original coder example now typechecks.

1 files changed, 2 insertions, 4 deletions

diff --git a/tests/pos/Coder.scala b/tests/pos/Coder.scala
index 73e2542c0..cb6464e8b 100644
--- a/tests/pos/Coder.scala
+++ b/tests/pos/Coder.scala
@@ -38,14 +38,12 @@ class Coder(words: List[String]) {
   def encode(number: String): Set[List[String]] = 
     if (number.isEmpty) Set(Nil)
     else {
-      val xs = (for {
+      for {
         splitPoint <- 1 to number.length
         word <- wordsForNum(number take splitPoint)
         rest <- encode(number drop splitPoint)
       } yield word :: rest
-      ).toSet
-      xs//.toSet
-    }
+    }.toSet
       
   /** Maps a number to a list of all word phrases that can represent it */
   def translate(number: String): Set[String] = encode(number) map (_ mkString " ")