[m-rev.] diff: delete default Mercury clauses previously used for the Erlang backend

[Julien Fischer]

Delete default Mercury clauses previously used for the Erlang backend.

library/string.m:
     As above.

Julien.

diff --git a/library/string.m b/library/string.m
index caab4e5..0046a41 100644
--- a/library/string.m
+++ b/library/string.m
@@ -3122,9 +3122,6 @@ is_empty("").
      }
  ").

-is_well_formed(_) :-
-    sorry($module, "string.is_well_formed/1").
-
  %---------------------%

  % For speed, most of these predicates have C versions as well as
@@ -5559,9 +5556,6 @@ int_to_base_string_group_2(NegN, Base, Curr, GroupLength, Sep, Str) :-
      Str = java.lang.Long.toString(U & 0xffffffffL);
  ").

-uint_to_string(_) = _ :-
-    sorry($module, "string.uint_to_string/1").
-
  %---------------------%

  :- pragma foreign_proc("C",
@@ -5588,9 +5582,6 @@ uint_to_string(_) = _ :-
      S = java.lang.Integer.toString(I8);
  ").

-int8_to_string(_) = _ :-
-    sorry($module, "string.int8_to_string/1").
-
  %---------------------%

  :- pragma foreign_proc("C",
@@ -5619,9 +5610,6 @@ int8_to_string(_) = _ :-
      S = java.lang.Integer.toString(U8 & 0xff);
  ").

-uint8_to_string(_) = _ :-
-    sorry($module, "string.uint8_to_string/1").
-
  %---------------------%

  :- pragma foreign_proc("C",
@@ -5648,9 +5636,6 @@ uint8_to_string(_) = _ :-
      S = java.lang.Integer.toString(I16);
  ").

-int16_to_string(_) = _ :-
-    sorry($module, "string.int16_to_string/1").
-
  %---------------------%

  :- pragma foreign_proc("C",
@@ -5677,9 +5662,6 @@ int16_to_string(_) = _ :-
      S = java.lang.Integer.toString(U16 & 0xffff);
  ").

-uint16_to_string(_) = _ :-
-    sorry($module, "string.uint16_to_string/1").
-
  %---------------------%

  :- pragma foreign_proc("C",
@@ -5706,9 +5688,6 @@ uint16_to_string(_) = _ :-
      S = java.lang.Integer.toString(I32);
  ").

-int32_to_string(_) = _ :-
-    sorry($module, "string.int32_to_string/1").
-
  %---------------------%

  :- pragma foreign_proc("C",
@@ -5735,9 +5714,6 @@ int32_to_string(_) = _ :-
      S = java.lang.Long.toString(U32 & 0xffffffffL);
  ").

-uint32_to_string(_) = _ :-
-    sorry($module, "string.uint32_to_string/1").
-
  %---------------------%

  :- pragma foreign_proc("C",
@@ -5764,9 +5740,6 @@ uint32_to_string(_) = _ :-
      S = java.lang.Long.toString(I64);
  ").

-int64_to_string(_) = _ :-
-    sorry($module, "string.int64_to_string/1").
-
  %---------------------%

  :- pragma foreign_proc("C",
@@ -5793,9 +5766,6 @@ int64_to_string(_) = _ :-
      S = java.lang.Long.toUnsignedString(U64);
  ").

-uint64_to_string(_) = _ :-
-    sorry($module, "string.uint64_to_string/1").
-
  %---------------------%

  float_to_string(Float) = S2 :-