[mercury-users] Inst question

[Nicholas Nethercote]

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?

Thanks.

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