diff options
Diffstat (limited to 'testsuite/tests/ghci/should_run')
| -rw-r--r-- | testsuite/tests/ghci/should_run/T14125a.script | 8 | ||||
| -rw-r--r-- | testsuite/tests/ghci/should_run/T14125a.stdout | 5 | ||||
| -rw-r--r-- | testsuite/tests/ghci/should_run/all.T | 3 |
3 files changed, 15 insertions, 1 deletions
diff --git a/testsuite/tests/ghci/should_run/T14125a.script b/testsuite/tests/ghci/should_run/T14125a.script new file mode 100644 index 0000000000..1667349160 --- /dev/null +++ b/testsuite/tests/ghci/should_run/T14125a.script @@ -0,0 +1,8 @@ +:set -XTypeFamilies +data family Foo a +data instance Foo Int = FooInt Int +:kind! Foo Int +let f (FooInt i) = i +:info f +:type +v f +:type f diff --git a/testsuite/tests/ghci/should_run/T14125a.stdout b/testsuite/tests/ghci/should_run/T14125a.stdout new file mode 100644 index 0000000000..7b4e85edd3 --- /dev/null +++ b/testsuite/tests/ghci/should_run/T14125a.stdout @@ -0,0 +1,5 @@ +Foo Int :: * += Foo Int +f :: Foo Int -> Int -- Defined at <interactive>:5:5 +f :: Foo Int -> Int +f :: Foo Int -> Int diff --git a/testsuite/tests/ghci/should_run/all.T b/testsuite/tests/ghci/should_run/all.T index fe33685193..da20149b56 100644 --- a/testsuite/tests/ghci/should_run/all.T +++ b/testsuite/tests/ghci/should_run/all.T @@ -27,4 +27,5 @@ test('T11825', just_ghci, ghci_script, ['T11825.script']) test('T12128', just_ghci, ghci_script, ['T12128.script']) test('T12456', just_ghci, ghci_script, ['T12456.script']) test('T12549', just_ghci, ghci_script, ['T12549.script']) -test('BinaryArray', normal, compile_and_run, [''])
\ No newline at end of file +test('BinaryArray', normal, compile_and_run, ['']) +test('T14125a', just_ghci, ghci_script, ['T14125a.script']) |