[m-rev.] for review: fix style of integer.m

Peter Wang novalazy at gmail.com
Wed Oct 21 10:40:02 AEDT 2015


On Wed, 21 Oct 2015 04:12:30 +1100 (AEDT), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> @@ -26,19 +30,19 @@
>  
>  :- type integer.
>  
> -    % Less than.
> +    % X < X: Succeed iff X is less than Y.
>      %
>  :- pred '<'(integer::in, integer::in) is semidet.
>  
> -    % Greater than.
> +    % X > X: Succeed iff X is greater than Y.
>      %
>  :- pred '>'(integer::in, integer::in) is semidet.
>  
> -    % Less than or equal.
> +    % X =< X: Succeed iff X is less than or equal to Y.
>      %
>  :- pred '=<'(integer::in, integer::in) is semidet.
>  
> -    % Greater than or equal.
> +    % X >= X: Succeed iff X is greater than or equal to Y.
>      %
>  :- pred '>='(integer::in, integer::in) is semidet.
>  

X < Y, etc.

Peter



More information about the reviews mailing list