testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T14934a.hs
1 {-# LANGUAGE DataKinds #-}
2 {-# LANGUAGE GADTs #-}
3 {-# LANGUAGE KindSignatures #-}
4 {-# LANGUAGE TypeOperators #-}
5 module T14934a where
6
7 import Data.Kind (Type)
8 import GHC.TypeLits
9
10 data Foo :: Nat -> Type where
11 MkFoo0 :: Foo 0
12 MkFoo1 :: Foo 1
13
14 f :: Foo (1 - 0) -> Foo 1
15 f x = x