[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