[mercury-users] Handy Programming tool for Mercury.

[David Glen JEFFERY]

On 19-May-1999, Ralph Becket <rwab1 at cam.sri.com> wrote:
> Erwan Jahier wrote on 11 May:
> > | I've written an Awk script, state2m, to simplify the coding up of
> > | `state containers' in Mercury
> > 
> > It looks nice.
> > 
> > Is there any strong reason why didn't you implement that script in Mercury
> > itself ?
> 
> I considered using Mercury, and it's doubtless the case that a Mercury
> implementation would be more robust.  However, it's essentially a text
> mangling task and it's easier to do that kind of thing in Awk.
> 
> If I/someone eventually gets around to providing a decent generic
> parsing module then the next version will probably be in Mercury.

This would be a very worthwhile exercise. It is pretty important, I think,
that we are able to write tools like this in Mercury.

Design, anyone?


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Homer, is this how you pictured
PhD student,                    |         married life?
Dept. of Comp. Sci. & Soft. Eng.|  Homer: Yup, pretty much... except we
The University of Melbourne     |         drove around in a van solving
Australia                       |         mysteries.

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