[m-rev.] diff: minutes 11/5/01
Mark Brown
dougl at cs.mu.OZ.AU
Wed May 16 22:55:33 AEST 2001
Estimated hours taken: 0.5
w3/information/reports/minutes_11_05_01.html:
w3/news/reportsdb.inc:
Minutes for the Mercury meeting held on 11/5/01.
Index: information/reports/minutes_11_05_01.html
===================================================================
RCS file: minutes_11_05_01.html
diff -N minutes_11_05_01.html
--- /dev/null Wed Apr 11 00:52:25 2001
+++ minutes_11_05_01.html Mon May 14 21:15:35 2001
@@ -0,0 +1,95 @@
+<html>
+
+<pre>
+We had a meeting of the Mercury group on Fri 11 May, 2001.
+
+Attendees:
+ Fergus Henderson (fjh)
+ Zoltan Somogyi (zs)
+ Mark Brown (dougl)
+ David Overton (dmo)
+ Simon Taylor (stayl)
+
+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.
+
+ Fergus Henderson (fjh):
+ - Working on the gcc back-end.
+ - Support for nested modules.
+ - Support by mmake.
+ - The test cases are almost passed, but they
+ still fail when run from the nightly tests
+ script.
+ - There is a slight interface change when compiling
+ multiple modules on the one command line, due to the
+ way gcc works. These are now compiled into one big
+ object file, rather than one per module. One
+ solution might be to fork mmc before calling
+ gcc, but it may not be worth the effort.
+ - Has been trying to sort out intellectual property
+ issues related to changes to the gcc back-end.
+ - Noted that problems have been reported with the MacOS
+ port. Has tested under Linux-PPC and it worked out of
+ the box.
+ - Some bug fixes.
+ - Partially reviewed the EDCG changes.
+
+ Zoltan Somogyi (zs):
+ - Working on removing all nondet pragma C code from the
+ standard library. A problem came up writing string__append
+ in Mercury: the compiler cannot optimize calls to var/1
+ and nonvar/1 because of impurity. Two proposed solutions:
+ - Make them special impure predicates the
+ compiler knows about.
+ - Add syntax for multi-moded predicates (Fergus
+ volunteers to do this).
+ - Cleaning up and optimizing deep profiling.
+ - Finishing the paper on deep profiling.
+ - Has made changes to the deep profiler since it was
+ posted for review. Another diff will be posted soon.
+ - Suggested configuration with a conf.m.in.
+ - Fergus pointed out that there would be a
+ bootstrapping problem, and we should use
+ conf.c.in instead.
+ - Zoltan responded that this problem would not
+ apply to the deep profiler.
+ - Disabled value numbering.
+
+ Mark Brown (dougl):
+ - Has been working on a paper on the declarative
+ debugger.
+
+ David Overton (dmo):
+ - Has been working on the ROBDD implementation.
+ - The complexity has improved.
+ - Now works in reasonable time on 8-node
+ examples.
+
+ Simon Taylor (stayl):
+ - Has been cleaning up the smart recompilation change.
+ - Constructing test cases for that change.
+ - Reviewing Zoltan's work on deep profiling.
+
+2. Samples/extras on the web pages.
+
+ Anthony Senyard reported that he often searches the web pages
+ for something with no result, then when he asks a developer he is
+ pointed to an example in the samples or extras directories. We
+ resolved to make the samples and extras accessible from the web
+ site, where they would be indexed by htdig (David Overton
+ volunteered to do this).
+
+3. Warning on compilation times.
+
+ Users may try to save time by downloading the source instead of
+ a binary package, without realising that the compilation time
+ might be longer than the download time. Simon Taylor
+ volunteered to put a warning about long compilation times on the
+ relevant web page.
+
+Minutes taken by Mark Brown (dougl at cs.mu.oz.au).
+</pre>
+</html>
Index: news/reportsdb.inc
===================================================================
RCS file: /home/mercury1/repository/w3/news/reportsdb.inc,v
retrieving revision 1.21
diff -u -r1.21 reportsdb.inc
--- news/reportsdb.inc 2001/05/11 06:54:05 1.21
+++ news/reportsdb.inc 2001/05/14 06:05:51
@@ -12,6 +12,8 @@
*/
$reportsdb = array(
+ "11 May 2001" =>
+ array("minutes_11_05_01.html", "Mercury Meeting Minutes"),
"4 May 2001" =>
array("minutes_04_05_01.html", "Mercury Meeting Minutes"),
"27 April 2001" =>
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list