From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p0JIA6Fb003215 for ; Wed, 19 Jan 2011 19:10:07 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigBAD64Nk3Yi+wamWdsb2JhbACEEZIaAQGOGhUBAQEBAQgLCgcRJK87PIcmLoczgSSDOHQEhG+GLw X-IronPort-AV: E=Sophos;i="4.60,345,1291590000"; d="scan'208";a="87440703" Received: from sam.nabble.com ([216.139.236.26]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 19 Jan 2011 19:10:05 +0100 Received: from isper.nabble.com ([192.168.236.156]) by sam.nabble.com with esmtp (Exim 4.69) (envelope-from ) id 1PfcTr-0006YD-A5 for caml-list@inria.fr; Wed, 19 Jan 2011 10:10:03 -0800 Message-ID: <30712448.post@talk.nabble.com> Date: Wed, 19 Jan 2011 10:10:03 -0800 (PST) From: sieira To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Nabble-From: jaimito.hendrix@gmail.com Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p0JIA6Fb003215 Subject: re[Caml-list] cursive type definition camllight I'm implementing a graphical interface in camllight on which there are forms. I've defined a form as 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? Otherwise, i could do: type form == textbox list * (field_values list,customer list -> customer list);; but I would like to avoid it in order to keep a clean code. Thanks in advance for your replies. -- View this message in context: http://old.nabble.com/recursive-type-definition-camllight-tp30712448p30712448.html Sent from the Caml Discuss mailing list archive at Nabble.com.