[m-rev.] for review: document and test deconstruct_functor with infinity

[Julien Fischer]

On Fri, 8 Jun 2018, Zoltan Somogyi wrote:

>
>
> On Fri, 8 Jun 2018 16:27:53 +1000 (AEST), Julien Fischer <jfischer at opturion.com> wrote:
>> +    % test infinite floats
>> +    test_all(float.infinity, !IO),
>> +    NegInf : float = -float.infinity,
>> +    test_all(NegInf, !IO),
>> +
>
> The diff is fine, but I am wondering: what required the type qualification?

This:

deconstruct_arg.m:097: In clause for predicate `main'/2:
deconstruct_arg.m:097:   error: ambiguous overloading causes type ambiguity.
deconstruct_arg.m:097:   Possible type assignments include:
deconstruct_arg.m:097:   NegInf: `((func float) = float)' or `float'

Julien.