TODO LIST


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

type system

mode analysis

determinism analysis

unique modes

module system

C interface

code generation


WISH LIST

type-system

mode analysis

determinism analysis:

higher-order preds:

module system:

code generation:

source-level transformations

low-level optimizations

compilation speed

better diagnostics

general


Last update was $Date: 1997/07/10 06:44:42 $ by $Author: zs $@cs.mu.oz.au.