From 6f4fca6833267a7ec6ea1aeea9f0dc60112ab715 Mon Sep 17 00:00:00 2001 From: Nada Amin Date: Thu, 23 Feb 2012 15:10:27 +0100 Subject: Added test case for FinitaryError. --- test/files/neg/finitary-error.check | 4 ++++ test/files/neg/finitary-error.scala | 3 +++ 2 files changed, 7 insertions(+) create mode 100644 test/files/neg/finitary-error.check create mode 100644 test/files/neg/finitary-error.scala diff --git a/test/files/neg/finitary-error.check b/test/files/neg/finitary-error.check new file mode 100644 index 0000000000..7bc92058ca --- /dev/null +++ b/test/files/neg/finitary-error.check @@ -0,0 +1,4 @@ +finitary-error.scala:3: error: class graph is not finitary because type parameter T is expansively recursive +trait C[T] extends A[C[B[T]]] + ^ +one error found diff --git a/test/files/neg/finitary-error.scala b/test/files/neg/finitary-error.scala new file mode 100644 index 0000000000..a48fcdc70f --- /dev/null +++ b/test/files/neg/finitary-error.scala @@ -0,0 +1,3 @@ +trait A[T] +trait B[T] +trait C[T] extends A[C[B[T]]] -- cgit v1.2.3