This project has been made in the context of my Master's Thesis at Université Catholique de Louvain in the faculty called Ecole Polytechnique de Louvain (Louvain School of Engineering). The goal of this project was to implement list comprehensions in Mozart2. Additionally I added basic record comprehensions. This implies keeping all the possibilities of Mozart2 available with these new structures.
Peter Van Roy
François Fonteyn
Most of the content is duplicated because there exist small differences between the version published on the official repository of Mozart2 and the version used for my Master's thesis. The latter is considered as unofficial.
A bunch of useful graphs.
A copy of all the modified files in Mozart2. Several versions for several purposes: official, linux, mavericks and unofficial.
Modifications/apply.sh
All the tests.
The functional transformations used for list comprehensions.
Link to our fork of Mozart2.
The updated grammar of Mozart2 in HTML.
The report that contains an introduction, the implementation as well as examples and explanations.
A tutorial to get started with comprehensions.