[mercury-users] higher-order func inst...?

[David Overton]

On Tue, Feb 16, 1999 at 08:46:35PM EST, Marko Schuetz wrote:
> I get an error 
> 
> ...
> expecting higher-order func inst (of arity 0).
> ...
> 
> Looking through the reference manual I could not find the syntax how
> to write such an inst.
> 

:- inst ho_func_0 = ((func) = out is det).

Note that the brackets go around the word ``func'' whereas for
higher-order func insts of arity >= 1 they go around the arguments,
e.g.

:- inst ho_func_1 = (func(in) = out is det).

This information is in the reference manual under the subsection
``Higher-order modes''.

David
-- 
David Overton           Department of Computer Science & Software Engineering
MEngSc Student          The University of Melbourne, Australia
+61 3 9344 9159         http://www.cs.mu.oz.au/~dmo