[commit: testsuite] master: Test Trac #5417 (0b2a565)

[Simon Peyton Jones]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/0b2a565d789abe697e08c80b74917b026be87ae5

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

commit 0b2a565d789abe697e08c80b74917b026be87ae5
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Aug 22 15:46:25 2011 +0100

    Test Trac #5417

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

 tests/ghci/scripts/T5417.hs     |   10 ++++++++++
 tests/ghci/scripts/T5417.script |    3 +++
 tests/ghci/scripts/T5417.stdout |    8 ++++++++
 tests/ghci/scripts/T5417a.hs    |    5 +++++
 tests/ghci/scripts/all.T        |    1 +
 5 files changed, 27 insertions(+), 0 deletions(-)

diff --git a/tests/ghci/scripts/T5417.hs b/tests/ghci/scripts/T5417.hs
new file mode 100644
index 0000000..e86c076
--- /dev/null
+++ b/tests/ghci/scripts/T5417.hs
@@ -0,0 +1,10 @@
+{-# LANGUAGE TypeFamilies #-}
+module T5417 where
+  import qualified T5417a as C
+
+  data B1 a = B1 a
+
+  instance C.C1 (B1 a) where
+    data F (B1 a) = B2 a
+
+  data family D a
diff --git a/tests/ghci/scripts/T5417.script b/tests/ghci/scripts/T5417.script
new file mode 100644
index 0000000..d163d7d
--- /dev/null
+++ b/tests/ghci/scripts/T5417.script
@@ -0,0 +1,3 @@
+:l T5417
+:browse
+:info C.F
diff --git a/tests/ghci/scripts/T5417.stdout b/tests/ghci/scripts/T5417.stdout
new file mode 100644
index 0000000..1c0506c
--- /dev/null
+++ b/tests/ghci/scripts/T5417.stdout
@@ -0,0 +1,8 @@
+data B1 a = B1 a
+data instance C.F (B1 a) = B2 a
+data family D a
+class C.C1 a where
+  data family C.F a
+class C.C1 a where
+  data family C.F a
+  	-- Defined at T5417a.hs:5:10
diff --git a/tests/ghci/scripts/T5417a.hs b/tests/ghci/scripts/T5417a.hs
new file mode 100644
index 0000000..8143023
--- /dev/null
+++ b/tests/ghci/scripts/T5417a.hs
@@ -0,0 +1,5 @@
+{-# LANGUAGE TypeFamilies #-}
+module T5417a where
+
+  class C1 a where
+    data F a :: *
diff --git a/tests/ghci/scripts/all.T b/tests/ghci/scripts/all.T
index f3ddbff..5be5582 100644
--- a/tests/ghci/scripts/all.T
+++ b/tests/ghci/scripts/all.T
@@ -75,3 +75,4 @@ test('T4316', reqlib('mtl'), ghci_script, ['T4316.script'])
 test('T4832', normal, ghci_script, ['T4832.script'])
 test('T5045', normal, ghci_script, ['T5045.script'])
 test('T5130', normal, ghci_script, ['T5130.script'])
+test('T5417', normal, ghci_script, ['T5417.script'])