testsuite/tests/stranal/should_compile/T8467.hs


1
2
3
4
5
6
7
8
9
10
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)