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

Tennessee Leeuwenburg tjleeuw at students.cs.mu.oz.au
Fri Jul 21 10:26:58 AEST 2000

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


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

More information about the users mailing list