Rational sequence

[Ross Paterson]

On Tue, Oct 22, 2002 at 01:52:01PM +0100, Alastair Reid wrote:
> Once the release is out the door and things settle down a bit (both in
> Hugs and in my personal life), I'd like to cleanup the Hugs' internals
> which have gotten quite confused by layer upon layer of backward
> compatability code.  Practical benefits I hope for are:
> 
> - Make Float mean 'C float' and Double mean 'C double'.
>   Most of the code is actually in Hugs already but it was disabled
>   because of some long-irrelevant issue involving the foreign 
>   function interface.

Does this mean that we can safely enable USE_DOUBLE_PRECISION now?
If so, I think we should do it for this release.  Obviously the best
thing would be Float = float, Double = double, but I think most people
would prefer Float = Double = double to Float = Double = float.