Attendees

• Fergus Henderson (fjh)
• Michael Wybrow (mjwybrow)
• Lars Yencken (lljy)
• Paul Incani (paulai)
• Julian Grady (julianpg)
• David Overton (dmo)
• Simon Taylor (stayl)
• Zoltan Somogyi (zs)
• Julien Fischer (juliensf)

Apologies

• Ralph Becket (rafe)

Progress reports

• Fergus Henderson (fjh)
  • Announced that his paper with Zoltan on Mercury to high-level C compilation has been accepted by Compiler Construction.
  • Has been working on accurate garbage collection for the high-level C backend.
  • Has re-installed SUSE on hg after it was cracked yesterday.
• Michael Wybrow (mjwybrow)
  • Has class constructors working.
  • Is starting to look at tags.
• Lars Yencken (lljy)
  • Has been spending time learning Mercury.
  • Has been thinking about syntax for declaring exclusive and/or exhaustive switches
• Paul Incani (paulai)
  • Has been working on string_format.
• Julian Grady (julianpg)
  • Has been working on accurate garbage collection
  • Has been looking at how closures are represented in the debugger.
• David Overton (dmo)
  • Has been working on HAL
  • Is reading Jan-Georg Smaus's PhD Thesis on Modes in Goedel
• Simon Taylor (stayl)
  • Has been tidying up the new mmake feature in the compiler.
  • Has been reading about the HAL optimisation framework.
• Zoltan Somogyi (zs)
  • Has added support for field names to the browser.
  • Has added support for printing closures in the debugger.
  • Has fixed some problem cases in the stack slot optimisation.
• Julien Fischer (juliensf)
  • Has been cleaning up and understanding the termination 2 analyser.
• Ralph Becket (rafe) (progress report submitted by email)
  • Has done some work on the book.
  • Is continuing to work on the loop invariant hoisting optimisation (it works, but is sometimes a little too eager).
  • Done a little more on the formalisation paper.
  • Spent a fair bit of time helping out some of the summer students with various problems.

Other Business

• We spent some time talking about the Windows port. Fergus said that having a good Windows port would be important for the Mercury language. The following tasks were assigned.
  • Simon will work on getting reading of transitive intermodule optimisation files to work.
  • Fergus will work on removing cygwin dependencies and porting to mingwin.
  • Paul may be interested in working on the Visual Studio integration, but this is still to be confirmed.