We had a meeting of the Mercury group on Fri August 10, 2001.

Attendees:
	Zoltan Somogyi (zs)
	Fergus Henderson (fjh)
	Simon Taylor (stayl)
	David Jeffery (dgj)
	Mark Brown (dougl)
	Kevin Glynn (keving)

Progress reports

	We went around the table, with each person in turn discussing
	what they had been working on recently and/or what they were
	planning to work on.

	Zoltan Somogyi (zs):
		- Implemented nondet stack traces.
		- Committed change to implement ignore counts for the
		  debugger.
		- Committed change to improve type error messages.
		- Reviewing David Jeffery's thesis.

	Fergus Henderson (fjh):
		- Writing papers.
		- Improved verifiability of the code generated by
		  the .NET backend.
		- Fixed bug in deep copy for closures.

	Simon Taylor (stayl):
		- Addressed Fergus' review comments about the
		  constraint propagation change.
		- Fixed some Aditi bugs.
		- Worked on implementing mmake in the compiler.

	Mark Brown (dougl):
		- Significant progress on retry in the .NET debugger.
		  Some very simple examples now work.

	David Jeffery (dgj):
		- Writing thesis.

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