summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci.debugger
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2013-11-28 16:06:39 +0000
committerSimon Peyton Jones <simonpj@microsoft.com>2013-11-28 16:06:39 +0000
commita95a20bc4e030b5c2b4c4bc83dfbb72f21666f6f (patch)
treec87c61cbb680948a0eaef8a01f18399276de6a86 /testsuite/tests/ghci.debugger
parent88d06d91a6cb5801414c4efca941d4d0ca43acfa (diff)
downloadhaskell-a95a20bc4e030b5c2b4c4bc83dfbb72f21666f6f.tar.gz
Test Trac #8557
Diffstat (limited to 'testsuite/tests/ghci.debugger')
-rw-r--r--testsuite/tests/ghci.debugger/scripts/T8557.hs8
-rw-r--r--testsuite/tests/ghci.debugger/scripts/T8557.script2
-rw-r--r--testsuite/tests/ghci.debugger/scripts/T8557.stdout1
-rw-r--r--testsuite/tests/ghci.debugger/scripts/all.T1
4 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/ghci.debugger/scripts/T8557.hs b/testsuite/tests/ghci.debugger/scripts/T8557.hs
new file mode 100644
index 0000000000..6b45f17fc9
--- /dev/null
+++ b/testsuite/tests/ghci.debugger/scripts/T8557.hs
@@ -0,0 +1,8 @@
+{-# LANGUAGE TypeFamilies, DataKinds, PolyKinds #-}
+module T8557 where
+
+data family Sing (a :: k)
+data instance Sing (a :: [k]) = SNil
+
+x :: Sing '[]
+x = SNil
diff --git a/testsuite/tests/ghci.debugger/scripts/T8557.script b/testsuite/tests/ghci.debugger/scripts/T8557.script
new file mode 100644
index 0000000000..8e53a74235
--- /dev/null
+++ b/testsuite/tests/ghci.debugger/scripts/T8557.script
@@ -0,0 +1,2 @@
+:l T8557.hs
+:force x
diff --git a/testsuite/tests/ghci.debugger/scripts/T8557.stdout b/testsuite/tests/ghci.debugger/scripts/T8557.stdout
new file mode 100644
index 0000000000..53811a712d
--- /dev/null
+++ b/testsuite/tests/ghci.debugger/scripts/T8557.stdout
@@ -0,0 +1 @@
+x = SNil
diff --git a/testsuite/tests/ghci.debugger/scripts/all.T b/testsuite/tests/ghci.debugger/scripts/all.T
index ca5c9a10e8..09fa391ffb 100644
--- a/testsuite/tests/ghci.debugger/scripts/all.T
+++ b/testsuite/tests/ghci.debugger/scripts/all.T
@@ -86,3 +86,4 @@ test('T2740', normal, ghci_script, ['T2740.script'])
test('getargs', normal, ghci_script, ['getargs.script'])
test('T7386', normal, ghci_script, ['T7386.script'])
+test('T8557', normal, ghci_script, ['T8557.script'])