[commit: testsuite] overlapping-tyfams: Fix test case to reflect banning nonlinear standalone instances. (50bfe9a)

[Richard Eisenberg]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : overlapping-tyfams

https://github.com/ghc/testsuite/commit/50bfe9ae6b68270120a93c420618eabfcaa817af

>---------------------------------------------------------------

commit 50bfe9ae6b68270120a93c420618eabfcaa817af
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Wed May 29 09:12:01 2013 +0100

    Fix test case to reflect banning nonlinear standalone instances.

>---------------------------------------------------------------

 tests/indexed-types/should_compile/all.T           |    1 -
 .../NonLinearLHS.hs                                |    0 
 .../indexed-types/should_fail/NonLinearLHS.stderr  |   12 ++++++++++++
 tests/indexed-types/should_fail/all.T              |    2 ++
 4 files changed, 14 insertions(+), 1 deletions(-)

diff --git a/tests/indexed-types/should_compile/all.T b/tests/indexed-types/should_compile/all.T
index 15e9877..c6a8c67 100644
--- a/tests/indexed-types/should_compile/all.T
+++ b/tests/indexed-types/should_compile/all.T
@@ -28,7 +28,6 @@ test('Simple23', normal, compile, [''])
 test('Simple24', normal, compile, [''])
 
 test('RelaxedExamples', normal, compile, [''])
-test('NonLinearLHS', normal, compile, [''])
 
 test('ind1', normal, compile, [''])
 test('ind2',
diff --git a/tests/indexed-types/should_compile/NonLinearLHS.hs b/tests/indexed-types/should_fail/NonLinearLHS.hs
similarity index 100%
rename from tests/indexed-types/should_compile/NonLinearLHS.hs
rename to tests/indexed-types/should_fail/NonLinearLHS.hs
diff --git a/tests/indexed-types/should_fail/NonLinearLHS.stderr b/tests/indexed-types/should_fail/NonLinearLHS.stderr
new file mode 100644
index 0000000..47f7955
--- /dev/null
+++ b/tests/indexed-types/should_fail/NonLinearLHS.stderr
@@ -0,0 +1,12 @@
+
+NonLinearLHS.hs:8:15:
+    Repeated variable in standalone instance not allowed: E a a
+    In the type instance declaration for ‛E’
+
+NonLinearLHS.hs:14:1:
+    Repeated variable in standalone instance not allowed: F a a
+    In the data instance declaration for ‛F’
+
+NonLinearLHS.hs:25:15:
+    Repeated variable in standalone instance not allowed: EqTy a a
+    In the type instance declaration for ‛EqTy’
diff --git a/tests/indexed-types/should_fail/all.T b/tests/indexed-types/should_fail/all.T
index 1ef4329..b7a149e 100644
--- a/tests/indexed-types/should_fail/all.T
+++ b/tests/indexed-types/should_fail/all.T
@@ -1,6 +1,8 @@
 setTestOpts(only_compiler_types(['ghc']))
 setTestOpts(omit_ways(['optasm']))
 
+test('NonLinearLHS', normal, compile_fail, [''])
+
 test('SimpleFail1a', normal, compile_fail, [''])
 test('SimpleFail1b', normal, compile_fail, [''])
 test('SimpleFail2a', normal, compile_fail, [''])