Some bug fixes for the January release

Sven Panne Sven.Panne@informatik.uni-muenchen.de
Tue, 06 Feb 2001 22:21:44 +0100


I don't have a long list of bug fixes at hand, I only want to reiterate
my concerns about the incomplete H98 library support in Hugs, see:

   http://www.cse.ogi.edu/PacSoft/projects/Hugs/pages/hugsman/diffs.html#sect9.2

I consider this a rather fundamental omission and a constant source of
porting troubles, so I hoped that these things would be in the next Hugs
release. But given the release date in just a week (IIRC), there's little
hope for this.   :-(   It's a little bit like having a Java system
without a complete java.lang.* package...

And another thing: On Unix platforms, two files are *always* compiled
without optimizations due to some problems with some compilers, IIRC.
Shouldn't this be autoconf-ed?

Cheers,
   Sven