[m-dev.] for review: today's meeting minutes
David Glen JEFFERY
dgj at cs.mu.OZ.AU
Fri Jan 19 17:02:50 AEDT 2001
Estimated hours taken: .8
news/reportsdb.inc:
information/reports/minutes_19_01_01.html:
Minutes for today's Mercury group meeting.
Index: news/reportsdb.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/news/reportsdb.inc,v
retrieving revision 1.11
diff -u -t -r1.11 reportsdb.inc
--- news/reportsdb.inc 2001/01/15 00:50:49 1.11
+++ news/reportsdb.inc 2001/01/19 06:01:02
@@ -12,6 +12,8 @@
*/
$reportsdb = array(
+ "19 Jan 2001" =>
+ array("minutes_19_01_01.html", "Mercury Meeting Minutes"),
"12 Jan 2001" =>
array("minutes_12_01_01.html", "Mercury Meeting Minutes"),
"5 Jan 2001" =>
New File: information/reports/minutes_19_01_01.html
===================================================================
<html>
<pre>
We had a meeting of the Mercury group on Fri Jan 19, 2001,
from 3:15 4:05pm.
Attendees:
Fergus Henderson (fjh)
David Jeffery (dgj)
Julien Fischer (juliensf)
Ina Cheng (inch)
Sam Thurairatnam (sthur)
Levi Cameron (lpcam)
Zoltan Somogyi (zs)
Adrian Pellas-Rice (apell)
Simon Mei (xcsm)
Tyson Dowd (trd)
David Overton (dmo)
Mark Brown (dougl)
Simon Taylor (stayl)
1. Release
- There are two outstanding bugs that need to be fixed before the
release (in the the hlc backend, and one in asm_fast). These
bugs have been recorded on sourceforge (as have other release tasks).
- Tyson also wants to add a couple of fixes to the IL back end. These
are non-critical (ie. release will go ahead without them, but they'll
be included if there is time).
2. 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.
Fergus Henderson (fjh):
- Continued working on the new gcc backend. He has been working
on bug fixes, and integrating the new backend into mmake
and the rest of the build environment. It does not yet
bootstrap or pass the tests, bit it works for everything in
the samples and samples/diff directories (but not for all
the other subdirectories of samples).
- Has helped the summer students a bit.
David Jeffery (dgj)
- Has been working on HAL.
- Has worked briefly with Fergus on a bug reported by petdr
which resulted in a compiler abort in polymorphism. The
cause is now clear, and a fix should come soon.
Julien Fischer (juliensf)
- Has been working on discriminated unions for the Java
backend. He got enumerations working earlier in the week.
- Fergus encouraged him to post a diff soon so he can get
some decent feedback before the end of the summer.
Ina Cheng (inch)
- Has been working on encoding Mercury types in XML.
Sam Thurairatnam (sthur)
- Spent the week working on addressing dougl's review
comments.
Levi Cameron (lpcam)
- The bytecode interpreter is working for simple deterministic
code.
- Has added support for handling modules to the interpreter.
- Is working on getting the compiler to generate the stub
functions that are currently written by hand.
- Fergus encouraged him to post a diff of the bytecode
interpreter in the next week. (It might be worth posting
the whole interpreter too if the diff is too large to read).
Zoltan Somogyi (zs)
- Has worked on minimal model tabling with Kostis. The system
now passes all of our test cases (although they aren't
a very complete set). Kostis is going to send him a whole lot
more test cases from XSB which should test things more
thoroughly.
- Has been working with Tom on deep profiling. Tom will
run some benchmarks on the different mechanisms that they've
implemented. This should be enough to finish off their
paper.
- Has found a problem with bogus output from the liveness
pass causing havoc for the delay death transformation.
- Needs to work on the bug in var.m for the release.
Adrian Pellas-Rice (apell)
- Has worked on implementing a simple version of sequence
quantification in the compiler. His changes work and
(seem to) bootstrap, although he hasn't run the tests.
Simon Mei (xcsm)
- Added support for user defined generators to quickcheck.
- fjh asked about how useful Simon thought this tool would
be compared to the Haskell version, and encouraged him to
think about this and maybe write something about it.
Tyson Dowd (trd)
- Fixed some IL backend bugs
- Has added a new `developer intro' page to the www site
- Has implemented floating point for the IL backend.
- Has worked on implementing `foreign_proc'.
- Has hacked fjh's `cvdr' script to handle branches. He
should add this script to the `tools' directory.
David Overton (dmo)
- Has been working on the new mode checker.
Mark Brown (dougl)
- Has been tracking down a bug caused by Tom's changes to the
`univ' implementation. (There was a bug in `compare' for
univs).
- Has been tracking down another bug caused by the fact that
I/O now works differently for univ (as it is no longer
handled specially). Tyson agreed to work on fixing io__read
and io__write so that they work properly for existentially
quantified types.
Simon Taylor (stayl)
- Still working on Aditi/Mercury integration, and working
towards an Aditi release some time in the future.
Minutes taken by David Jeffery (dgj at cs.mu.oz.au).
</pre>
</html>
--
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student, | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.| With sufficient formality
The University of Melbourne | The sheerist banality
Australia | Will be hailed by the critics: "Miraculous!"
| -- Anon.
--------------------------------------------------------------------------
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