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

[Tennessee Leeuwenburg]

> 	- In `:- pred foo is bar.', case (2), the use of the word `is'
> 	  does not match the meaning of `is' in the English language,
> 	  so it doesn't read well.  Really what this declaration is
> 	  saying is that `foo' is a predicate with type `bar', not
> 	  that `foo' _is_ `bar'.

Hi! Not that I know what I'm talking about, but isn't == used for
equivalence already for types? How about :- pred foo == bar?

-T

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