blob: 25571bae303ea5344aef1ba0183a1518eeb2e0f1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE LinearTypes, GADTs, DataKinds, KindSignatures #-}
-- this caused a TcLevel assertion failure
module T18998 where
import GHC.Types
import GHC.TypeLits
data Id :: Nat -> Type -> Type where
MkId :: a %1-> Id 0 a
f :: a %1-> Id n a -> Id n a
f a (MkId _) = MkId a
|