[m-dev.] diff: Mercury meeting minutes Friday 3/8/2001

David Overton dmo at cs.mu.OZ.AU
Mon Aug 6 10:50:59 AEST 2001



Estimated hours taken: 0.25

w3/news/reportsdb.inc:
w3/information/reports/minutes_03_08_01.html:
	Add minutes for the Mercury meeting on 3/8.


Index: information/reports/minutes_03_08_01.html
===================================================================
RCS file: information/reports/minutes_03_08_01.html
diff -N information/reports/minutes_03_08_01.html
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ information/reports/minutes_03_08_01.html	6 Aug 2001 00:43:02 -0000
@@ -0,0 +1,86 @@
+<html>
+
+<pre>
+We had a meeting of the Mercury group on Fri August 3, 2001.
+
+Attendees:
+	Zoltan Somogyi (zs)
+	Mark Brown (dougl)
+	Simon Taylor (stayl)
+	David Jeffery (dgj)
+	David Overton (dmo)
+	Kevin Glynn (keving)
+
+1. 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):
+		- Has spent most of the week working on
+		  teaching-related tasks.
+		- Has finished implementing ignore counts in mdb.
+		- Has improved the error messages for overloaded type
+		  errors.
+		- Has been working on stack slot optimisation.
+
+	Mark Brown (dougl):
+		- Has been working on the runtime system for retry in
+		  .Net:
+		  	- Has decided to use C# as much as possible
+			  and only use MC++ for the low level
+			  primitives.
+			- Has almost finished the C# part.
+		- Has been working on the garbage collection algorithm
+		  for the log.
+
+	Simon Taylor (stayl):
+		- Fixed bug in smart recompilation tests.
+		- Has submitted a diff for constraint propagation.
+		- Has been working on moving mmake functionality into
+		  the compiler.
+
+	David Jeffery (dgj):
+		- Has been working on HAL.
+		- Fixed a bug in the option to turn on execution of
+		  init code.
+		- Is finishing up with HAL this week and has 2 weeks
+		  working on his thesis before going overseas.
+
+	David Overton (dmo):
+		- Has been working on a paper on the constraint-based
+		  mode analysis.
+		- Has implemented a proposal by Ralph Becket to make
+		  using higher order functions in standard modes
+		  easier.  We discussed whether this was a good idea.
+		  It was agreed that it was, but that it should wait a
+		  few days to give other people the opportunity to
+		  comment.
+
+	Kevin Glynn (keving):
+		- No work on Mercury again.
+		- Mentioned that there will be a seminar next
+		  Wednesday where Martin will be presented his work on
+		  using constraint handling rules (CHR) for type
+		  checking.
+
+2. Other matters
+
+	- Zoltan mentioned that Julien Fischer (juliensf at students),
+	  the student who worked on the Java backend over summer, is
+	  just starting honours and is looking for a Mercury-related
+	  project.  He asked whether anyone had any ideas:
+
+	  	- Mark suggested implementing Fergus's subtyping
+		  proposal, but that it was thought it would be better
+		  to wait until the type system is rewritten.
+
+		- Another idea was that he might be interested in
+		  using CHR for re-implementing the type system.
+		  Kevin will make sure he gets sent the invitation to
+		  Martin's seminar next week.
+
+Minutes taken by David Overton (dmo at cs.mu.oz.au).
+</pre>
+</html>
Index: news/reportsdb.inc
===================================================================
RCS file: /home/mercury1/repository/w3/news/reportsdb.inc,v
retrieving revision 1.27
diff -u -r1.27 reportsdb.inc
--- news/reportsdb.inc	30 Jul 2001 07:20:08 -0000	1.27
+++ news/reportsdb.inc	3 Aug 2001 06:08:47 -0000
@@ -12,6 +12,8 @@
 */
 
 $reportsdb = array(
+	"3 August 2001" =>
+		array("minutes_03_08_01.html", "Mercury Meeting Minutes"),
 	"20 July 2001" =>
 		array("minutes_20_07_01.html", "Mercury Meeting Minutes"),
 	"29 June 2001" =>
-- 
David Overton      Department of Computer Science & Software Engineering
PhD Student        The University of Melbourne, Victoria 3010, Australia
+61 3 8344 9159    http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
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