[m-rev.] Add `:- initialise' directive to the language.

[Julien Fischer]

On Wed, 17 Aug 2005, Ralph Becket wrote:

> Index: library/list.m
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/library/list.m,v
> retrieving revision 1.140
> diff -u -r1.140 list.m
> --- library/list.m	22 Jul 2005 12:32:07 -0000	1.140
> +++ library/list.m	16 Aug 2005 01:55:34 -0000
> @@ -339,6 +339,18 @@
>  :- func list__det_index0(list(T), int) = T.
>  :- func list__det_index1(list(T), int) = T.
>
> +	% list__index*_of_first_occurrence(List, Elem, Position):
> +	% 	Computes the least value of Position such that
> +	% 	list_index*(List, Position, Elem).  The `_det' funcs
> +	% 	call error/1 if Elem is not a member of List.
> +	%
> +:- pred list__index0_of_first_occurrence(list(T)::in, T::in, int::out)
> +	is semidet.
> +:- pred list__index1_of_first_occurrence(list(T)::in, T::in, int::out)
> +	is semidet.
> +:- func list__index0_of_first_occurrence_det(list(T), T) = int.
> +:- func list__index1_of_first_occurrence_det(list(T), T) = int.
> +

In the rest of the library we generally use 'det_' as a prefix
for det versions of predicates, rather than a suffix.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------