[m-rev.] Re: [m-dev.] question about exception.m and also mode-specific clauses

Tyson Dowd trd at cs.mu.OZ.AU
Fri Aug 17 23:59:30 AEST 2001


On 17-Aug-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:

... helpful explanation of the idea ...

> Estimated hours taken: 1
> Branches: main
> 
> library/exception.m:
> 	Use mode-specific Mercury code rather than C code.
> 
> library/Mmakefile:
> 	Compile the library with --strict-sequential.
> 	This is needed by the new code in exception.m
> 	and is a good idea anyway.

The diff is a good idea.  I have but one comment:

> +get_determinism(_Pred::(pred(out) is det), Det::out(bound(det))) :-
> +	( Det = det
> +	; error("get_determinism")
> +	).
> +get_determinism(_Pred::(pred(out) is semidet), Det::out(bound(semidet))) :-
> +	( Det = det
> +	; error("get_determinism")
> +	).

This isn't right, Det = semidet should be here.

Did the compiler accept this?

Tyson.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list