From mboxrd@z Thu Jan 1 00:00:00 1970 From: David Scott Subject: Re: [PATCH 06/28] libxl: ocaml: support for KeyedUnion in the bindings generator. Date: Tue, 26 Mar 2013 09:21:07 +0000 Message-ID: <51516883.7080103@eu.citrix.com> References: <1364222729-6982-1-git-send-email-rob.hoes@citrix.com> <1364222729-6982-7-git-send-email-rob.hoes@citrix.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; Format="flowed" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <1364222729-6982-7-git-send-email-rob.hoes@citrix.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Rob Hoes Cc: Ian Campbell , "xen-devel@lists.xen.org" List-Id: xen-devel@lists.xenproject.org Minor quibble: On 25/03/13 14:45, Rob Hoes wrote: [snip] > So given IDL: > > foo = Enumeration("foo", > (0, "BAR"), > (1, "BAZ"), > s = Struct("s", [ > ("u", KeyedUnion(none, foo, "blargle", [ > ("bar", Struct(...xxx...)), > ("baz", Struct(...yyy...)), > ])), > ]) [snip] > and map this to ocaml > > type foo = BAR | BAZ; > > module s = Struct I presume you mean "module S = struct"? Cheers, Dave