[commit: testsuite] master: Test Trac #7386 (23e7a7e)

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/23e7a7e09602949e4aca54795493bb32c86a1617

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

commit 23e7a7e09602949e4aca54795493bb32c86a1617
Author: Simon Peyton Jones <[email protected]>
Date:   Tue Nov 6 16:23:09 2012 +0000

    Test Trac #7386

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

 tests/ghci.debugger/scripts/T7386.hs     |   10 ++++++++++
 tests/ghci.debugger/scripts/T7386.script |    3 +++
 tests/ghci.debugger/scripts/T7386.stdout |    1 +
 tests/ghci.debugger/scripts/all.T        |    1 +
 4 files changed, 15 insertions(+), 0 deletions(-)

diff --git a/tests/ghci.debugger/scripts/T7386.hs b/tests/ghci.debugger/scripts/T7386.hs
new file mode 100644
index 0000000..f1e5e07
--- /dev/null
+++ b/tests/ghci.debugger/scripts/T7386.hs
@@ -0,0 +1,10 @@
+{-# LANGUAGE GADTs, DataKinds, KindSignatures, TypeFamilies, PolyKinds #-}
+
+module T7386 where
+
+data Nat = Zero | Succ Nat
+data family Sing (a :: k)
+data instance Sing (a :: Nat) where
+   SZero :: Sing Zero
+   SSucc :: Sing n -> Sing (Succ n)
+
diff --git a/tests/ghci.debugger/scripts/T7386.script b/tests/ghci.debugger/scripts/T7386.script
new file mode 100644
index 0000000..a8fc84a
--- /dev/null
+++ b/tests/ghci.debugger/scripts/T7386.script
@@ -0,0 +1,3 @@
+:l T7386.hs
+let x = SSucc SZero
+:f x
diff --git a/tests/ghci.debugger/scripts/T7386.stdout b/tests/ghci.debugger/scripts/T7386.stdout
new file mode 100644
index 0000000..376b5e8
--- /dev/null
+++ b/tests/ghci.debugger/scripts/T7386.stdout
@@ -0,0 +1 @@
+x = SSucc SZero
diff --git a/tests/ghci.debugger/scripts/all.T b/tests/ghci.debugger/scripts/all.T
index a29d151..a78a6f2 100644
--- a/tests/ghci.debugger/scripts/all.T
+++ b/tests/ghci.debugger/scripts/all.T
@@ -86,3 +86,4 @@ test('hist001', normal, ghci_script, ['hist001.script'])
 test('2740', normal, ghci_script, ['2740.script'])
 
 test('getargs', normal, ghci_script, ['getargs.script'])
+test('T7386', normal, ghci_script, ['T7386.script'])