Commit bbda6d52 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #8467

parent 2041b94e
module T8467 where
newtype Void = Void Void
data Decision a = Disproved (a -> Void)
bar :: Int -> Void
bar = \_ -> undefined
foo :: () -> Decision Int
foo _ = Disproved (\_ -> undefined)
......@@ -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, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment