[commit: testsuite] master: Test Trac #8467 (bf90df6)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/testsuite

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/bf90df6b9db345a7f12c6d37d801c0f8e9864411/testsuite

>---------------------------------------------------------------

commit bf90df6b9db345a7f12c6d37d801c0f8e9864411
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Oct 24 11:17:26 2013 +0100

    Test Trac #8467


>---------------------------------------------------------------

bf90df6b9db345a7f12c6d37d801c0f8e9864411
 tests/stranal/should_compile/T8467.hs |   11 +++++++++++
 tests/stranal/should_compile/all.T    |    1 +
 2 files changed, 12 insertions(+)

diff --git a/tests/stranal/should_compile/T8467.hs b/tests/stranal/should_compile/T8467.hs
new file mode 100644
index 0000000..86db5e3
--- /dev/null
+++ b/tests/stranal/should_compile/T8467.hs
@@ -0,0 +1,11 @@
+module T8467 where
+
+newtype Void = Void Void
+
+data Decision a = Disproved (a -> Void)
+
+bar :: Int -> Void
+bar = \_ -> undefined
+
+foo :: () -> Decision Int
+foo _ = Disproved (\_ -> undefined)
diff --git a/tests/stranal/should_compile/all.T b/tests/stranal/should_compile/all.T
index 5814f39..9467a7e 100644
--- a/tests/stranal/should_compile/all.T
+++ b/tests/stranal/should_compile/all.T
@@ -16,3 +16,4 @@ test('tst', normal, compile, [''])
 test('unu', normal, compile, [''])
 test('newtype', req_profiling, compile, ['-prof -auto-all'])
 test('T1988', normal, compile, [''])
+test('T8467', normal, compile, [''])