We had a meeting of the Mercury group on Fri October 19, 2001.

Attendees:
	Tyson Dowd (trd)
	Fergus Henderson (fjh)
	Simon Taylor (stayl)
	Zoltan Somogyi (zs)
	David Overton (dmo)
	Ralph Becket (rafe)

Progress reports:

	Tyson Dowd (trd):
		- Writing thesis.

	Zoltan Somogyi (zs):
		- Writing a paper on the high-level C backend with Fergus.
		- Working on an optimization to reduce stack usage by
		  avoiding storing sub-terms of variables on the stack
		  in their own stack slots.

	Simon Taylor (stayl)
		- Fixed the documentation on the web site.
		- More work on moving mmake functionality into
		  the compiler.

	Fergus Henderson (fjh):
		- Writing high-level C paper.
		- Gave a talk on Mercury and .NET at Monash.

	Ralph Becket (rafe):
		- Produced a list of topics to be covered
		  by a book on Mercury.
		- Reading about constraint handling rules, which will
		  be used in a rewrite of the typechecker to support
		  constructor classes and functional dependencies.

	David Overton (dmo):
		- Investigating ways to speed up the constraint based
		  mode analysis algorithm for the common case where
		  everything is ground.
		- Has been working on a paper on the constraint based
		  mode analysis algorithm.

Minutes taken by Simon Taylor (stayl@cs.mu.oz.au)