We had a meeting of the Mercury group on Fri May 25, 2001,
from 3.15pm to 4.15pm.

Attendees:
	Zoltan Somogyi (zs)
	Mark Brown (dougl)
	Simon Taylor (stayl)
	David Overton (dmo)
	Fergus Henderson (fjh)
	Tyson Dowd (trd)
	Thomas Conway (conway)

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.

	Tyson Dowd (trd):
		- Spent 6 weeks visiting Microsoft Research, Cambridge (UK)
		  and Mission Critical in Belgium.
		- Has been working on the .NET backend.

	Fergus Henderson (fjh):
		- Writing a paper on high level C code generation.
		- Investigating a Cygwin bug which causes Mercury
		  to fail on Cygwin 1.3.1.

	Mark Brown (dougl):
		- Has been working on a paper about the tracing system.

	Thomas Conway (conway):
		- Thesis writing.
		
	Simon Taylor (stayl):
		- More work on smart recompilation.

	David Overton (dmo):
		- Debugging the new mode checker.

	Zoltan Somogyi (zs):
		- Addressed review comments for deep profiling.
		- Improved the performance of deep profiled executables.
		- More work on presentation of deep profiling results,
		  and merging results from multiple runs of a program.
		- Fixed all_solutions test case.
		- Added some library predicates.
		- Working with Mark on the tracing paper.

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