[mercury-users] lex and moose updates?

[Ondrej Bojar]

Hi.

I'd love to use lex and moose together, but I wasn't able to join them
myself and in the extras-rotd-2002-12-01, they're still strictly separate.

I've searched the archives and found only some discussion on this in
summer 2001, and a diff to patch moose by Holger Krug
(http://www.cs.mu.oz.au/research/mercury/mailing-lists/mercury-developers/mercury-developers.0109/0005.html).

The diff is too old for the extras-rotd-2002-12-01/moose, so I'll have to
revert to an older moose.

Isn't there anything more up to date?

Thanks, Andrew.

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