The FLINT group's development plans for SML/NJ

This is a subset of the overall development plan for Standard ML of New Jersey. This page is still under construction.

cross-module inlining
typed closure conversion
primop reorganization
dictionary-based type dependent operations (with more robust support to pretty-printing, pickling, elimination of the runtime equality operator).
new version of the FLINT IL

Status: (to be filled).