blob: 1d07a4ee9688c49d54c39ecb84c88fdb0f9227f9 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE GADTs #-}
-- !!! deriving for GADTs which declare Haskell98 data types.
-- bug reported as http://ghc.haskell.org/trac/ghc/ticket/902
module ShouldSucceed where
data Maybe1 a where {
Nothing1 :: Maybe1 a ;
Just1 :: a -> Maybe1 a
} deriving (Eq,Ord)
|
