In the hugs98 May version there is a cutoff limit (-c) that seems to be
too small at default setting. My datatype below hits it. The limit is
hit very fast even on a not so fast computer, so I can't see why it
shouldn't be higher as default.
Maybe it's not really a bug but I send it in anyway.
data Term
= Int Int
| Bool Bool
| Var String
| Arit String Term Term
| BArit String Term Term
| Lam String Term
| App Term Term
| Let String Term Term
| Fix Term
| Tag String Term
| Case Term [(String,([String],Term))]
| Tuple [Term]
| Proj Int Term
| Fst Term
| Snd Term
deriving (Eq)
--
/Dennis
