TODO LIST


For more information on any of these issues, contact mercury@cs.mu.oz.au.

syntax

type system

mode analysis

determinism analysis

unique modes

module system

C interface

code generation

back-ends

low-level (LLDS) back-end

high-level C back-end

native code back-end

.NET back-end

Java back-end

debugger


WISH LIST

type-system

mode analysis

determinism analysis:

higher-order preds:

module system:

source-level transformations

code generation:

LLDS back-end:

native code back-end

garbage collection

compilation speed

better diagnostics

general


Last update was $Date: 2003/01/30 05:59:23 $ by $Author: stayl $@cs.mu.oz.au.