[m-rev.] calendar module proposal

Peter Ross pro at missioncriticalit.com
Tue Jan 27 16:22:16 AEDT 2009


On Tue, Jan 27, 2009 at 04:02:11PM +1100, Ian MacLarty wrote:
> Index: library/calendar.m
> ===================================================================
> RCS file: library/calendar.m
> diff -N library/calendar.m
> --- /dev/null	1 Jan 1970 00:00:00 -0000
> +++ library/calendar.m	27 Jan 2009 03:51:25 -0000
> @@ -0,0 +1,961 @@

> +    % Convert a string of the form "YYYY-MM-DD HH:MI:SS" to a date.
> +    %
> +:- pred date_from_string(string::in, date::out) is semidet.
> +
> +    % Same as above, but aborts if the string is not a valid date.
> +    %
> +:- func det_date_from_string(string) = date.
> +
> +    % Convert a date to a string of the form "YYYY-MM-DD HH:MI:SS".
> +    %
One minor comment.

I would use HH:MM:SS instead of HH:MI:SS


--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list