diff options
Diffstat (limited to 'sources/examples/typeinf.scala')
-rw-r--r-- | sources/examples/typeinf.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/examples/typeinf.scala b/sources/examples/typeinf.scala index 5ff6f03f50..af94f9d3c4 100644 --- a/sources/examples/typeinf.scala +++ b/sources/examples/typeinf.scala @@ -40,7 +40,7 @@ case class ListSet[a](elems: List[a]) { module typeInfer { - trait Subst extends Function1[Type,Type] { + trait Subst with Function1[Type,Type] { def lookup(x: Tyvar): Type; def apply(t: Type): Type = t match { case Tyvar(a) => val u = lookup(Tyvar(a)); if (t == u) t else apply(u); @@ -159,4 +159,4 @@ module test { showType(Lam("x", App(App(Var("cons"), Var("x")), Var("nil")))); -}
\ No newline at end of file +} |