[m-rev.] diff: update README files for non-C backends

Julien Fischer jfischer at opturion.com
Fri Feb 19 01:08:56 AEDT 2016


Update README files for non-C backends.

README.{CSharp,Java,Erlang}:
     Delete stuff about the IL backend.

     Backjumping does not currently work on any of the non-C backends.

Julien.

diff --git a/README.CSharp b/README.CSharp
index 91e425b..c1ff7e8 100644
--- a/README.CSharp
+++ b/README.CSharp
@@ -12,10 +12,6 @@ library are not yet implemented (for a full list see the FAQ below).

  The port is currently targeted at C# 2.0 or higher.

-NOTE: a previous backend also targetted the .NET runtime, by generating IL
-(Intermediate Language), rather than going via C#.  That backend is
-out-of-date and may be removed in the future.
-
  PREREQUISITES

  In order to try this system you will need
@@ -195,6 +191,7 @@ A. The following implementation features are not supported:
  	Mercury-level profiling
  	trailing
  	tabling
+	backjumping

     In addition, the following individual procedures are incompletely
     implemented:
diff --git a/README.Erlang b/README.Erlang
index 65b8c72..ade91eb 100644
--- a/README.Erlang
+++ b/README.Erlang
@@ -215,6 +215,7 @@ A. The following language features are not supported and will not be:

          Mercury-level debugging
          Mercury-level profiling
+        backjumping

     The following standard library modules are completely unimplemented:

diff --git a/README.Java b/README.Java
index 39cee44..b222ec7 100644
--- a/README.Java
+++ b/README.Java
@@ -184,6 +184,7 @@ A. The following implementation features are not supported:
  	Mercury-level profiling
  	trailing
  	tabling
+	backjumping

     In addition, the following individual procedures are incompletely
     implemented:



More information about the reviews mailing list