On Fri, 2007-08-24 at 11:14 +0100, Jeremy Yallop wrote:
> skaller wrote:
> > type 'a regexp_t' =
> >   [
> >   | `REGEXP_seq of 'a regexp_t' * 'a regexp_t' (** concatenation *)
> >   | `REGEXP_alt of 'a regexp_t' * 'a regexp_t' (** alternation *)
> >   | `REGEXP_aster of 'a regexp_t'  (** Kleene closure *)
> >   | `REGEXP_string of string   (** concatenation of chars of string *)
> >   | `REGEXP_epsilon            (** epsilon: null string *)
> >   ]
> 
> If I understand rightly, then this should be
> 
>    type 'a regexp_t' =
>      [
>      | `REGEXP_seq of 'a * 'a (** concatenation *)
>      | `REGEXP_alt of 'a * 'a (** alternation *)
>      | `REGEXP_aster of 'a  (** Kleene closure *)
>      | `REGEXP_string of string   (** concatenation of chars of string *)
>      | `REGEXP_epsilon            (** epsilon: null string *)
>      ]

Ouch .. yes of course. Thanks! Can't see the wood for the trees ..


-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net