[m-dev.] for review: minutes 12/01/01
David Overton
dmo at cs.mu.OZ.AU
Fri Jan 12 23:25:10 AEDT 2001
Estimated hours taken: 0.5
Add minutes for Mercury meeting of Friday 12 January, 2001.
w3/information/reports/minutes_12_01_01.html:
The new minutes file.
w3/news/reportsdb.inc:
Link to the minutes.
Index: information/reports/minutes_12_01_01.html
===================================================================
RCS file: minutes_12_01_01.html
diff -N minutes_12_01_01.html
--- /dev/null Wed Nov 15 09:24:47 2000
+++ minutes_12_01_01.html Fri Jan 12 23:17:51 2001
@@ -0,0 +1,212 @@
+
+<html>
+
+<pre>
+We had a meeting of the Mercury group on Fri Jan 12, 2001,
+from 3:20pm to 4:15pm.
+
+Attendees:
+ Zoltan Somogyi (zs)
+ David Jeffery (dgj)
+ Mark Brown (dougl)
+ Simon Taylor (stayl)
+ Ina Cheng (inch)
+ Levi Cameron (lpcam)
+ Sam Thurairatnam (sthur)
+ Simon Mei (xcsm)
+ Julien Fischer (juliensf)
+ Tyson Dowd (trd)
+ Fergus Henderson (fjh)
+ Thomas Conway (conway)
+ David Overton (dmo)
+ Nick Nethercote (njn)
+ Adrian Pellas-Rice (apell)
+ Kostis Sagonas (kostis at csd.uu.se)
+
+1. Release
+
+ - Fergus said he didn't want to do all the work himself.
+ - Tyson suggested we use sourceforge to assign tasks.
+ - Anyone interested in helping should create an
+ account on sourceforge.
+ - Fergus will then assign the tasks using sourceforge.
+
+ - Stuff still to be done before release:
+ - Go through release checklist.
+ - Fix a couple of outstanding bugs.
+ - Fix a few test cases which have incorrect expected
+ output.
+
+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):
+ - Wrote a new backend for Mercury last week,
+ interfacing directly to the GCC backend.
+ - GCC team are interested in advertising the
+ new Mercury frontend for GCC on their web
+ site and including Fergus's changes to GCC
+ in their distribution. This would involve
+ Fergus assigning copyright on his changes to
+ GCC to the FSF. Zoltan will confirm that
+ the University is happy with this when
+ Alistair gets back next week.
+ - There was talk about the idea of including
+ the Mercury compiler in the GCC distribution
+ (some GCC people have shown interest in
+ this) however this was decided against for
+ two reasons:
+ 1. The Mercury compiler is way too big
+ for this.
+ 2. We would have to assign copyright
+ on the compiler to the FSF which we
+ are unwilling to do, since it would
+ cause problems if we want to change
+ licenses or integrate ``non-free''
+ code into our distribtion.
+ - Has been working on a fix for the dynamic linking
+ bug in the MLDS backend.
+ - Will look into the current bootstrapping problems
+ thought to be caused by Tom's changes to the `univ'
+ type.
+
+ Kostis Sagonas (kostis at csd.uu.se)
+ - Is currently visiting the department from the
+ University of Uppsala, Sweden, where he is head of
+ department.
+ - His current research includes a native code compiler
+ for Erlang, on which he will present a seminar next
+ week. Summer students are strongly encouraged to
+ attend and promised it won't be too boring.
+
+ Thomas Conway (conway)
+ - Is working on the deep profiling paper with Zoltan.
+ - Changed the implementation of the `univ' type.
+ - Has produced a cool (but rather geeky) Mercury
+ t-shirt -- copies can be made available to those
+ interested.
+
+ David Overton (dmo)
+ - Is working on integrating stage one and stage two of
+ the new mode checker.
+ - Has been thinking about how to handle uniqueness
+ analysis in the new framework.
+ - Plans to start writing a paper on what he has done
+ so far (need to talk to Zoltan and Peter Stuckey
+ about this).
+
+ Nick Nethercote (njn)
+ - Started his Masters Degree with the HAL team on
+ Monday.
+ - Last semester started work on a general framework
+ for program analyses and implemented determinism
+ analysis in the framework.
+ - Is now looking at other possible analysis domains
+ for this framework.
+
+ David Jeffery (dgj)
+ - Has spent most of the week working on HAL.
+ - Fixed a couple of bugs.
+
+ Julien Fischer (juliensf)
+ - Has been working on an mlds -> mlds transformation
+ to simulate function pointers using derived classes.
+ This is needed for the Java backend and probably the
+ IL backend also. Has been focussing on its use for
+ compare and unify predicates, but it will also be
+ required for closures and nondet continuations.
+
+ Ina Cheng (inch)
+ - Has got XML format responses working (in the web
+ server?)
+ - Has discovered problems with using dynamic linking
+ with the MLDS backend.
+
+ Levi Cameron (lpcam)
+ - Has modified the bytecode system to differentiate
+ between preds and funcs.
+ - Is working on integrating native code and bytecode
+ (with the ability to call both ways between them).
+
+ Sam Thurairatnam (sthur)
+ - Spent the week testing and commenting his code.
+ - Submitted for review yesterday.
+ - Work is currently being reviewed by Mark.
+
+ Adrian Pellas-Rice (apell)
+ - Has been adding a new functor to `hlds_goal_expr' to
+ use as a wrapper around all goals that are expanded
+ away after the first few stages of compilation (e.g.
+ bi-implication and, presumably, the new sequence
+ quantifiction?).
+ - Has been talking with Peter Schachte and looking at
+ his Prolog code to do sequence quantification.
+ - We discussed what name the new quantifier should
+ have. Options were `all', `for',
+ `forall', `foreach'. A consensus was reached that
+ `forall' is the generally preferred name -- it makes
+ it clear that it is a kind of universal quantification
+ whilst syntactically differentiatiing it from the
+ operationally different `all' quantifier. (Fergus
+ thought `foreach' could be confused for existential
+ quantification. Tom thought `for' would be much
+ better used for `for' loops rather than Ralph's
+ proposed `iterate'.
+
+ Simon Mei (xcsm)
+ - Added more functionality to quickcheck.
+ - Discussed whether Mercury quickcheck would need its
+ own `main'. Fergus said this is a seperate issue
+ (debugger support) and he should not worry about it.
+
+ Tyson Dowd (trd)
+ - Fixed some IL backend bugs after feedback from our
+ first user -- Peter Ross.
+ - Has been working on the dynamic linking bug.
+ - Plans to add a new `pragma foreign_proc' to replace
+ `pragma foreign_code' when defining procedures in
+ other languages. This is to reduce confusion over
+ overloading of the latter pragma.
+
+ Simon Taylor (stayl)
+ - Still working towards an Aditi release some time in
+ the future.
+
+ Mark Brown (dougl)
+ - Reviewing Sam's work.
+ - Has been writing his annual progress report (he will
+ be joining the 3 year club on Sunday).
+
+ Zoltan Somogyi (zs)
+ - Attempting to fix the broken lcc backend.
+ - New delay death pass has been done.
+ - Working on deep profiling paper with Tom.
+
+3. Other items
+
+ - It was agreed that the summer students should each write a
+ progress report, including a current TODO list and an
+ estimation of how much of their given task they will
+ complete within the next six weeks.
+
+ - Fergus reminded us that all bugfixes should go on both the
+ release branch and the main branch. People should note in
+ the log message when something is to be comitted on both
+ branches. Reviewers should look out for cases where this is
+ required but hasn't been mentioned.
+
+ - Zoltan made sure that everyone knew about his lmc script for
+ executing uninstalled copies of the compiler. Tyson
+ volunteered to document the procedure on the web site.
+
+4. Agenda for next week
+
+ - Discuss Unicode syntax for Mercury :-)
+
+
+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.10
diff -u -r1.10 reportsdb.inc
--- news/reportsdb.inc 2001/01/08 16:21:27 1.10
+++ news/reportsdb.inc 2001/01/12 05:30:40
@@ -12,6 +12,8 @@
*/
$reportsdb = array(
+ "12 Jan 2001" =>
+ array("minutes_12_01_01.html", "Mercury Meeting Minutes"),
"5 Jan 2001" =>
array("minutes_05_01_01.html", "Mercury Meeting Minutes"),
"15 Dec 2000" =>
--
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