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=0.0 required=5.0 tests=none 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 720DBBBC1 for ; Tue, 22 Apr 2008 16:02:36 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqwAAPOMDUjU4367hmdsb2JhbACRWAEBAQoFBwcYmlQ X-IronPort-AV: E=Sophos;i="4.25,694,1199660400"; d="scan'208";a="11266878" Received: from moutng.kundenserver.de ([212.227.126.187]) by mail1-smtp-roc.national.inria.fr with ESMTP; 22 Apr 2008 16:02:36 +0200 Received: from [134.158.129.229] (polvisit10.in2p3.fr [134.158.129.229]) by mrelayeu.kundenserver.de (node=mrelayeu0) with ESMTP (Nemesis) id 0MKwh2-1JoJ4p1qHQ-0007Zj; Tue, 22 Apr 2008 16:02:32 +0200 Message-ID: <480DF042.2000807@kende.fr> Date: Tue, 22 Apr 2008 16:03:46 +0200 From: Mathias Kende User-Agent: Thunderbird 2.0.0.12 (X11/20080227) MIME-Version: 1.0 To: Richard Cobbe Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Additional exports from ocamlyacc-generated module? References: <20080422135612.GC405@perdita.local> In-Reply-To: <20080422135612.GC405@perdita.local> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Provags-ID: V01U2FsdGVkX1+EXIQYMHxMBQMuAkdslSBlS9/6K3WcdZcI8w6 YpKe+FmO8FIbb+qARg9gfz3Oud6VcFkSBP1raOslMq+JvP51Bl rXltNTzSHXM63Btue4naUWsqw6k6ViI X-Spam: no; 0.00; mli:01 makefiles:01 mli:01 ocamlyacc:01 ocamlc:01 ocamlyacc:01 mathias:98 mathias:98 caml-list:01 functions:01 mly:01 caml:02 module:03 expose:04 generated:05 Richard Cobbe a écrit : > Is it possible to mark definitions in an .mly file as "public," so that > they're listed in the generated .mli file? I usually have a rule in my makefiles that destroys the .mli files created by ocamlyacc and creates a new one with "ocamlc -i" which include the function definition of the header (and then there is an automatic filtering to expose only some functions). But there is no way to instruct ocamlyacc to do so to my knowledge, because it is a C program which does not understand the Caml part of the header. Mathias