[mercury-users] rule is a reserved word?

Lee Naish lee at cs.mu.OZ.AU
Tue Jun 8 12:13:02 AEST 1999


In message <003201beb0cc$1d75d0f0$ca354ec2 at herbrand.miscrit.be>you write:
>Just got that one a few days ago too. Appears that rule is used for some
>purpose in nu-prolog and defined in Mercury as reserved word for
>compatibility...

Its used for "pred" (type) declarations for predicates defined using
DCGs, to be compatible (more or less) with the Mycroft O'Keefe type
checker.  It implicitly declares the two extra args to be of type
list(T) (even though the extra args don't have to be lists).

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