[m-dev.] regular expressions

[Ralph Becket]

> From: Fergus Henderson [mailto:fjh at cs.mu.OZ.AU]
>
> > :- 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.

Yep, silly mistake.
> 
> 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.

Agreed again - for the purposes of the argument, s/seq/list/ and make
the appropriate changes to the regex/1 type.

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