diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-05-04 14:36:14 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-05-04 14:36:14 +0000 |
commit | 20192c84a98212ba2de6f52553b4ec7dafb6c6c3 (patch) | |
tree | 317a4aa4118d13be5da3ece24debfa1528d337ac /test | |
parent | c4732915972ebe78d95a033350b176d7dbe75288 (diff) | |
download | scala-20192c84a98212ba2de6f52553b4ec7dafb6c6c3.tar.gz scala-20192c84a98212ba2de6f52553b4ec7dafb6c6c3.tar.bz2 scala-20192c84a98212ba2de6f52553b4ec7dafb6c6c3.zip |
Revert r21790: "closes #3373, #3177: validity c...
Revert r21790: "closes #3373, #3177: validity check of an implicit "
value should consider the value as well as its accessor Revert r21792: "
"sorry, last-minute edit broke build: re-added parens "
will investigate how it broke and why my local pre-commit tests did not
catch the failure...
no review
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/t3177.scala | 39 | ||||
-rw-r--r-- | test/files/pos/t3373.scala | 11 |
2 files changed, 0 insertions, 50 deletions
diff --git a/test/files/pos/t3177.scala b/test/files/pos/t3177.scala deleted file mode 100644 index 9f9528faec..0000000000 --- a/test/files/pos/t3177.scala +++ /dev/null @@ -1,39 +0,0 @@ -trait InvariantFunctor[F[_]] { - def xmap[A, B](ma: F[A], f: A => B, g: B => A): F[B] -} - -object InvariantFunctor { - import Endo._ - - implicit val EndoInvariantFunctor = new InvariantFunctor[Endo] { - def xmap[A, B](ma: Endo[A], f: A => B, g: B => A): Endo[B] = (b: B) => f(ma(g(b))) - } - - // The definition about fails with: - // anon-type.scala:9: error: not found: value b - // def xmap[A, B](ma: Endo[A], f: A => B, g: B => A): Endo[B] = (b: B) => f(ma(g(b))) - // ^ - // anon-type.scala:8: error: not found: type $anon - // implicit val EndoInvariantFunctor = new InvariantFunctor[Endo] { - // ^ - - - // These both work: - // implicit val EndoInvariantFunctorAscribed: InvariantFunctor[Endo] = new InvariantFunctor[Endo] { - // def xmap[A, B](ma: Endo[A], f: A => B, g: B => A): Endo[B] = (b: B) => f(ma(g(b))) - // } - // - // implicit val EndoInvariantFunctorStubbed = new InvariantFunctor[Endo] { - // def xmap[A, B](ma: Endo[A], f: A => B, g: B => A): Endo[B] = error("stub") - // } -} - -trait Endo[X] - -object Endo { - implicit def EndoTo[A](f: A => A): Endo[A] = new Endo[A] { - def apply(a: A) = f(a) - } - - implicit def EndoFrom[A](e: Endo[A]): A => A = e.apply(_) -}
\ No newline at end of file diff --git a/test/files/pos/t3373.scala b/test/files/pos/t3373.scala deleted file mode 100644 index b4af3610bb..0000000000 --- a/test/files/pos/t3373.scala +++ /dev/null @@ -1,11 +0,0 @@ -class Entry(time: Long) { - def getTime: Long = time -} - -object Test { - def extractTime(e: Entry) = e.getTime - - implicit val orderEntries = new Ordering[Entry] { - def compare(first: Entry, second: Entry) = extractTime(first) compare extractTime(second) - } -}
\ No newline at end of file |