[Caml-list] Re: recursive type definition camllight

[Damien Doligez <damien.doligez@inria.fr>]

On 2011-01-19, at 19:10, sieira wrote:

> type form == textbox list * (form,customer list -> customer list);;
> 
> This form displays some textboxes (using graphics library) on which the user
> types the necessary data, after that, it is parsed and tailed to the
> returned customer list. It is necessary that the function that does this
> takes the form as a parameter. ¿Is this possible?

You cannot define a recursive type abbreviation in Caml Light.  But you
can define a recursive concrete type:

type form = Form of textbox list * (form -> customer list -> customer list);;

This will make your code a bit more cumbersome (you'll have to add the
Form constructor in many places), but it should work.

-- Damien