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

module ShouldSucceed2 where 

data T a where 
  C :: Int -> T Int 
  D :: Bool -> T Bool 


foo :: T a -> a 
foo (C x) = x + 1 
foo (D x) = True