Proposal (base): Add new Exp constructor to Text.Read.Lex.Lexeme

[Gracjan Polak]

Christian Maeder <Christian.Maeder <at> dfki.de> writes:

> How do you intent to store fractional numbers (like "10.01") without the 
> Rat constructor?

10.01 = Exp 1001 (-2)

> 
> How do you represent "10.01e10"?
> 
>     Exp Integer Integer
> 
> seems to be not enough.

10.01e10 = Exp 1001 8

> 
> In any case, "^" from the integer-gmp should not be used to compute a 
> Rat value for the powers of 10. (see also 
> http://hackage.haskell.org/trac/ghc/ticket/3897)

True.

I think it is time to take discussion to trac and just report to this list on
final conclusion.

-- 
Gracjan