1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
<html><head><title>Hat status</title></head>
<body bgcolor=#ffffff>
<table><tr><td width=530>
<center>
<img src="hat.gif" alt="Hat Logo"><br>
<h1>Hat status</h1>
</center>
<hr>
<p>
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
described here for the two most recent released versions.
<p>
<hr>
<h3>Hat 2.02 (2003-03-26) features</h3>
<ul>
<li> New: Hat supports hierarchical module namespaces, and
the distribution includes a tracing version of (a subset of) the
<em>base</em> package of standard hierarchical libraries.
<li> New: Hat supports multi-parameter type classes and functional
dependencies, provided your underlying compiler supports them
(i.e. ghc).
<li> New: The browsing tools support qualified name syntax.
<li> Performance: The speed of traced programs is now much improved. There
is a new "known-arity" optimisation within Hat itself, which
gives a speed-up of ~20-40%. Also, if you use --buildwith=-O
when configuring Hat for ghc, you will get another 20-40%
improvement. Beware however that -O requires a <em>lot</em>
of memory (≥512Mb).
<li> Bugfix: Named field constructions and updates are now displayed in
the browsing tools as named fields.
<li> Bugfix: The viewing tools displayed some sugared lists misleadingly:
when the tail of a sugared list was cut off or undefined it
was shown as if it was a final element. Now it has an
ellipsis (...) to indicate possible extra elements.
<li> Bugfix: After <em>:set recursive off</em> hat-observe showed the
non-recursive calls of f even if given the application
pattern <em>f in f</em>.
<li> Bugfix: hat-observe :info counts did not necessarily match
the number of observations if there were partial or
super-saturated applications.
<li> Bugfix: hat-trail now works correctly in environments (e.g. Solaris)
that do not have <tt>stty cbreak</tt> mode.
<li> Bugfix: Scrolling sometimes blanked the upper part of the hat-trail
display when the trace was extended deeper than the window.
<li> Bugfix: The hat-trail display became corrupted if a single trail
expression or equation was large enough to scroll off the screen.
<li> Bugfix: Hat-trans generated wrongly-parenthesised code for some
lambda expressions.
<li> Bugfix: Hat-trans generated incorrect values for some non-printing
characters.
<li> Tidyup: For consistency, the :observe command within hat-observe now
starts a fresh hat-observe window. Also, in hat-trail, if
if you give a query pattern to the :observe command, it now uses
that as the first query, instead of the currently highlighted
function.
<li> Numerous other small bugfixes in the various trace browsing tools.
</ul>
<h3>Hat 2.00 (2002-06-14) features</h3>
<ul>
<li> The first version released separately from nhc98. It uses
a different file format to store the trace, and the browsing
tools have been completely rewritten to improve performance,
integration, and correctness.
</ul>
<hr>
<h3>Status of various components</h3>
<p>
The basic components of <em>hat</em> are:
<ul>
<li> hat-trans, the program transformer.
<li> hat-lib, the runtime library that is linked to a transformed program.
<li> hat-observe, a browser driven by expression patterns.
<li> hat-trail, a browser driven by backward exploration.
<li> hat-detect, a browser implementing algorithmic debugging. (NOT INCLUDED)
<li> hat-stack, a browser showing a back-trace from an error.
<li> hat-view, a source-code viewer.
<li> hat-check, to verify the integrity of a .hat file.
</ul>
<hr>
<p>
The latest updates to these pages are available on the WWW from
<a href="http://www.haskell.org/hat/">
<tt>http://www.haskell.org/hat/</tt></a><br>
<a href="http://www.cs.york.ac.uk/fp/hat/">
<tt>http://www.cs.york.ac.uk/fp/hat/</tt></a>
<p>
This page last modified: 26th March 2003<br>
<a href="http://www.cs.york.ac.uk/fp/">
York Functional Programming Group</a><br>
</td></tr></table>
</body></html>
|
