Version française
Home     About     Download     Resources     Contact us    
Browse thread
How to Create Sensible Debugging Information when Dynamically Typechecking Code Generated with camlp5 Quotations
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Daniel de Rauglaudre <daniel.de_rauglaudre@i...>
Subject: Re: [Caml-list] How to Create Sensible Debugging Information when Dynamically Typechecking Code Generated with camlp5 Quotations
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/