[mercury-users] dir class questions

[Terrence Brannon]

What would be the intended usage of 

:- mode dir__this_directory(in) is semidet.	 % Implied
	% Returns ".".

1 - How could this be semidet? Meaning, how could it have 0 or 1
values? Isn't the one in argument required?

2 - I am curious as to how the state for this predicate is preserved:

:- mode dir__directory_separator(in) is semidet.
	% Returns '/'.

Furthermore, I only see a functional implementation of this. Where is the predicate with an in parm implemented?

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