1
0

patch applied (hat): Do `extractExp' on field update expressions, to ensure that local
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): Bugfix for negative literal number patterns, where the instance of
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): In hat-trans, if a module has no export list, produce an export list
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): With recent fixes for when Hidden/Forward chains are generated,
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): Explicit projections in the SExp structure are a nuisance, so don' t
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): Propagate additional SExp constructor SString into dependent modules.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): hat-observe of `f in f' (i.e. only recursive calls) gave no results.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): When navigating with arrow keys in hat-trail, treat a sugared character
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0

patch applied (hat): In hat-trail, on the RHS of an equation, do not stop at the first
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0