This page provides an overview of the limitations of the current version of the Alice system.
Overloading is not supported for literal constants. All literals default to their primary type.
If a (generative or non-generative) constructor has a syntactic arity not equal to 1, application of this constructor is strict in the argument (record).
Datatype replication in signatures (datatype t = datatype u) is not supported yet. Since datatypes are structural, the datatype specification can be copied as a work-around. Datatype replication in structures is supported.
The export signature cannot refer to entities bound in imports.
Some of the implemented structures and functors from the Standard ML Basis Library lack parts of their functionality. These include: