[m-rev.] diff: relax restrictions on existential data

[Julien Fischer]

On Fri, 13 May 2005, Mark Brown wrote:

>
> @@ -1640,11 +1692,16 @@
>  % very_long_module_name:002:   error in type class constraints: type variable
>  % very_long_module_name:002:   T occurs in the constraints, but is not
>  % very_long_module_name:002:   determined by the predicate's argument types.
> +%
> +% very_long_module_name:002: In declaration for type `long_type/3':
> +% very_long_module_name:002:   error in type class constraints: type variable
> +% very_long_module_name:002:   T occurs in the constraints, but is not
> +% very_long_module_name:002:   determined by the constructor's argument types.
>
Just an observation:  with things like this the compiler should provide
more of an explanation when compiling with -E.

Cheers,
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
--------------------------------------------------------------------------