[m-dev.] diff: minutes for Mercury meeting 10/8/2001

Simon Taylor stayl at cs.mu.OZ.AU
Mon Aug 20 01:52:32 AEST 2001


Estimated hours taken: 0.25

news/reportsdb.inc:
information/reports/minutes_10_08_01.html:
	Minutes for the Mercury meeting held on 10/8/2001.	

Index: information/reports/minutes_10_08_01.html
===================================================================
RCS file: minutes_10_08_01.html
diff -N minutes_10_08_01.html
--- /dev/null	Mon Apr 16 11:57:05 2001
+++ minutes_10_08_01.html	Tue Aug 14 18:12:17 2001
@@ -0,0 +1,49 @@
+
+<html>
+
+<pre>
+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 at cs.mu.oz.au)
+</pre>
+</html>
Index: news/reportsdb.inc
===================================================================
RCS file: /home/mercury1/repository/w3/news/reportsdb.inc,v
retrieving revision 1.28
diff -u -u -r1.28 reportsdb.inc
--- news/reportsdb.inc	2001/08/06 00:48:59	1.28
+++ news/reportsdb.inc	2001/08/14 08:05:38
@@ -12,6 +12,8 @@
 */
 
 $reportsdb = array(
+	"10 August 2001" =>
+		array("minutes_10_08_01.html", "Mercury Meeting Minutes"),
 	"3 August 2001" =>
 		array("minutes_03_08_01.html", "Mercury Meeting Minutes"),
 	"20 July 2001" =>
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list