testsuite/tests/gadt/gadtSyntaxFail003.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE Haskell2010 #-}

{-# LANGUAGE GADTSyntax #-}

module GadtSyntaxFail003 where

data Foo a b where
    C1 :: a -> Int -> c -> Foo b a
    C2 :: a -> Char -> Foo a b
    Cs :: Foo a b