
10 Oct '06
1
0

patch applied (hat): Hat-trans: assure that transformation fails with meaningful error message,
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): Fix " head []" bug - the unit value () was to blame.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

10 Oct '06
1
0

patch applied (hat): hat-trans: don' t write Projection node for local pattern bindings in trusted code.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): hat-graph now produces a single unbounded sheet per graph (for
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): In hat-check -g, add file addresses to the node labels of the printed graph.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): Minor changes to allow hat-tools to build with ghc.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0

10 Oct '06
1
0