[m-dev.] regular expressions

[Fergus Henderson]

On 20-Dec-1999, Ralph Becket <rbeck at microsoft.com> wrote:
> :- type regex(seq(T1), T2)
>	--->	

The `seq(T1)' is not allowed there; the parameters in the head
of a type definition must all be type variables.

I suggest you try generalizing in just one direction at a time: either
generalize regexps so that work over arbitrary sequence types rather
than just lists of chars, or add regexp processing, but wait until you
get one of those fully fleshed out before you try adding the other.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------