ghc/tests/deriving/should_fail/drvfail001.hs

   1 {-  From: Ian Bayley
   2     Sent: Tuesday, June 29, 1999 3:39 PM
   3     To: hugs-bugs@haskell.org
   4     Subject: Show for higher-order nested datatypes
   5
   6
   7     Is "deriving Show" meant to work for higher-order nested datatypes ?
   8     Hugs hangs when loading in the following file:
   9 -}
  10
  11 module Foo where
  12
  13 type SqMat a = SM Nil a
  14
  15 data SM f a = ZeroS (f (f a)) | SuccS (SM (Cons f) a)
  16                        deriving Show
  17
  18
  19 data Nil a = MkNil deriving Show
  20
  21 data Cons f a = MkCons a (f a)
  22                        deriving Show
  23
  24
  25