From 696798a1b858a41afde5963727fae9696ffe37ed Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Tue, 6 Nov 2012 16:23:09 +0000 Subject: Test Trac #7386 --- testsuite/tests/ghci.debugger/scripts/T7386.hs | 10 ++++++++++ testsuite/tests/ghci.debugger/scripts/T7386.script | 3 +++ testsuite/tests/ghci.debugger/scripts/T7386.stdout | 1 + testsuite/tests/ghci.debugger/scripts/all.T | 1 + 4 files changed, 15 insertions(+) create mode 100644 testsuite/tests/ghci.debugger/scripts/T7386.hs create mode 100644 testsuite/tests/ghci.debugger/scripts/T7386.script create mode 100644 testsuite/tests/ghci.debugger/scripts/T7386.stdout (limited to 'testsuite/tests/ghci.debugger') 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']) -- cgit v1.2.1