[m-dev.] Re: diff: report errors for missing type decls in interface

[Fergus Henderson]

On 16-Sep-2000, Fergus Henderson <fjh at cs.mu.oz.au> wrote:
> 
> Fix a bug where the compiler was not reporting errors for some invalid code.
> 
> compiler/make_hlds.m:
> 	Fix a bug: in the code for handling predicates which have
> 	mode declarations (or clauses, etc.) but no pred/func
> 	declaration, if --infer-types is enabled, make sure that
> 	we still report errors for exported predicates and for
> 	type class methods.  This required passing down a bool
> 	`IsTypeClassMethod' argument in a number of places.

I forgot to see if that change would affect any of the other .err_exp
files in tests/invalid.  It turns out that I need to make the following
additional change.

----------

tests/invalid/any_mode.err_exp:
	Update the expected output for this change to reflect
	the additional errors output as a result of my recent change.
	The change in question was the one compiler/make_hlds.m to
	make it report errors for missing type declarations on
	exported predicates even if --infer-types is enabled.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------