On Dec 3, 10:03 am, "[email protected]" <[email protected]> wrote:
> Type regexp 'to
> [One
> Symb 'A |
> | Union of regexp 'regexp and' a
> | Conc regexp 'to
I don't know the Thompson algorithm and it's not clear to me exactly
what you want to express with the regexp type (A regular expression?)
Why you wanted that polymorphic ?
O( n )
--
You received this message because you are subscribed to the Google Groups
"ocaml-developer" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/ocaml-developer?hl=en
For other OCaml forums, see http://caml.inria.fr/resources/forums.en.html
