Skip to content

Instantly share code, notes, and snippets.

@markhibberd
Created December 20, 2012 22:11
Show Gist options
  • Save markhibberd/4349013 to your computer and use it in GitHub Desktop.
Save markhibberd/4349013 to your computer and use it in GitHub Desktop.
Implicit resolution failing on 2.10.0-RC5 with type alias.
Welcome to Scala version 2.10.0-RC5 (OpenJDK 64-Bit Server VM, Java 1.7.0_02).
Type in expressions to have them evaluated.
Type :help for more information.
scala> import org.scalacheck._
import org.scalacheck._
scala> type ListString = List[String]
defined type alias ListString
scala> implicitly[Arbitrary[List[String] => List[String]]]
res0: org.scalacheck.Arbitrary[List[String] => List[String]] = org.scalacheck.Arbitrary$$anon$2@7e4cd909
scala> implicitly[Arbitrary[ListString => ListString]]
<console>:24: error: could not find implicit value for parameter e: org.scalacheck.Arbitrary[ListString => ListString]
implicitly[Arbitrary[ListString => ListString]]
^
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment