October 2006 - Cvs-nhc98

patch applied (hat): Fix bug in printing lambda expressions with application patterns.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Aug 28 08:14:19 PDT 2002 malcolm * Fix bug in printing lambda expressions with application patterns. e.g. \ (X a b) c -> ... was being printed incorrectly as \ X a b c -> ... M ./src/compiler98/PrettySyntax.hs -1 +6

1 0

patch applied (hat): When installing Hat files, don' t use the first matching compiler entry
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Aug 20 09:11:52 PDT 2002 malcolm * When installing Hat files, don't use the first matching compiler entry in an hmakerc file as a reliable guide to the location of ghc or nhc98. Use the real compiler on the PATH to find the accurate location. M ./script/confhat -21 +14

1 0

patch applied (hat): typo
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Aug 15 04:17:39 PDT 2002 malcolm * typo M ./docs/tutorial1.tex -1 +1

1 0

patch applied (hat): Note recent bugfixes.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Aug 15 04:17:22 PDT 2002 malcolm * Note recent bugfixes. M ./docs/status.html +27

1 0

patch applied (hat): Add recent draft papers + Olaf' s prettyprinting and type-debugging papers.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Aug 15 04:16:50 PDT 2002 malcolm * Add recent draft papers + Olaf's prettyprinting and type-debugging papers. M ./docs/publications.html -3 +114

1 0

patch applied (hat): Acknowledge the EPSRC.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Aug 15 04:15:48 PDT 2002 malcolm * Acknowledge the EPSRC. M ./docs/index.html -5 +11

1 0

patch applied (hat): Document patches for hat-2.00.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Aug 15 04:15:30 PDT 2002 malcolm * Document patches for hat-2.00. M ./docs/download.html -13 +32

1 0

patch applied (hat): Mention requirements for a C compiler and the glib library.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Aug 15 04:14:28 PDT 2002 malcolm * Mention requirements for a C compiler and the glib library. Explain how to substitute a different CC for gcc. M ./docs/config.html -1 +8 M ./docs/requirements.html -6 +24

1 0

patch applied (hat): Mark another bug as fixed.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Thu Aug 15 04:10:00 PDT 2002 malcolm * Mark another bug as fixed. M ./docs/bugs.html -2 +4

1 0

patch applied (hat): Draft versions of most recent papers.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Aug 14 10:09:31 PDT 2002 malcolm * Draft versions of most recent papers. A ./docs/afp2002.ps.gz A ./docs/ifl2002.ps.gz

1 0