diff options
author | NAME <USER@epfl.ch> | 2008-03-12 11:37:25 +0000 |
---|---|---|
committer | NAME <USER@epfl.ch> | 2008-03-12 11:37:25 +0000 |
commit | deab63a2db266412590471834459cc5fa17934e5 (patch) | |
tree | b3174418273786fecb655121f997a84ec0d0b6d4 | |
parent | 3e72397413820742743ff92137aee5164c142155 (diff) | |
download | scala-deab63a2db266412590471834459cc5fa17934e5.tar.gz scala-deab63a2db266412590471834459cc5fa17934e5.tar.bz2 scala-deab63a2db266412590471834459cc5fa17934e5.zip |
Pending test for #625
-rw-r--r-- | test/pending/neg/t0625.check | 7 | ||||
-rw-r--r-- | test/pending/neg/t0625.scala | 4 |
2 files changed, 11 insertions, 0 deletions
diff --git a/test/pending/neg/t0625.check b/test/pending/neg/t0625.check new file mode 100644 index 0000000000..45a35eb157 --- /dev/null +++ b/test/pending/neg/t0625.check @@ -0,0 +1,7 @@ +<insert expected error message, current one is the following> + +t0625.scala:3: error: inferred the kinds of the type arguments (Option[B],Int) do not conform to the expected kinds of the type parameters (type C,type T). +Option[B]'s type parameters do not match type C's expected parameters: class Option has one type parameter, but type C has one + idMap(Some(0)) + ^ +one error found diff --git a/test/pending/neg/t0625.scala b/test/pending/neg/t0625.scala new file mode 100644 index 0000000000..a44a04fd97 --- /dev/null +++ b/test/pending/neg/t0625.scala @@ -0,0 +1,4 @@ +object Test { + def idMap[C[_],T](m: { def map[U](f: T => U): C[U] }): C[T] = m.map(t => t) + idMap(Some(0)) +} |