[Note downloadable bugfixes. malcolm**20040112175931] { hunk ./docs/download.html 48 - + hunk ./docs/download.html 61 -Tarfiles:
+Tarfiles and RPMs:
hunk ./docs/download.html 65 -http://www.cs.york.ac.uk/fp/hat/hat-2.00.tar.gz

+http://www.cs.york.ac.uk/fp/hat/hat-2.02.tar.gz
hunk ./docs/download.html 67 + +http://www.dtek.chalmers.se/~d95mback/nhc98/
hunk ./docs/download.html 114 - - none + + cumulative hunk ./docs/download.html 117 - 2003-02-26 - There are no patches yet for hat-2.02. + 2003-04-30 + This patch is a cumulative patch that includes the two listed below + (redefine and typesyn), and in addition fixes the following problem: + In the transformation of a module that defines instances of an + imported class whose methods are only in scope qualified, any + generated uses of the method names must be qualified too. + + + + + redefine + hat v2.02 + 2003-04-24 + A Prelude entity redefined in a user module led to some overlapping + auxiliary functions in the hat-transformed module. This patch + ensures that a Prelude function is not imported if there is a + local redefinition. + + + + + typesyn + hat v2.02 + 2003-04-24 + Some complex type synonyms (renaming arrow (function) types) + led to incorrect types in the hat-transformed code. hunk ./docs/download.html 146 - + hunk ./docs/download.html 154 - + hunk ./docs/download.html 163 - + hunk ./docs/download.html 172 - + hunk ./docs/download.html 197 -This page last modified: 26th March 2003
+This page last modified: 30th April 2003
}