[mercury-users] Syntactic sugar for higher order types and modes

[Thomas Conway]

On Sun, Jul 23, 2000 at 08:52:22AM EST, Fergus Henderson wrote:
> On 22-Jul-2000, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> > On 21-Jul-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > > 	- I guess we could also use infix `:' in `mode' declarations...
> > > 
> > > 		:- inst bar_mode1 == (pred(in, out) is det).
> > > 		:- inst bar_mode2 == (pred(out, in) is nondet).
> > > 		:- inst baz_mode == (func(in) = out is det).
> > 
> > Bzzt.  :- inst uses `=' not `==' (but see below for a more sane syntax).
> 
> Although only the "=" syntax is documented in the language reference
> manual, the compiler actually accepts either.

Good excuse. No cigar. ;-)
Does this mean you're going to fix either the manual or the compiler? :)

-- 
 Thomas Conway )O+     Every sword has two edges.
     Mercurian            <conway at cs.mu.oz.au>
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------