[A bunch of documentation updates, preparing for release 2.04. malcolm**20050504124756] { hunk ./docs/bugs.html 2 -Hat 2.00 Bugs and Limitations +Hat 2.04 Bugs and Limitations hunk ./docs/bugs.html 7 -

Hat 2.02 Bugs and Limitations

+

Hat 2.04 Bugs and Limitations

hunk ./docs/bugs.html 12 -This is a list of all known bugs and limitations in Hat 2.02. +This is a list of all known bugs and limitations in Hat 2.04. hunk ./docs/bugs.html 48 -
  • List comprehensions, do statements, and arithmetic ranges +
  • List comprehensions and arithmetic ranges hunk ./docs/bugs.html 52 +
  • Fixed in Hat 2.04 + do statements are not traced at source level. +
    • hunk ./docs/bugs.html 114 -
  • hat-detect is not currently included with the Hat browsing tools. +
  • Fixed in Hat 2.04 + hat-detect is not currently included with the Hat browsing tools. +
    • +
  • It may assume that an application of a trusted function is OK, even + if it has suspect children. Thus, the algorithm to locate the bug + may occasionally go wrong. hunk ./docs/bugs.html 130 -This page last modified: 27th July 2004
    +This page last modified: 12th October 2004
    hunk ./docs/config.html 169 -This page last modified: 2002.08.15
    +This page last modified: 15th August 2002
    hunk ./docs/copyright.html 15 -EPSRC GR/M81953. The University of York, University of Kent, RWTH Aachen, -and Microsoft Research (Cambridge) also contributed. +EPSRC GR/M81953. The University of York, University of Kent, RWTH +Aachen, and Microsoft Research (Cambridge) also contributed. hunk ./docs/cvs.html 13 -Hat sources. Although originally Hat was intimately -connected with the nhc98 compiler, it is now available -completely separately. +Hat sources. hunk ./docs/download.html 14 -Since version 2.00, Hat has been distributed completely independently -of the nhc98 compiler. - -

    -The latest stable release of Hat is 2.02, available in various +The latest stable release of Hat is 2.04, available in various hunk ./docs/download.html 17 -version 2.03 and is only available by CVS. +version 2.05 and is only available by CVS. hunk ./docs/download.html 37 + + Sources (.tar.gz) + any + 2.04 + 2004-xx-xx + 1.4Mb + + hunk ./docs/download.html 52 - + hunk ./docs/download.html 69 - -http://www.cs.york.ac.uk/fp/hat/hat-2.02.tar.gz
    + +http://www.cs.york.ac.uk/fp/hat/hat-2.04.tar.gz
    hunk ./docs/download.html 92 -Known to work with at least the following compilers:
    +Known to work with the following compiler versions upwards:
    hunk ./docs/download.html 94 -nhc981.16 +nhc981.18 hunk ./docs/download.html 97 + +ghc6.0.1 hunk ./docs/download.html 124 + - + hat v2.04 + 2004-xx-xx + There are no patches for 2.04 yet. + + + hunk ./docs/download.html 142 - + hunk ./docs/download.html 153 - + hunk ./docs/download.html 162 - + hunk ./docs/download.html 170 - + hunk ./docs/download.html 179 - + hunk ./docs/download.html 188 - + hunk ./docs/download.html 214 -This page last modified: 27th January 2004
    +This page last modified: 12th October 2004
    hunk ./docs/faq.html 2 -Advanced Redex Trails +Hat - FAQ hunk ./docs/faq.html 59 -The hat-2.02 package is quite old now and does not build cleanly -with ghc ≥ 6.0. All the problems are already fixed in CVS, and we -do hope to release an updated package in the near to mid future, -but in the meantime, we recommend that ghc-6.x users use our -anonymous CVS repository to get a working -version of Hat. +The hat-2.02 package is quite old now and does not build cleanly with +ghc ≥ 6.0. All the build problems with ghc-6.x are fixed in the +newer release hat-2.04. hunk ./docs/faq.html 117 -This page last modified: 27th July 2004
    +This page last modified: 12th October 2004
    hunk ./docs/feature-table.html 28 -featureHat (2.02) +featureHat (2.04) hunk ./docs/feature-table.html 104 -featureHat (2.02) +featureHat (2.04) hunk ./docs/feature-table.html 144 -primitive FFI* +primitive FFI+ hunk ./docs/feature-table.html 156 +implicit parameters- + hunk ./docs/requirements.html 22 -

  • the Gnu glib - data structure library hunk ./docs/requirements.html 26 -earlier than these is unlikely to interoperate correctly with Hat-2.02. +earlier than these is unlikely to interoperate correctly with Hat-2.04. hunk ./docs/requirements.html 32 -nhc981.16 +nhc981.18 hunk ./docs/requirements.html 35 -glib1.2.0 hunk ./docs/requirements.html 100 -This page last modified: 17th July 2004
    +This page last modified: 12th October 2004
    hunk ./docs/status.html 14 -The latest stable release is 2.02. The CVS development tree is now -at version 2.03. Bugfixes and important changes to the system are +The latest stable release is 2.04. The CVS development tree is now +at version 2.05. Bugfixes and important changes to the system are hunk ./docs/status.html 21 -

    Hat 2.04 (2004-0x-xx) features

    +

    Hat 2.04 (2005-xx-xx) features

    hunk ./docs/status.html 27 +
  • The browsers are better integrated with each other, sharing a common + set of commands and options. hunk ./docs/status.html 32 -
  • The browsers are better integrated with each other, sharing a common - set of commands and options. +
  • The new browser hat-explore allows interactive exploration of + the trace with simultaneous source highlighting, to narrow down the + location of a bug through program-slicing. +
  • Some new non-interactive tools: hat-cover shows the test + coverage of the source code for a traced program run; + hat-nonterm finds the circular set of definitions that causes + a program to fall into a non-terminating loop. hunk ./docs/status.html 41 -
  • Works fully with ghc-6.2. +
  • Works fully with ghc-6.2 and ghc-6.4 hunk ./docs/status.html 125 -This page last modified: 26th March 2003
    +This page last modified: 1st March 2005
    hunk ./docs/todo.html 2 -Hat 2.02 Wish List +Hat 2.04 Wish List hunk ./docs/todo.html 8 -

    Hat 2.02 Wish List

    +

    Hat 2.04 Wish List

    hunk ./docs/todo.html 13 -This is a list of wishes (not bugs) to improve Hat 2.02. +This is a list of wishes (not bugs) to improve Hat 2.04. hunk ./docs/todo.html 23 - (Use stty erase ^H) + (Use stty erase ^H if readline is not available) hunk ./docs/todo.html 35 - in hat-observe an option to show the number of instances of + in hat-observe, an option to show the number of instances of hunk ./docs/todo.html 154 + Done hunk ./docs/todo.html 158 + Done, see black-hat hunk ./docs/todo.html 180 + Done, see hat-source }