diff options
| author | paltherr <paltherr@epfl.ch> | 2003-03-18 12:36:03 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-03-18 12:36:03 +0000 |
| commit | c6ce203b92ccbeebdc8af5016e544768cb059937 (patch) | |
| tree | 7af0eb240d1853bc4e9dce7d2df0073518bd68ec /sources/examples/typeinf.scala | |
| parent | 611eb370fa5ef8508ce27ffc27fe441b37fbb54a (diff) | |
| download | scala-c6ce203b92ccbeebdc8af5016e544768cb059937.tar.gz scala-c6ce203b92ccbeebdc8af5016e544768cb059937.tar.bz2 scala-c6ce203b92ccbeebdc8af5016e544768cb059937.zip | |
- Fixed some minor errors
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 +} |