[mercury-users] Inst question

Ralph Becket rafe at csse.unimelb.edu.au
Tue Nov 20 09:59:21 AEDT 2007

Nicholas Nethercote, Tuesday, 20 November 2007:
> Hi,
> For this code:
>   :- pred zblt_decl_par_int(zt_int::oa) is det.
>   zblt_decl_par_int(_).
> I got this error:
>   zinc_lib.m:442: In clause for `zblt_decl_par_int(oa)':
>   zinc_lib.m:442:   mode error: argument 1 became too instantiated.
>   zinc_lib.m:442:   Final instantiatedness of `HeadVar__1' was `free',
>   zinc_lib.m:442:   expected final instantiatedness was `any
> I'm not surprised it's an error, but I thought it would say argument 1 was 
> not instantiated enough (ie. I thought 'free' was less instantiated than 
> 'any').  Am I missing something?

This one tickled me a couple of years ago.  I'll add it to my TODO list.
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list