summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorAdriaan Moors <adriaan.moors@epfl.ch>2010-07-08 15:59:27 +0000
committerAdriaan Moors <adriaan.moors@epfl.ch>2010-07-08 15:59:27 +0000
commit45528c7e3b392e7f4e934d264ff803527c7d79cc (patch)
treeed059c05e017ae2609a093284a7206635bda02d3 /test
parentb54e41621999d14ba52cbe40062a624e98e47066 (diff)
downloadscala-45528c7e3b392e7f4e934d264ff803527c7d79cc.tar.gz
scala-45528c7e3b392e7f4e934d264ff803527c7d79cc.tar.bz2
scala-45528c7e3b392e7f4e934d264ff803527c7d79cc.zip
closes #742.
review by extempore
Diffstat (limited to 'test')
-rw-r--r--test/files/neg/t742.check5
-rw-r--r--test/files/neg/t742.scala8
2 files changed, 13 insertions, 0 deletions
diff --git a/test/files/neg/t742.check b/test/files/neg/t742.check
new file mode 100644
index 0000000000..f587948ef1
--- /dev/null
+++ b/test/files/neg/t742.check
@@ -0,0 +1,5 @@
+t742.scala:5: error: kinds of the type arguments (Crash._1,Crash._2,Any) do not conform to the expected kinds of the type parameters (type m,type n,type z).
+Crash._1's type parameters do not match type m's expected parameters: type s1 has one type parameter, but type n has two
+ type p = mul[_1, _2, Any] // mul[_1, _1, Any] needs -Yrecursion
+ ^
+one error found
diff --git a/test/files/neg/t742.scala b/test/files/neg/t742.scala
new file mode 100644
index 0000000000..bb1c2f85ea
--- /dev/null
+++ b/test/files/neg/t742.scala
@@ -0,0 +1,8 @@
+object Crash {
+ type mul[m[n[s[_], z], z], n[s[_], z], z] = m[n, z]
+ type _1[s1[_], z1] = s1[z1]
+ type _2[s1[_], z1] = s1[z1]
+ type p = mul[_1, _2, Any] // mul[_1, _1, Any] needs -Yrecursion
+ // _1[_2, Zero]
+ // _2[Zero]
+} \ No newline at end of file