patch applied (hat): Hat-trans: added / improved error messages for faulty input module.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Hat-library: added combinators for higher arities.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Hat-trans/library: changed recording of trusted constants
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0
10 Oct '06
1
0
patch applied (hat): Eliminate spurious errors for Lambda and Unevaluated pointers.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Use an installed hmake/nhc98 rather than the ones in the build tree.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Get hat configuration info from installed hmake, rather than the
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0
1
0