From 51201d23cf0b1e06ab7ab8ea8213c48d5ca12f13 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 23 Aug 2016 15:19:10 +0200 Subject: Add some run tests --- tests/disabled/not-representable/t2337.scala | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 tests/disabled/not-representable/t2337.scala (limited to 'tests/disabled') 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 + } +} + -- cgit v1.2.3