mozart/mozart2 — pull request #189 by eregon (2014-05-28 08:53:15+00:00)
Title: Stop exporting the not implemented CompressedFile in Open.oz

* The ZlibIO boot module is not yet implemented.
* A few scripts (Pickler.oz, Executor.oz) check
{HasFeature Open compressedFile},
so now they should behave properly as it is not defined.

May I merge this? :smile: