diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2015-03-24 14:16:18 +1000 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2015-03-24 14:16:18 +1000 |
commit | ee864c1d77ecbac354f4dae71b247a54d053fbdb (patch) | |
tree | 8387090e2ed97098be4c5f240a403d155a99fa5f /test/files/run | |
parent | 0abafb54f3c90072798c6987933c924216a8e1f7 (diff) | |
parent | a180f5f24f2094112a01cdb02e0e8f218db68d70 (diff) | |
download | scala-ee864c1d77ecbac354f4dae71b247a54d053fbdb.tar.gz scala-ee864c1d77ecbac354f4dae71b247a54d053fbdb.tar.bz2 scala-ee864c1d77ecbac354f4dae71b247a54d053fbdb.zip |
Merge pull request #4364 from som-snytt/issue/sessiontest
SI-9170 More flexible SessionTest
Diffstat (limited to 'test/files/run')
-rw-r--r-- | test/files/run/t9170.scala | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/test/files/run/t9170.scala b/test/files/run/t9170.scala new file mode 100644 index 0000000000..25a0e84581 --- /dev/null +++ b/test/files/run/t9170.scala @@ -0,0 +1,58 @@ + +import scala.tools.partest.SessionTest + +object Test extends SessionTest { + + override def stripMargins = false + + def session = +"""Type in expressions to have them evaluated. +Type :help for more information. + +scala> object Y { def f[A](a: => A) = 1 ; def f[A](a: => Either[Exception, A]) = 2 } +<console>:7: error: double definition: +def f[A](a: => A): Int at line 7 and +def f[A](a: => Either[Exception,A]): Int at line 7 +have same type after erasure: (a: Function0)Int + object Y { def f[A](a: => A) = 1 ; def f[A](a: => Either[Exception, A]) = 2 } + ^ + +scala> object Y { def f[A](a: => A) = 1 ; def f[A](a: => Either[Exception, A]) = 2 } +<console>:7: error: double definition: +def f[A](a: => A): Int at line 7 and +def f[A](a: => Either[Exception,A]): Int at line 7 +have same type after erasure: (a: Function0)Int + object Y { def f[A](a: => A) = 1 ; def f[A](a: => Either[Exception, A]) = 2 } + ^ + +scala> object Y { + | def f[A](a: => A) = 1 + | def f[A](a: => Either[Exception, A]) = 2 + | } +<console>:9: error: double definition: +def f[A](a: => A): Int at line 8 and +def f[A](a: => Either[Exception,A]): Int at line 9 +have same type after erasure: (a: Function0)Int + def f[A](a: => Either[Exception, A]) = 2 + ^ + +scala> :pa +// Entering paste mode (ctrl-D to finish) + +object Y { + def f[A](a: => A) = 1 + def f[A](a: => Either[Exception, A]) = 2 +} + +// Exiting paste mode, now interpreting. + +<console>:9: error: double definition: +def f[A](a: => A): Int at line 8 and +def f[A](a: => Either[Exception,A]): Int at line 9 +have same type after erasure: (a: Function0)Int + def f[A](a: => Either[Exception, A]) = 2 + ^ + +scala> :quit""" +} + |