
12 Dec
2011
12 Dec
'11
11:17 a.m.
Simon Marlow
Ok by me, though I'm not familiar with the details of Text.Read.Lex.Lexeme. I think it's an "internal" API of sorts, since it was added to implement Text.Read.lex.
If this API is internal then I'd propose to remove Rat constructor, as this one is ever used only with powers of 10 as denominator. And we would have that case covered better by Exp contructor.
I wonder why integer-gmp crashes when trying to allocate too much... sounds like we need to look into that - could you make a ticket if there isn't already one?
I've checked 6.12.3, where this problem appears. I've heard this issue is not present in 7.2, I'm going to check HEAD and see if I can reproduce the crash. -- Gracjan