Test Trac #8557
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 28 Nov 2013 16:06:39 +0000 (16:06 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 28 Nov 2013 16:06:39 +0000 (16:06 +0000)
testsuite/tests/ghci.debugger/scripts/T8557.hs [new file with mode: 0644]
testsuite/tests/ghci.debugger/scripts/T8557.script [new file with mode: 0644]
testsuite/tests/ghci.debugger/scripts/T8557.stdout [new file with mode: 0644]
testsuite/tests/ghci.debugger/scripts/all.T

diff --git a/testsuite/tests/ghci.debugger/scripts/T8557.hs b/testsuite/tests/ghci.debugger/scripts/T8557.hs
new file mode 100644 (file)
index 0000000..6b45f17
--- /dev/null
@@ -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 (file)
index 0000000..8e53a74
--- /dev/null
@@ -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 (file)
index 0000000..53811a7
--- /dev/null
@@ -0,0 +1 @@
+x = SNil
index ca5c9a1..09fa391 100644 (file)
@@ -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'])