diff options
author | Matthias Zenger <mzenger@gmail.com> | 2004-02-10 21:49:50 +0000 |
---|---|---|
committer | Matthias Zenger <mzenger@gmail.com> | 2004-02-10 21:49:50 +0000 |
commit | 466ef4d1215d9274f70d83a06a9f87a58b778435 (patch) | |
tree | b48f08ceb0d3f65cfcedebc7d44569eeb94e133a /sources/examples/typeinf.scala | |
parent | 3a657c3f268dbbb33925c270d9b7cc9b19ac0290 (diff) | |
download | scala-466ef4d1215d9274f70d83a06a9f87a58b778435.tar.gz scala-466ef4d1215d9274f70d83a06a9f87a58b778435.tar.bz2 scala-466ef4d1215d9274f70d83a06a9f87a58b778435.zip |
- Adapted examples to the new syntax.
Diffstat (limited to 'sources/examples/typeinf.scala')
-rw-r--r-- | sources/examples/typeinf.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/examples/typeinf.scala b/sources/examples/typeinf.scala index 77976be656..d55e2f7c8d 100644 --- a/sources/examples/typeinf.scala +++ b/sources/examples/typeinf.scala @@ -98,7 +98,7 @@ object typeInfer { else mgu(u.newInstance, t, s) case Lam(x, e1) => - val a = newTyvar(), b = newTyvar(); + val a, b = newTyvar(); val s1 = mgu(t, Arrow(a, b), s); val env1 = Pair(x, TypeScheme(List(), a)) :: env; tp(env1, e1, b, s1) |