[m-dev.] Minutes of last week's Mercury meeting
David Overton
dmo at cs.mu.OZ.AU
Wed May 23 23:55:21 AEST 2001
Estimated hours taken: 0.5
w3/news/reportsdb.inc:
w3/information/reports/minutes_18_05_01.html:
Add minutes for the mercury meetings on 18/5.
Index: news/reportsdb.inc
===================================================================
RCS file: /home/mercury1/repository/w3/news/reportsdb.inc,v
retrieving revision 1.22
diff -u -r1.22 reportsdb.inc
--- news/reportsdb.inc 2001/05/16 12:53:07 1.22
+++ news/reportsdb.inc 2001/05/18 06:29:53
@@ -12,6 +12,8 @@
*/
$reportsdb = array(
+ "18 May 2001" =>
+ array("minutes_18_05_01.html", "Mercury Meeting Minutes"),
"11 May 2001" =>
array("minutes_11_05_01.html", "Mercury Meeting Minutes"),
"4 May 2001" =>
Index: information/reports/minutes_18_05_01.html
===================================================================
RCS file: minutes_18_05_01.html
diff -N minutes_18_05_01.html
--- /dev/null Wed Apr 18 14:39:12 2001
+++ minutes_18_05_01.html Wed May 23 23:53:31 2001
@@ -0,0 +1,76 @@
+<html>
+
+<pre>
+We had a meeting of the Mercury group on Fri 18 May, 2001.
+
+Attendees:
+ Zoltan Somogyi (zs)
+ Fergus Henderson (fjh)
+ Mark Brown (dougl)
+ Simon Taylor (stayl)
+ David Overton (dmo)
+ David Jeffery (dgj)
+
+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 almost finished writing the deep profiling
+ paper.
+
+ Fergus Henderson (fjh):
+ - Has been working on allowing mode-specific clauses.
+ There is still a bug with using this in the presence
+ of intermodule optimisation.
+ - Has been looking at the issues associated with
+ linking with the dotnet backend. (The IL assembler
+ can only produce .dll files not .obj files, and
+ recompiling every .il file when something changes is
+ slow.)
+ - Has been looking at a bug with detecting multiple
+ instance declarations when using split C files or
+ dynamic linking for the library. The suggested
+ solution was to use c2init to check for multiple
+ instance declarations.
+
+ Mark Brown (dougl):
+ - Has been working on a new paper on declarative
+ debugging.
+ - Has spoken to Simon Mei about finishing quickcheck.
+ Simon's work has now been reviewed and is ready to
+ be committed. Mark will write a news item for the
+ web site.
+
+ Simon Taylor (stayl):
+ - Has been debugging smart recompilation.
+
+ David Overton (dmo):
+ - Has been debugging the new mode checker and the
+ boolean constraint solver.
+
+ David Jeffery (dgj):
+ - Has been working on a Hal paper which was submitted
+ earlier this week.
+ - Has been helping Anthony Senyard with his problems
+ with using Mercury on Windows.
+
+2. Other matters
+
+ - It was decided that nondet pragma C code should be
+ deprecated since it does not work in all grades, and can be
+ replaced by a combination of Mercury code (using
+ mode-specific clauses) and det/semidet C code. Zoltan will
+ document alternatives to using nondet pragma C in the
+ reference manual.
+
+ - Mark and Zoltan received a rejection for their debugging
+ paper which was submitted to TOPLAS about a year ago. The
+ reviewers suggested some major revisions to the structure of
+ the paper before it should be resubmitted.
+
+Minutes taken by David Overton (dmo at cs.mu.oz.au).
+</pre>
+</html
--
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