Hi
I am new to Haskell and have a question about types.
I have defined a type Type
data Type = D1 [Type]
| D2 String String [Type]
| D3 String String
| D4 ........
| ........
| D14
deriving (Show)
Where D4 - D14 each have 2-5 String
(I am using it together with the parser combinators from ParseLib
if that makes any difference.)
Hugs98 complains that it can not derive Show after 40 iterations.
I have to change the cutoff limit to 100 before it can derive Show.
In the Hugs manual it says that
1, The default is 16
2, "We have not yet seen any examples of valid Hugs programs that
are rejected with this setting. It is possible to construct
artificial programs thatdo require higher values, but such examples
are pathological and they do not seem to appear in practice.)"
So
1, If 16 is enough for all "normal" cases, why is the default on
my system 40?
2, What makes my, (simple), Type pathologcal?
/Anders Nygren
