diff options
author | Martin Odersky <odersky@gmail.com> | 2016-08-23 15:19:10 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-09-14 13:22:20 +0200 |
commit | 51201d23cf0b1e06ab7ab8ea8213c48d5ca12f13 (patch) | |
tree | 568114214b013a6ebe1efc0993e63465689c46b6 /tests/disabled/not-representable/t2337.scala | |
parent | d63dd11ed31f5b500fd08d630bbaec144dbee370 (diff) | |
download | dotty-51201d23cf0b1e06ab7ab8ea8213c48d5ca12f13.tar.gz dotty-51201d23cf0b1e06ab7ab8ea8213c48d5ca12f13.tar.bz2 dotty-51201d23cf0b1e06ab7ab8ea8213c48d5ca12f13.zip |
Add some run tests
Diffstat (limited to 'tests/disabled/not-representable/t2337.scala')
-rw-r--r-- | tests/disabled/not-representable/t2337.scala | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tests/disabled/not-representable/t2337.scala b/tests/disabled/not-representable/t2337.scala new file mode 100644 index 000000000..9e3b8c555 --- /dev/null +++ b/tests/disabled/not-representable/t2337.scala @@ -0,0 +1,21 @@ +// Failure of autotupling in the presence of overloaded functions. +object Test { + + def compare(first: Any, second: Any): Any = { + (first, second) match { + case (k: Int, o: Int) => k compare o + //why the next case matches (Float, Int) but does not match (Int, Float) ??? + case (k: Number, o: Number) => k.doubleValue() compare o.doubleValue() + case _ => "BOGON" + // throw new Exception("Unsupported compare " + first + "; " + second) + } + } + + def main(args: Array[String]): Unit = { + println("Both Int", -1, compare(0, 1)) + println("Both Float", 1, compare(1.0, 0.0)) + println("Float then Int", 0, compare(10.0, 10)) + println("Int then Float", 0, compare(10, 10.0)) //this fails with an exception + } +} + |