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.
This commit is contained in:
Peter Wang
2009-09-28 06:59:44 +00:00
parent 7a3b796bb1
commit 5454956ebf

View File

@@ -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: