testsuite/tests/simplCore/should_compile/T13990.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE EmptyCase, GADTs #-}

module T13990 where

data T a where
  TInt :: T Int

absurd :: T Bool -> a
absurd v = case v of {}

data Foo = Foo !(T Bool)

absurdFoo :: Foo -> a
absurdFoo (Foo x) = absurd x