[mercury-users] rule is a reserved word?

[Richard A. O'Keefe]

`rule' was in one version of the DEC-10 Prolog type checker,
but it didn't use `any'.  The idea was that

:- T0 rule nt(T1, ..., Tn).

was equivalent to

:- pred nt(T1, ..., Tn, T0, T0).

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