TODO LIST


For more information on any of these issues see our contacts page.

mode analysis

determinism analysis

unique modes

module system

C interface

code generation

back-ends

low-level (LLDS) back-end

high-level C back-end

.NET back-end

debugger

Unicode


WISH LIST

type-system

mode analysis

determinism analysis:

higher-order preds:

module system:

source-level transformations

code generation:

LLDS back-end:

garbage collection

compilation speed

better diagnostics

general