ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

This artifact contains the source code for the Flix compiler, modified to support effect exclusion, as detailed in the paper. The modifications include the addition of the \emph{without} expression for excluding effects, and a change to the effect system to support the described Boolean set-based effects.

In addition, it contains the 59 case studies: Code fragments from various open source repositories, where comments indicate a need for effect exclusion. For each fragment, a corresponding Flix code fragment enforces the effect exclusion through a signature or use of the \emph{without} construct.

The artifact also contains two working examples of effect exclusion in realistic applications: a small GUI library and application demonstrating its use, and an eventbus library with a accompanying program.

These elements are all packaged in a virtual machine containing a Visual Studio Code installation with a Flix extension to support standard IDE features, allowing the Flix code to be inspected, modified, and run.