diff options
author | Martin Odersky <odersky@gmail.com> | 2006-06-15 17:01:56 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-06-15 17:01:56 +0000 |
commit | d8dd12a5515e349b61e79d2111b9d54743c0c3c7 (patch) | |
tree | f1bb871421547a165997efc305cb799befa47987 /test/files/pos/infer2.scala | |
parent | 4857648d274b0ce0928b57be667e423547962d9d (diff) | |
download | scala-d8dd12a5515e349b61e79d2111b9d54743c0c3c7.tar.gz scala-d8dd12a5515e349b61e79d2111b9d54743c0c3c7.tar.bz2 scala-d8dd12a5515e349b61e79d2111b9d54743c0c3c7.zip |
Fixed type inference problem
Diffstat (limited to 'test/files/pos/infer2.scala')
-rw-r--r-- | test/files/pos/infer2.scala | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/test/files/pos/infer2.scala b/test/files/pos/infer2.scala index 66f3d76544..e065219a80 100644 --- a/test/files/pos/infer2.scala +++ b/test/files/pos/infer2.scala @@ -1,10 +1,8 @@ +package test +class Lst[T] +case class cons[T](x: T, xs: Lst[T]) extends Lst[T] +case class nil[T] extends Lst[T] object test { - - def f[a, b <: a](x: b): a = x: a; - def g[a >: b, b](x: b): a = x: a; - - val x: int = f(1); - val y: String = g("") - + Console.println(cons(1, nil())) } |