[mercury-users] Empty conjuncts?

[Peter Hawkins]

Hi...

Would it be possible to relax mercury's syntax a little, and allow empty 
elements in conjunctions? In other words, this should be valid:

main(!IO) :-
    io.print("Hello ", !IO),
    ,
    (if 1 = 0 then
       true,
     else
       true,
     ),
    ,
    io.print("World\n", !IO),
    .

This would make my life much easier since I spend too much time 
searching for superfluous commas in Mercury code. This often annoys me 
when I have deleted a line at the end of an if-then-else or disjunct and 
forgotten to remove the comma on the end of the previous line.

=)
Peter
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------