blob: 9f98bb1319f661fecc267648f46b18b7b0ab25cd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE TypeOperators #-}
module T15139 where
import Data.Type.Equality
can'tHappen :: Int :~: Bool
can'tHappen = undefined
f1, f2, g :: Bool -> Bool
f1 True = case can'tHappen of {}
f2 True = case can'tHappen of
g True = case () of () -> True
|
