darcs weekly news #8

News and discussions

1. Improving the darcs build system? David Roundy is doing some interesting work on building darcs with his franchise build system. There are also attempts by other folks to Cabalise darcs. Discussions are underway about the future of building darcs.
   • http://lists.osuosl.org/pipermail/darcs-users/2008-October/014642.html
   • http://wiki.darcs.net/index.html/CabalWishlist
   • darcs get http://code.haskell.org/darcs/cabalised
2. Type Correct Changes: A Safe Approach to Version Control Implementation. Jason Dagit gave a Galois tech talk on the use of Haskell GADTs to make darcs code more transparent, robust and approachable.
   • http://www.galois.com/blog/2008/10/09/type-correct-changes-a-safe-approach-to-version-control-implementation/
   • http://www.galois.com/~dons/slides/08-10-dagit.pdf
3. Haskell, static typing, type witnesses and darcs. David Roundy gave a darcs talk at the ACM (5 October), presenting darcs and also explaining how the type witnesses are helping us to avoid errors in the code.
   • http://files.codersbase.com/droundy-08.pdf
4. Darcs hacking sprint only 9 days away!
   • http://lists.osuosl.org/pipermail/darcs-users/2008-October/014541.html

Reviewers

Thanks to our patch reviewers for this week for giving David a hand!

• Trent W. Buck
• Jason Dagit
• Nathan Gray
• Simon Michael

Issues resolved in the last week (3)

issue1062 Eric Kow

• ignore setCooked and setEcho errors.
• http://bugs.darcs.net/issue1062

issue1105 Dmitry Kurochkin

• check if default options are valid.
• http://bugs.darcs.net/issue1105

issue1139 David Roundy

• make special cases handle no arguments gracefully.
• http://bugs.darcs.net/issue1139

Patches applied in the last week (96)

See text entry for details.

News and discussions

1. Improving the darcs build system? David Roundy is doing some interesting work on building darcs with his franchise build system. There are also attempts by other folks to Cabalise darcs. Discussions are underway about the future of building darcs.
   • http://lists.osuosl.org/pipermail/darcs-users/2008-October/014642.html
   • http://wiki.darcs.net/index.html/CabalWishlist
   • darcs get http://code.haskell.org/darcs/cabalised
2. Type Correct Changes: A Safe Approach to Version Control Implementation. Jason Dagit gave a Galois tech talk on the use of Haskell GADTs to make darcs code more transparent, robust and approachable.
   • http://www.galois.com/blog/2008/10/09/type-correct-changes-a-safe-approach-to-version-control-implementation/
   • http://www.galois.com/~dons/slides/08-10-dagit.pdf
3. Haskell, static typing, type witnesses and darcs. David Roundy gave a darcs talk at the ACM (5 October), presenting darcs and also explaining how the type witnesses are helping us to avoid errors in the code.
   • http://files.codersbase.com/droundy-08.pdf
4. Darcs hacking sprint only 9 days away!
   • http://lists.osuosl.org/pipermail/darcs-users/2008-October/014541.html

Reviewers

Thanks to our patch reviewers for this week for giving David a hand!

• Trent W. Buck
• Jason Dagit
• Nathan Gray
• Simon Michael

Issues resolved in the last week (3)

issue1062 Eric Kow

• ignore setCooked and setEcho errors.
• http://bugs.darcs.net/issue1062

issue1105 Dmitry Kurochkin

• check if default options are valid.
• http://bugs.darcs.net/issue1105

issue1139 David Roundy

• make special cases handle no arguments gracefully.
• http://bugs.darcs.net/issue1139

Patches applied in the last week (96)

See text entry for details.

darcs weekly news #8