[m-rev.] diff: be consistent about whether "semicolon" is hyphenated

[Julien Fischer]

Be consistent about whether "semicolon" is hyphenated.

doc/reference_manual.texi:
compiler/mlds_to_c_stmt.m:
compiler/parse_type_defn.m:
     Use the non-hyphenated form of semicolon.

Julien.

diff --git a/compiler/mlds_to_c_stmt.m b/compiler/mlds_to_c_stmt.m
index c0dfe23..7f95f6f 100644
--- a/compiler/mlds_to_c_stmt.m
+++ b/compiler/mlds_to_c_stmt.m
@@ -423,7 +423,7 @@ mlds_output_switch_default(Opts, Indent, FuncInfo, Context, Default, !IO) :-
  mlds_output_stmt_label(Indent, Stmt, !IO) :-
      Stmt = ml_stmt_label(LabelName, _Context),
      % Note: MLDS allows labels at the end of blocks. C does not.
-    % Hence we need to insert a semi-colon after the colon to ensure that
+    % Hence we need to insert a semicolon after the colon to ensure that
      % there is a statement to attach the label to.

      output_n_indents(Indent - 1, !IO),
diff --git a/compiler/parse_type_defn.m b/compiler/parse_type_defn.m
index 365a5ee..7b9486c 100644
--- a/compiler/parse_type_defn.m
+++ b/compiler/parse_type_defn.m
@@ -241,7 +241,7 @@ du_type_rhs_ctors_and_where_terms(Term, CtorsTerm, MaybeWhereTerm) :-
          MaybeWhereTerm = no
      ).

-    % Convert a list of terms separated by semi-colons (known as a
+    % Convert a list of terms separated by semicolons (known as a
      % "disjunction", even thought the terms aren't goals in this case)
      % into a list of constructors.
      %
diff --git a/doc/reference_manual.texi b/doc/reference_manual.texi
index cb34521..32ee02c 100644
--- a/doc/reference_manual.texi
+++ b/doc/reference_manual.texi
@@ -2269,7 +2269,7 @@ it names a monomorphic type.
  Otherwise, it names a polymorphic type;
  the arguments of the functor must be distinct type variables.
  The @var{body} term is defined as
-a sequence of constructor definitions separated by semi-colons.
+a sequence of constructor definitions separated by semicolons.

  Ordinarily, each constructor definition
  must be a functor whose arguments (if any) are types.
@@ -2326,10 +2326,10 @@ Here are some examples of discriminated union definitions:

  If the body of a discriminated union type definition
  contains a term whose top-level functor is @code{';'/2},
-the semi-colon is normally assumed to be a separator.
+the semicolon is normally assumed to be a separator.
  This makes it difficult to define a type
  whose constructors include @code{';'/2}.
-To allow this, curly braces can be used to quote the semi-colon.
+To allow this, curly braces can be used to quote the semicolon.
  It is then also necessary to quote curly braces.
  The following example illustrates this: