[commit: testsuite] master: Add test for #8485. (d8e4967)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/testsuite

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/d8e49672dbe4281f50137cdaf3fc84256e050457/testsuite

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

commit d8e49672dbe4281f50137cdaf3fc84256e050457
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Tue Oct 29 11:20:31 2013 -0400

    Add test for #8485.


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

d8e49672dbe4281f50137cdaf3fc84256e050457
 tests/ghci/scripts/T8485.script |    2 ++
 tests/ghci/scripts/T8485.stderr |    4 ++++
 tests/ghci/scripts/all.T        |    1 +
 3 files changed, 7 insertions(+)

diff --git a/tests/ghci/scripts/T8485.script b/tests/ghci/scripts/T8485.script
new file mode 100644
index 0000000..395e376
--- /dev/null
+++ b/tests/ghci/scripts/T8485.script
@@ -0,0 +1,2 @@
+data X a = X a
+type role X nominal
diff --git a/tests/ghci/scripts/T8485.stderr b/tests/ghci/scripts/T8485.stderr
new file mode 100644
index 0000000..1731cbd
--- /dev/null
+++ b/tests/ghci/scripts/T8485.stderr
@@ -0,0 +1,4 @@
+
+<interactive>:3:1:
+    Role annotation for a type previously declared: type role X nominal
+    (The role annotation must be given where ‛X’ is declared.)
diff --git a/tests/ghci/scripts/all.T b/tests/ghci/scripts/all.T
index a9e82f8..9c6ad0c 100755
--- a/tests/ghci/scripts/all.T
+++ b/tests/ghci/scripts/all.T
@@ -158,3 +158,4 @@ test('T8215', normal, ghci_script, ['T8215.script'])
 test('T8357', normal, ghci_script, ['T8357.script'])
 test('T8383', normal, ghci_script, ['T8383.script'])
 test('T8469', normal, ghci_script, ['T8469.script'])
+test('T8485', normal, ghci_script, ['T8485.script'])
\ No newline at end of file