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.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id A7CDDBC69 for ; Mon, 30 Apr 2007 14:26:35 +0200 (CEST) Received: from mu-out-0910.google.com (mu-out-0910.google.com [209.85.134.191]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3UCQZWa027285 for ; Mon, 30 Apr 2007 14:26:35 +0200 Received: by mu-out-0910.google.com with SMTP id w9so1655764mue for ; Mon, 30 Apr 2007 05:26:35 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:mime-version:content-transfer-encoding:message-id:content-type:to:from:subject:date:x-mailer; b=RlelFb4kV3KOetV8v+jMeb2jkh5s3IlDcrpD8b/s56pByQx3wRAbd1DawKaEN3XOuxrIIyanAR6NyOu4VnphogldWe6JC8KkGVsOUxUCbvPp/JYes4dkMS/T/VYZS371q2ZIdim+0zEOnOOxK0F1pw1adv2A+zM0Pj2LDY4oUzE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:mime-version:content-transfer-encoding:message-id:content-type:to:from:subject:date:x-mailer; b=Bq++tXDCeYz8lvycRcwtnfecH2s8FbkAD6JAu3IKqmvW5RrXA/HNRFiBwT4RDF5VPCcj6duO7smY2Wuqe0SdhnnfFn7Y6v5h+SlCH2FCHDl9G/QUBCDf+FYotZ4M4Ju6GSfoOgjmN3Q8m+5u7VIQl7BwLHKYsdjEYjJtkb7llQQ= Received: by 10.82.156.12 with SMTP id d12mr4345296bue.1177935994442; Mon, 30 Apr 2007 05:26:34 -0700 (PDT) Received: from ?192.168.1.34? ( [83.52.237.136]) by mx.google.com with ESMTP id z40sm12472145ikz.2007.04.30.05.26.31; Mon, 30 Apr 2007 05:26:33 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v752.3) Content-Transfer-Encoding: 7bit Message-Id: Content-Type: text/plain; charset=US-ASCII; format=flowed To: Caml List From: Joel Reymont Subject: camlp4 3.10: MLast.type_decl Date: Mon, 30 Apr 2007 13:26:25 +0100 X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 4635E07B.000 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at discorde with ID 4635E07B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 mlast:01 decl:01 flags:01 mlast:01 decl:01 ocamlc:01 camlp:01 -pp:01 -for-pack:01 sexp:01 mli:01 sexp:01 mli:01 unbound:01 What magic flags do I need to get hold of MLast.type_decl? This doesn't seem to do it: ocamlc -c -I +camlp4 -pp camlp4of -for-pack Sexplib pa_sexp_conv.mli File "pa_sexp_conv.mli", line 38, characters 8-18: Unbound type constructor MLast.type_decl Thanks, Joel -- http://wagerlabs.com/