[mercury-users] rule is a reserved word?

[Thomas Conway]

On Mon, Jun 07, 1999 at 07:57:12PM EST, Dominique de Waleffe wrote:
> 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...

Mercury has no reserved words. Some words are defined as operators,
so if you want to use them as an atom you need to put parentheses
around them eg:

  :- type (rule) --->
		(pred)
	;	(mode)
	;	(type)
	.

-- 
 Thomas Conway  )O+  |   Master, I go hunting.
     Mercurian       |     -- Le Guin, A Wizard of Earthsea
<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
--------------------------------------------------------------------------