diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-11-28 16:06:39 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-11-28 16:06:39 +0000 |
commit | a95a20bc4e030b5c2b4c4bc83dfbb72f21666f6f (patch) | |
tree | c87c61cbb680948a0eaef8a01f18399276de6a86 /testsuite/tests/ghci.debugger | |
parent | 88d06d91a6cb5801414c4efca941d4d0ca43acfa (diff) | |
download | haskell-a95a20bc4e030b5c2b4c4bc83dfbb72f21666f6f.tar.gz |
Test Trac #8557
Diffstat (limited to 'testsuite/tests/ghci.debugger')
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']) |