testsuite/tests/ghc-regress/gadt/gadt-dim6.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE GADTs #-}

module ShouldSucceed3 where 


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

-- Tests scoped annotations 
foo :: T a -> a -> a 
foo (C y (x::b)) (z::a) = z + 1