[mercury-users] Typeclass constraint on HO (function) discriminator

[Sebastian Brand]

>>>It's an abuse of the notation: DCGs are for parsing.

If that's the politically correct view these days then the paragraph
in "The Prolog to Mercury transition guide", Section 3: "Input and 
output" needs correcting: "[IO:] Definite Clause Grammars (DCGs) are 
convenient syntactic sugar to use in such situations."


>>Says who?  It's his code and it works.  Looks like a style issue to me.
> 
> [...] we decided the best course was to adopt state variables for IO
 > and reserve DCGs for parsing.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------