1 files changed, 39 insertions, 0 deletions
diff --git a/tests/untried/pos/unapplyComplex.scala b/tests/untried/pos/unapplyComplex.scala
new file mode 100644
index 000000000..148fcc1bb
--- /dev/null
+++ b/tests/untried/pos/unapplyComplex.scala
@@ -0,0 +1,39 @@
+trait Complex extends Product2[Double, Double] {
+  def canEqual(other: Any) = other.isInstanceOf[Complex]
+}
+
+class ComplexRect(val _1: Double, val _2: Double) extends Complex {
+  override def toString = "ComplexRect("+_1+","+_2+")"
+}
+
+class ComplexPolar(val _1: Double, val _2: Double) extends Complex {
+  override def toString = "ComplexPolar("+_1+","+_2+")"
+}
+
+object ComplexRect {
+  def unapply(z:Complex): Option[Complex] = {
+    if(z.isInstanceOf[ComplexRect]) Some(z) else z match {
+      case ComplexPolar(mod, arg) =>
+	Some(new ComplexRect(mod*math.cos(arg), mod*math.sin(arg)))
+} } }
+
+object ComplexPolar {
+  def unapply(z:Complex): Option[Complex] = {
+    if(z.isInstanceOf[ComplexPolar]) Some(z) else z match {
+      case ComplexRect(re,im) =>
+	Some(new ComplexPolar(math.sqrt(re*re + im*im), math.atan(re/im)))
+} } }
+
+object Test {
+  def main(args:Array[String]) = {
+    new ComplexRect(1,1) match {
+      case ComplexPolar(mod,arg) => // z @ ???
+	Console.println("mod"+mod+"arg"+arg)
+    }
+    val Komplex = ComplexRect
+    new ComplexPolar(math.sqrt(2),math.Pi / 4.0) match {
+      case Komplex(re,im) => // z @ ???
+	Console.println("re"+re+" im"+im)
+    }
+  }
+}