The Kiama team are pleased to bring you the next release of the library.

Deprecations

• Output
  • The product method of the PrettyPrinter module has been deprecated. Use the new any method instead. There is also a new pretty_any convenience method.

New features

• Rewriting
  • The rewriting module now has some support for nominal rewriting. A new Lambda3 example shows how it can be used.
• Utilities
  • A new Environments trait that provides useful data structures and operations for name analysis attribution. (Formerly part of the Oberon0 example.)
  • New support for Positioned nodes which have both a start and finish position. The library doesn’t use the Scala Positional class any more. There is also a new PositionedRewriter that supports copying these positions during rewriting.
  • A new parseString method in ParserUtilities to make it easier to test parsers.

Other

• Various minor bug fixes, code simplifications and enhancements of examples.
• Move to Scala 2.9.2, ScalaTest 1.8, JLine 2.7 and argot 0.4
• There is now a giter8 template for a sample Kiama project. You can use this template to quickly create a simple illustration project of Kiama’s main features, including parsing, pretty-printing, attribution and rewriting.