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=1.5 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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 6D94ABBAF for ; Fri, 25 Jul 2008 22:04:27 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkgBABjOiUjRVcirjmdsb2JhbACDJI5xQwEBAQEJAwoHDwWXNYVe X-IronPort-AV: E=Sophos;i="4.31,253,1215381600"; d="scan'208";a="13460122" Received: from wf-out-1314.google.com ([209.85.200.171]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Jul 2008 22:04:26 +0200 Received: by wf-out-1314.google.com with SMTP id 24so3674472wfg.15 for ; Fri, 25 Jul 2008 13:04:25 -0700 (PDT) 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=9aSrnQuv5eYts0Tm7zpQx7/MW+2TUCHk+sm00SNcDDU=; b=SYWq0Gz0YJJKBj2zHufcQHhY3Sz26OaNaumc5DmKrqn5wxeSOY1UnBUZ66R82dSh0B 23+Lhuq8jNjXIAucF9eCXI3Bjm1VlzVh/VuU8WmrRzBdxpmcEA09KYlx6Uyre7ZoRHOm jeOb+Q9sI3neFLbqK3nkm0pKUG9aLhpjbMjio= 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=ED5o+/4eGnPEvCtuBxoz2Zyf8XnOrhrDDoSKYxs76sLG3Dqj9PFNhhPQrhaOZGV20Q kh4yY7AHQI1mV6O/b5AjfMUNIfMD0pPHRvpR0gHJ6lxTl8FYPJiqUjOU9A/3BUTz48Du A9GGf/dpKuvcmialUuIHwh97VP+AK7Lfu+61c= Received: by 10.142.132.2 with SMTP id f2mr669735wfd.256.1217016265394; Fri, 25 Jul 2008 13:04:25 -0700 (PDT) Received: by 10.143.167.13 with HTTP; Fri, 25 Jul 2008 13:04:25 -0700 (PDT) Message-ID: Date: Fri, 25 Jul 2008 16:04:25 -0400 From: "Markus Mottl" To: "Dario Teixeira" Subject: Re: [Caml-list] Sexplib and types defined via constraint Cc: caml-list@yquem.inria.fr In-Reply-To: <363597.53244.qm@web54607.mail.re2.yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <363597.53244.qm@web54607.mail.re2.yahoo.com> X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 syntax:01 bug:01 annotations:01 bug:01 ocaml:01 wrote:01 signatures:01 caml-list:01 constraint:01 constraint:01 structures:02 On Fri, Jul 25, 2008 at 8:31 AM, Dario Teixeira wrote: > But consider the module fragment below; type t is defined via a constraint, > and includes a type parameter ('b) used as a phantom type. The Sexplib syntax > extension fails to parse the definition of t, producing an error: > > Failure: "get_tparam_id: not a type parameter" > Preprocessing error on file document.ml Thanks for reporting this, this is a bug in type-conv (i.e. affects bin-prot, too). Though we also make use of variance annotations, we have surprisingly never used them in structures, only in signatures. That's why this bug went unspotted until now. An updated version is online already, including the Godi-package. Best regards, Markus -- Markus Mottl http://www.ocaml.info markus.mottl@gmail.com