From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 DAB277FA89 for ; Wed, 18 May 2016 14:29:58 +0200 (CEST) IronPort-PHdr: 9a23:DQdTyhXxWbi9AkMnNUHd4gJzlpHV8LGtZVwlr6E/grcLSJyIuqrYZhKFt8tkgFKBZ4jH8fUM07OQ6PCxHzdYqsvZ+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8yVOF0D2WL1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GLdRCTBuLns4/taj4RLKSA/K4noHTk0XlABJCk7L9kepcI32t37RtvB8wzWdJc3BbS47VC7qu6xrUh7zlCAfN3g592zYh9ZYkL8eqh+7ox15hYLZNtLGfMFid7/QKItJDVFKWdxcAnRM Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=christoph.hoeger@tu-berlin.de; spf=None smtp.mailfrom=christoph.hoeger@tu-berlin.de; spf=None smtp.helo=postmaster@mail.tu-berlin.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of christoph.hoeger@tu-berlin.de) identity=pra; client-ip=130.149.7.33; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christoph.hoeger@tu-berlin.de"; x-sender="christoph.hoeger@tu-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of christoph.hoeger@tu-berlin.de) identity=mailfrom; client-ip=130.149.7.33; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christoph.hoeger@tu-berlin.de"; x-sender="christoph.hoeger@tu-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.tu-berlin.de) identity=helo; client-ip=130.149.7.33; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christoph.hoeger@tu-berlin.de"; x-sender="postmaster@mail.tu-berlin.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AVAQAwXzxXgCEHlYJdhDdTu3aHUTsRAQEBAQEBAQERAQELCwkJIS+CLYI/DwF7AiYCXw0GAgEBiCuhJI9ikX6BAYcaCIoOglkFmCuBL5YthV6PSTaBYgEBCAJEHIFNbIgGAQEB X-IPAS-Result: A0AVAQAwXzxXgCEHlYJdhDdTu3aHUTsRAQEBAQEBAQERAQELCwkJIS+CLYI/DwF7AiYCXw0GAgEBiCuhJI9ikX6BAYcaCIoOglkFmCuBL5YthV6PSTaBYgEBCAJEHIFNbIgGAQEB X-IronPort-AV: E=Sophos;i="5.26,329,1459807200"; d="scan'208";a="178187998" Received: from mail.tu-berlin.de ([130.149.7.33]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 May 2016 14:29:58 +0200 X-tubIT-Incoming-IP: 130.149.172.228 Received: from brego.uebb.tu-berlin.de ([130.149.172.228]) by mail.tu-berlin.de (exim-4.76/mailfrontend-5) with esmtpsa [UNKNOWN:AES128-SHA:128] for id 1b30bs-0007T2-7x; Wed, 18 May 2016 14:29:57 +0200 To: caml users From: =?UTF-8?Q?Christoph_H=c3=b6ger?= Organization: =?UTF-8?Q?Technische_Universit=c3=a4t_Berlin?= Message-ID: Date: Wed, 18 May 2016 14:29:56 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: [Caml-list] Embedding information in / retrieving information from compiled interfaces Dear all, I am currently creating some OCaml modules which are enhanced by an attribute that is required for users to use them (think of some linkage information). That way I can reuse the OCaml toolchain for obtaining and parsing said attribute from OCaml source files. However, the goal is to use the ocaml (i.e. findlib) ecosystem to find these modules and attributes _after_ compilation and installation. So what I'd need was an attribute that remains in the .cmi file and a way to obtain the (attributed) interface from this .cmi file again. Is there currently any way to achieve this? regards, Christoph -- Christoph Höger Technische Universität Berlin Fakultät IV - Elektrotechnik und Informatik Übersetzerbau und Programmiersprachen Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin Tel.: +49 (30) 314-24890 E-Mail: christoph.hoeger@tu-berlin.de