summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/T2151.hs
blob: 339d231e80701ab881263f98faa67b4572974d89 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
{-# LANGUAGE GADTs #-}

module T2151 where

data Type a where
    Func :: Type a -> Type b -> Type (a -> b)
    PF :: Type a -> Type (PF a)

data PF a where
    ID :: PF (a -> a)

test :: Type a -> a -> a
test (PF (Func _ _)) ID = ID