Home

Documentation is in the pages linked from the sidebar on the right. A small subset of it is presented in these slides.

State of the Project

(May 2013)

There is a decent number of tests that pass. As a first larger benchmark we copied the core of the collections library and annotated the effects (file). This file can successfully be checked by the plugin with the io, exceptions and purity domains enabled.

We started running the effects plugin with only the io domain enabled on the Scala collections library (find ~/scala/scala/src/library/scala/collection -name *.scala). This currently passes the type checker without errors, which is promising (all effect inference and checking is performed during naming and typing). The plugin currently crashes in patmat phase due to #3.

Note that the ANF transform is not enabled in the io domain, we expect that there are bugs in the ANF transform. To test it, enable the purity domain.