testsuite/tests/pmcheck/should_compile/T15450.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE GADTs #-}
module T15450 where

f :: (Int ~ Bool) => Bool -> a
f x = case x of {}

g :: (Int ~ Bool) => Bool -> a
g x = case x of True -> undefined