[mercury-users] partial instantiation?

[Tomas By]

On Wed, April 14, 2010 05:14, Paul Bone wrote:
> On Wed, Apr 14, 2010 at 05:03:02AM +0200, Tomas By wrote:
>> I suspect I would also need complicated mode declarations for the third
>> parameter (cmdproc), as that also has free variables?
>
> Yes, that's right.

Ok, thanks, I will see if I can get it to work.

Just one more question right now: how many different inst/mode declarations
(for parameter three) will I need here?

|cmd( "command", [],              dosomething(0,"filename") ).
|cmd( "command", [str(F)],        dosomething(0,F)          ).
|cmd( "command", [int(N)],        dosomething(N,"filename") ).
|cmd( "command", [str(F),int(N)], dosomething(N,F)          ).

Four? (bound-bound, bound-free, free-bound, free-free)

/Tomas


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