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