[mercury-users] DCG

[Ralph Becket]

Rob wrote on 13 May:
> 
> Anyway, I have a question.. Does the DCG syntax pass through whatever
> the last two variables are, or does it only work for io__state's?

DCG is just syntactic sugar that threads an argument pair through an
extra couple of arguments to each predicate; it doesn't care what the
types of those arguments are.  You can find an explanation of the
expansion in the reference manual.

Cheers,

Ralph

-- 
Ralph Becket  |  rwab1 at cam.sri.com  |  http://www.cam.sri.com/people/becket.html
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------