[mercury-users] Inst question

[Ralph Becket]

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