From 5454956ebf64ddae6ac3b240b92f6bf595d37fdd Mon Sep 17 00:00:00 2001 From: Peter Wang Date: Mon, 28 Sep 2009 06:59:44 +0000 Subject: [PATCH] Document that there are problems at higher optimisation levels Branches: main README.Java: Document that there are problems at higher optimisation levels and that trailing and tabling are not supported. --- README.Java | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/README.Java b/README.Java index 2192f0b06..c2e06a417 100644 --- a/README.Java +++ b/README.Java @@ -54,6 +54,10 @@ Now you can run hello ./hello +Problems at higher optimisation levels are still being resolved. +For now we recommend sticking with -O2 or below and not enabling +intermodule optimisation. + ----------------------------------------------------------------------------- USING JAVA @@ -123,6 +127,8 @@ A. The following implementation features are not supported: Mercury-level debugging Mercury-level profiling + trailing + tabling In addition, the following individual procedures are incompletely implemented: