[m-rev.] for review: two new scope types

[Julien Fischer]

On Tue, 28 Dec 2010, Zoltan Somogyi wrote:

> Add two new kinds of scopes to the language: one that requires the goal inside
> the scope to have a given determinism, and one that requires it
> to be complete, i.e. to have arms for all the function symbols in the type of
> the switched-on variable.

...

> Index: tests/invalid/require_scopes.err_exp
> ===================================================================
> RCS file: tests/invalid/require_scopes.err_exp
> diff -N tests/invalid/require_scopes.err_exp
> --- /dev/null	1 Jan 1970 00:00:00 -0000
> +++ tests/invalid/require_scopes.err_exp	28 Dec 2010 05:03:30 -0000
> @@ -0,0 +1,6 @@
> +require_scopes.m:036: Error: required determinism is `det', but actual
> +require_scopes.m:036:   determinism is `semidet'.
> +require_scopes.m:040: Error: required determinism is `nondet', but actual
> +require_scopes.m:040:   determinism is `semidet'.
> +require_scopes.m:064: Error: the switch on `A' is required to be complete, but
> +require_scopes.m:064:   it is not.

It would also be useful if --verbose-error-messages is enabled, to
report which function symbols are missing from the switch.

The diff is fine.

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