Add a test for deriving Show (f (f a)); makes Hugs hang
--- /dev/null
+{- From: Ian Bayley
+ Sent: Tuesday, June 29, 1999 3:39 PM
+ To: hugs-bugs@haskell.org
+ Subject: Show for higher-order nested datatypes
+
+
+ Is "deriving Show" meant to work for higher-order nested datatypes ?
+ Hugs hangs when loading in the following file:
+-}
+
+module Foo where
+
+type SqMat a = SM Nil a
+
+data SM f a = ZeroS (f (f a)) | SuccS (SM (Cons f) a)
+ deriving Show
+
+
+data Nil a = MkNil deriving Show
+
+data Cons f a = MkCons a (f a)
+ deriving Show
+
+
+
--- /dev/null
+
+drvfail001.hs:11:
+ No instance for `Show (f (f a))'
+ When deriving classes for `SM'
+
+Compilation had errors
+