27 Oct
2002
27 Oct
'02
12:53 p.m.
Does this mean that we can safely enable USE_DOUBLE_PRECISION now?
Maybe. It's so long since this was routinely used that bitrot has probably set in. It and our regression checks are probably good enough that, once it compiles and passes checks again (assuming it currently fails a few), I'd happily recommend it to people living within sight of the bleeding edge. I'm less confident that it's good enough for all those people using Hugs for teaching. I favour waiting until after the release and then making all the things we want but aren't confident enough about be the default behaviour so that anyone using the CVS will be testing it all the time and then doing another release in 4-6 months with much cleanup. -- Alastair