From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gustave.nimant@free.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 933EE7EE7D
	for <caml-list@sympa.inria.fr>; Mon,  1 Jun 2015 18:36:04 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  gustave.nimant@free.fr) identity=pra; client-ip=212.27.42.6;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="gustave.nimant@free.fr";
  x-sender="gustave.nimant@free.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  gustave.nimant@free.fr) identity=mailfrom;
  client-ip=212.27.42.6;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="gustave.nimant@free.fr";
  x-sender="gustave.nimant@free.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp6-g21.free.fr) identity=helo;
  client-ip=212.27.42.6;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="gustave.nimant@free.fr";
  x-sender="postmaster@smtp6-g21.free.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0AuAQBUiWxVnAYqG9Rcg2Regx69IoV3AoE0PBABAQEBAQEBEQEBAQEBBg0JCSEuhCMBAQQjFUARCxgCAgUWCwICCQMCAQIBRQYNCAKIEwEZCbQ+ngEJhV8BK4EhiiKFDYJogUUBBItVi2qGXYFnhhGPOoQdbQGCRgEBAQ
X-IPAS-Result: A0AuAQBUiWxVnAYqG9Rcg2Regx69IoV3AoE0PBABAQEBAQEBEQEBAQEBBg0JCSEuhCMBAQQjFUARCxgCAgUWCwICCQMCAQIBRQYNCAKIEwEZCbQ+ngEJhV8BK4EhiiKFDYJogUUBBItVi2qGXYFnhhGPOoQdbQGCRgEBAQ
X-IronPort-AV: E=Sophos;i="5.13,533,1427752800"; 
   d="scan'208";a="161291079"
Received: from smtp6-g21.free.fr ([212.27.42.6])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 01 Jun 2015 18:36:04 +0200
Received: from [192.168.0.11] (unknown [82.226.95.82])
	by smtp6-g21.free.fr (Postfix) with ESMTP id 4A11482323
	for <caml-list@inria.fr>; Mon,  1 Jun 2015 18:32:20 +0200 (CEST)
Message-ID: <556C89F3.3000206@free.fr>
Date: Mon, 01 Jun 2015 18:36:03 +0200
From: Gustave Nimant <gustave.nimant@free.fr>
User-Agent: Mozilla/5.0 (X11; Linux i686; rv:31.0) Gecko/20100101 Icedove/31.2.0
MIME-Version: 1.0
To: "caml-list@inria.fr" <caml-list@inria.fr>
References: <556C4512.2050002@free.fr> <CAHvkLrOgF3VYS5dZpvQupfzV16gHEQ5g_-h4OFZursp0rpbB7g@mail.gmail.com>
In-Reply-To: <CAHvkLrOgF3VYS5dZpvQupfzV16gHEQ5g_-h4OFZursp0rpbB7g@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] getting the name of a function from its body

On 01/06/2015 13:46, Fabrice Le Fessant wrote:
> Recent versions of OCaml provide "__LOC__", "__FILE__", "__LINE__",
> "__MODULE__" and "__POS__" primitives that can be used to display
> precise error messages.
>
> --Fabrice
Thank you for this information I was not aware of.
It seems that the functions described in
http://caml.inria.fr/pub/docs/manual-ocaml/libref/Pervasives.html
do not answer my question :
"how to get the name of the current function ?"

Do I miss something ?

Gustave