[m-rev.] diff: check bootstrap compiler supports uints

[Julien Fischer]

Check bootstrap compiler supports uints.

configure.ac:
      Check that the bootstrap compiler supports uints.

doc/reference_manual.texi:
      Document that 'uint' is now one of the reserved type names.

Julien.

diff --git a/configure.ac b/configure.ac
index 5b7916f..83195e9 100644
--- a/configure.ac
+++ b/configure.ac
@@ -406,6 +406,8 @@ then
          :- type bear ---> brown ; black ; teddy.
          :- pragma foreign_export_enum("Java", bear/0).

+        :- type my_uint ---> my_uint(uint).
+
          :- pred p(t::out) is det.

          p(b).
diff --git a/doc/reference_manual.texi b/doc/reference_manual.texi
index c41386d..ce0be6a 100644
--- a/doc/reference_manual.texi
+++ b/doc/reference_manual.texi
@@ -2124,6 +2124,7 @@ that have meanings in Mercury.
  The list of reserved type names is
  @example
  int
+uint
  float
  character
  string