testsuite/tests/gadt/gadt11.hs


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

{-# LANGUAGE GADTs #-}

module ShouldFail where

-- Wrong return type
data T1 a where
  K1 :: T1 Int
  K2 :: T2 Int -> T1 Bool

data T2 a where
  L1 :: T2 Int
  L2 :: T1 Bool