test4refine.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 50 行

trait C {}
trait D {}
trait E {}

object test {
  def c: C = c;
  def d: D = d;
  def e: E = e;
}

import test._;

trait S extends o.I {
    type Y = D;
    def bar: E = foo(c,d);
}

abstract class O() {
    type X;
    abstract trait I {
	type Y;
        def foo(x: X, y: Y): E = e;
    }
    val i:I { type Y = E } = null;
    val j:I { type Y = X } = null;
}

object o extends O() {
  type X = C;

  def main = {
    val s: S = null;
    import s._;
    foo(c,d);
    o.i.foo(c,e);
    o.j.foo(c,c);
    bar
  }
}

class Main() {
  val s: S = null;
  import s._;
  foo(c,d);
  o.i.foo(c,e);
  o.j.foo(c,c);
  bar;
}