From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 7C2FC7EE7D for ; Mon, 1 Jun 2015 17:00:19 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of nicolas.ratier@femto-st.fr) identity=pra; client-ip=194.57.88.66; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nicolas.ratier@femto-st.fr"; x-sender="nicolas.ratier@femto-st.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of nicolas.ratier@femto-st.fr) identity=mailfrom; client-ip=194.57.88.66; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nicolas.ratier@femto-st.fr"; x-sender="nicolas.ratier@femto-st.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@lifc-proxy.univ-fcomte.fr) identity=helo; client-ip=194.57.88.66; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nicolas.ratier@femto-st.fr"; x-sender="postmaster@lifc-proxy.univ-fcomte.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AWAQDNcmxVnEJYOcJch2C7R4dHCgKBahIBAQEBAQEBEQEBAQEBCBQJT4QjAQEEIxVAESUCBRYLAgIJAwIBAgFFEwgBAYgts2qjQgErgSGPLxaCUoFFAQSmFI86hB2DNAEBAQ X-IPAS-Result: A0AWAQDNcmxVnEJYOcJch2C7R4dHCgKBahIBAQEBAQEBEQEBAQEBCBQJT4QjAQEEIxVAESUCBRYLAgIJAwIBAgFFEwgBAYgts2qjQgErgSGPLxaCUoFFAQSmFI86hB2DNAEBAQ X-IronPort-AV: E=Sophos;i="5.13,533,1427752800"; d="scan'208";a="132894450" Received: from lifc.univ-fcomte.fr (HELO lifc-proxy.univ-fcomte.fr) ([194.57.88.66]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 01 Jun 2015 17:00:18 +0200 Received: from [172.16.120.224] (nat-tf.ens2m.fr [194.167.45.244] (may be forged)) (authenticated bits=0) by lifc-proxy.univ-fcomte.fr (8.14.4/8.14.4/Debian-4) with ESMTP id t51F0HpR010678 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NOT) for ; Mon, 1 Jun 2015 17:00:18 +0200 Message-ID: <556C72C3.8040802@femto-st.fr> Date: Mon, 01 Jun 2015 16:57:07 +0200 From: Nicolas Ratier User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <556C4512.2050002@free.fr> In-Reply-To: <556C4512.2050002@free.fr> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Scanned-By: MIMEDefang 2.71 on 194.57.88.66 Subject: [Caml-list] Getting the list of available function within a module Hello, I'm writing a syntax highlighting definition file for OCaml and I need some help to generate automatically the keywords. How to get the string list of all installed module inside a OCaml program? How to get the string list of all available functions within a module. For instance : for the module Unix get the list: ["error_message";"handle_unix_error";"environment";...;"setsid"] Is there an OCaml module to handle interface information of a OCaml module? (Some programs, like ocamlbrowser must do it this kind of things). Thanks, Nicolas