[m-rev.] for post-commit review: private_builtin.unsigned_{lt, le}

[Julien Fischer]

On Mon, 25 May 2020, Zoltan Somogyi wrote:

> For review by anyone.

> Declare private_builtin.unsigned_{lt,le}.
> 
> library/private_builtin.m:
>     As above. The code recognizing them as builtins was added a few weeks ago.
> 
> configure.ac:
>     Require the installed compiled to contain that code.
> 
> compiler/options.m:
>     Provide a way to test whether the compiler has *this* diff.
> 
> library/int.m:
>     Delete int.unsigned_lt, and use private_builtin.unsigned_lt instead.
> 
> tests/hard_coded/unsigned_lt_le.{m,exp}:
>     A test case for the two operations.
> 
> tests/hard_coded/Mmakefile:
>     Enable the new test case.

That's fine.

Julien