diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-11-06 16:23:09 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-11-06 16:23:09 +0000 |
| commit | 696798a1b858a41afde5963727fae9696ffe37ed (patch) | |
| tree | 6edaa0db83797bd9e563a52008432c40619a05e0 /testsuite/tests/ghci.debugger | |
| parent | 897415c001fd2fecf11375fee8eedcea34c89e72 (diff) | |
| download | haskell-696798a1b858a41afde5963727fae9696ffe37ed.tar.gz | |
Test Trac #7386
Diffstat (limited to 'testsuite/tests/ghci.debugger')
| -rw-r--r-- | testsuite/tests/ghci.debugger/scripts/T7386.hs | 10 | ||||
| -rw-r--r-- | testsuite/tests/ghci.debugger/scripts/T7386.script | 3 | ||||
| -rw-r--r-- | testsuite/tests/ghci.debugger/scripts/T7386.stdout | 1 | ||||
| -rw-r--r-- | testsuite/tests/ghci.debugger/scripts/all.T | 1 |
4 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/tests/ghci.debugger/scripts/T7386.hs b/testsuite/tests/ghci.debugger/scripts/T7386.hs new file mode 100644 index 0000000000..f1e5e076b8 --- /dev/null +++ b/testsuite/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/testsuite/tests/ghci.debugger/scripts/T7386.script b/testsuite/tests/ghci.debugger/scripts/T7386.script new file mode 100644 index 0000000000..a8fc84a447 --- /dev/null +++ b/testsuite/tests/ghci.debugger/scripts/T7386.script @@ -0,0 +1,3 @@ +:l T7386.hs +let x = SSucc SZero +:f x diff --git a/testsuite/tests/ghci.debugger/scripts/T7386.stdout b/testsuite/tests/ghci.debugger/scripts/T7386.stdout new file mode 100644 index 0000000000..376b5e8090 --- /dev/null +++ b/testsuite/tests/ghci.debugger/scripts/T7386.stdout @@ -0,0 +1 @@ +x = SSucc SZero diff --git a/testsuite/tests/ghci.debugger/scripts/all.T b/testsuite/tests/ghci.debugger/scripts/all.T index a29d151987..a78a6f21a7 100644 --- a/testsuite/tests/ghci.debugger/scripts/all.T +++ b/testsuite/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']) |