From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=2.0 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id EC97BBBAF for ; Tue, 2 Dec 2008 20:21:14 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuwAAPMYNUlKfVwZimdsb2JhbACDHY9yPgEBAQoJDAcPBbFhgQKMKwEDAQOCfA X-IronPort-AV: E=Sophos;i="4.33,703,1220220000"; d="scan'208";a="20681862" Received: from qw-out-2122.google.com ([74.125.92.25]) by mail1-smtp-roc.national.inria.fr with ESMTP; 02 Dec 2008 20:21:14 +0100 Received: by qw-out-2122.google.com with SMTP id 9so675560qwb.15 for ; Tue, 02 Dec 2008 11:21:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=Ur5BQqfpSVTb4pqdW1h/SCRi7pxT34kzBkr/tBXhfjQ=; b=U5/nrai6JGxkpzbyU6v+Nt+UZsuIN+QQ+ueekettB/9K4iccFE/6T5klXzeTwKiZsp vMRdRgJFfmH0O8FNEyMbSHS2HtxS4eNshqrtOAJOtc0ev1/x4ExKzRyCLa05w/y6lgf6 6MhPsRgg7bOIvHAZxNY+5KGZiPMMGri09QZD0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=pFF9qpivbtnQixIag9OZ+6kR4eVqtD9IYoANeZipphBuvI+5mv9U8hWhOHubW6gZ5c iWqeeg4LASXxU5fPvIoylXJrct6DcWkOarlH4bgXiMsbYn2q9o9YNUahxEGrvrMPa0SU aMpCSTecg2W3cZBjNc4xCeJ7tRzoKwjHnz0EM= Received: by 10.142.84.3 with SMTP id h3mr5007490wfb.149.1228245672855; Tue, 02 Dec 2008 11:21:12 -0800 (PST) Received: by 10.143.90.7 with HTTP; Tue, 2 Dec 2008 11:21:12 -0800 (PST) Message-ID: Date: Tue, 2 Dec 2008 14:21:12 -0500 From: "Markus Mottl" To: "Dario Teixeira" Subject: Re: [Caml-list] Issues with Sexplib (#2) Cc: caml-list@yquem.inria.fr In-Reply-To: <81266.45254.qm@web111512.mail.gq1.yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <81266.45254.qm@web111512.mail.gq1.yahoo.com> X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 uncomment:01 sexp:01 syntax:01 compilation:01 recursive:01 ocaml:01 wrote:01 compiles:01 caml-list:01 construct:02 authors:03 On Sat, Nov 29, 2008 at 12:14 PM, Dario Teixeira wrote: > It compiles fine. Now uncomment the "(* with sexp *)" parts, such that it > makes use of the Sexplib syntax extension. The compilation fails on the > definition of body_sectional_order_t, with an error "type_is_recursive: > unknown type construct". Is this a known limitation in Type-conv/Sexplib? This should be fixed in newer releases of type-conv. > One last note to the authors of Sexplib: for each reporting of an issue with > Sexplib there are tons of unreported happy cases. It is such a great tool > that I find myself using it everywhere, hence the inevitability of every > now and then running into problems... Thanks for the feedback! Regards, Markus -- Markus Mottl http://www.ocaml.info markus.mottl@gmail.com