Hello!

On Sun, Sep 13, 1998 at 11:13:35PM +0100, Simon Marlow wrote:
> [...]

> The plan is to use something like

>       data Integer = Small Int# | Big { ... }

> where '...' is the GMP representation.  You then need a full set of
> [...]

Sounds fine. Just a question, will there remain an Int type (machine Ints,
boxed, w/o overflow checks) in addition to the new Integer implementation,
for those who explicitly declare something as Int to squeeze out the last
few cycles?

If yes, I think switching the default for Integral from Int to Integer
is a good thing :-)

Regards, Felix.


Reply via email to