blob: 47447fb3e3912b725dca7f03c1c6ee0acf43036a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
{- 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
-- Show (f (f a)), Show (SM (Cons f) a) => Show (SM f a)
data Nil a = MkNil deriving Show
data Cons f a = MkCons a (f a)
deriving Show
|