From 943fbb1363345fdaca55e5df95059e8ce8c1344b Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Sat, 2 Oct 2010 23:19:16 +0000 Subject: The next batch of tests put up a little more st... The next batch of tests put up a little more struggle, but only a little. See test/pending/pos/unappgadteval.scala (the changes for which were in the previous commit) for an example of a test which might be on to something. Any idea what it would take to get it working? // the key lines case i @ Suc() => { (y: Int) => y + 1 } // a = Int => Int case f @ Lam[b,c](x, e) => { (y: b) => eval(e, env.extend(x, y)) } // a = b=>c No review. --- test/files/run/records.scala | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 test/files/run/records.scala (limited to 'test/files/run/records.scala') diff --git a/test/files/run/records.scala b/test/files/run/records.scala new file mode 100644 index 0000000000..c1dc7b67e8 --- /dev/null +++ b/test/files/run/records.scala @@ -0,0 +1,27 @@ +trait C { + def f: Int +} + +object Test { + type T = C { + def f: Int + def g: String + } + + val x: T = new C { + def f = 1 + def g = "hello" + } + + val y = new C { + def f = 2 + def g = " world" + } + + val z: T = y + + def main(args: Array[String]): Unit = { + assert(x.f+z.f == 3) + assert(x.g+z.g == "hello world") + } +} -- cgit v1.2.3