We are pleased to announce a new release of the nhc98 compiler, and in particular its facilities (both brand new and improved old stuff) for tracing and debugging Haskell programs - the Hat system. The basic nhc98 compiler version 1.04 is mostly a bugfix release (details listed at the bottom of this announcement). http://www.cs.york.ac.uk/fp/nhc98/ However, the stuff we are really excited about is Hat - our Haskell tracer. A full user guide to these new tools is available on the website. http://www.cs.york.ac.uk/fp/hat/ Hat 1.04 ======== * Lots more tools for tracing! hat-stack - Displays a "virtual" stack-trace for any program that failed with a runtime error. hat-detect - Algorithmic bug detection, based on a textual question-and-answer session. hat-trail - The original graphical trail browser, now with several presentation enhancements. hat-observe - Examine the inputs and outputs of any named function, in the style of HOOD. * Tracing with Hat is now based on a completely new architecture (although still within the nhc98 compilation system). A program compiled for tracing now builds its "redex trails" in file, not in the heap. This has some performance consequences: (1) you no longer need to allocate large amounts of heap memory for tracing; (2) but you will probably need large amounts of disk space instead - remember disk space is cheap; (3) and traced programs still run somewhat slowly. * However, there are a couple of major benefits in return: (1) A trace is persistent, so after running your program once, you can examine many different aspects of the trace without re-computation. (2) Traces are now first-class objects, so you can examine and manipulate them in far more detail - hence the variety of new tracing tools. * Greater Haskell'98 compatibility. Almost all language features are now supported: named fields and better handling of pattern bindings are the main additions. All standard libraries except Time and Locale are now supported. nhc98 1.04 ========== * New: Improved (more accurate) time profiling now provided. * New: Support for extended module namespaces of the form Long.Hierarchical.Module.Name is now provided in both nhc98 and hmake. * Bugfix: An identifier hidden on import and redefined in the current module, then exported, but also imported qualified and used qualified in the current module, led to an incorrect interface file being generated. * Bugfix: hmake issued an unnecessary -cpp flag on some literate files. * Bugfix: Type of IO.hSetPosn :: Handle -> HandlePosn -> IO () was incorrect. * Bugfix: Compile-time error in <tt>src/tracer/runtime/ident.c</tt> on RedHat 7 and other systems using the new ISO C standard for <tt>fpos_t</tt>. * Bugfix: A file opened in ReadMode or WriteMode was actually opened in ReadWriteMode, so if the file had strict permissions the correct opening command would fail. Conversely, opening in ReadWriteMode actually gave ReadMode instead, and file updates silently failed. * Bugfix: Operator sections suffered from priority inversion, for example (^2*3) was incorrectly parsed as (^(2*3)), even though ^ binds more tightly than *. * Bugfix: The library function Directory.createDirectory gave strange permissions to the new directory. (Mode was in hex, but should have been octal!) * New: Improved printing of I/O error messages. Happy tracing! The Hat team at York (Colin Runciman, Olaf Chitil, Malcolm Wallace, Thorsten Brehm, Phil Hassall)