testsuite/tests/gadt/gadt-dim2.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE GADTs #-}

module ShouldFail2 where 

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

-- should fail because variable is wobbly 
foo (C x) = x 
foo (D b) = b