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 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id C3B6EBC69 for ; Mon, 17 Dec 2007 06:28:16 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAOqXZUfAXQInh2dsb2JhbACQBQEBAQgKKYEUl1I X-IronPort-AV: E=Sophos;i="4.24,174,1196636400"; d="scan'208";a="20387878" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 17 Dec 2007 06:28:16 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lBH5SF9q019538 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 17 Dec 2007 06:28:16 +0100 X-IronPort-AV: E=Sophos;i="4.24,174,1196636400"; d="scan'208";a="20387877" Received: from yquem.inria.fr ([128.93.8.37]) by mail4-relais-sop.national.inria.fr with ESMTP; 17 Dec 2007 06:28:15 +0100 Received: by yquem.inria.fr (Postfix, from userid 25991) id B2C97BC69; Mon, 17 Dec 2007 06:28:15 +0100 (CET) Date: Mon, 17 Dec 2007 06:28:15 +0100 From: Daniel de Rauglaudre To: caml-list@inria.fr Subject: Re: [Caml-list] How to Create Sensible Debugging Information when Dynamically Typechecking Code Generated with camlp5 Quotations Message-ID: <20071217052815.GA3287@yquem.inria.fr> References: <1197733590-sup-3933@ausone.local> <926126.27694.qm@web60119.mail.yahoo.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <926126.27694.qm@web60119.mail.yahoo.com> User-Agent: Mutt/1.5.9i X-Miltered: at concorde with ID 476608F0.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; rauglaudre:01 rauglaudre:01 camlp:01 wrote:01 dynamically:01 typechecking:01 caml-list:01 ast:02 quotations:03 quotations:03 debugging:03 raise:03 daniel:04 daniel:04 generated:05 Hi, On Sun, Dec 16, 2007 at 07:29:24PM -0800, echinuz echinuz wrote: > That's very close to what I'd like, but quotations cause a problem. > With quotations, it's impossible to type check during preprocessing. > It must occur after the AST has been formed. In this case, > Ploc.raise doesn't generate nice error messages like it does during > preprocessing. Here's the offending code: Please give also an example showing the problem. I understand with examples. -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/