[m-dev.] Amusing Mercury error message

[Ralph Becket]

I thought people might find this one amusing :-)

church.m:090: In clause for `church_var = out(any)':
church.m:090:   mode error: argument 1 became too instantiated.
church.m:090:   Final instantiatedness of `HeadVar__1' was `free',
church.m:090:   expected final instantiatedness was `any'.

This from the definition

church_var = _.

I'm off to fix it now.
-- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------