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


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: 1999/12/11 16:36:47 $ by $Author: fjh $@cs.mu.oz.au.