blob: eb8f3847cd479e4522a2e44e1b5d49b9f4c9f281 (
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://hackage.haskell.org/trac/ghc/ticket/902
module ShouldSucceed where
data Maybe1 a where {
Nothing1 :: Maybe1 a ;
Just1 :: a -> Maybe1 a
} deriving (Eq,Ord)
|
