Archives of the Caml mailing list > Message from Daniel de Rauglaudre

Browse thread

How to Create Sensible Debugging Information when Dynamically Typechecking Code Generated with camlp5 Quotations

echinuz echinuz
- Nicolas Pouillard
  - echinuz echinuz
    - Daniel de Rauglaudre
    - Nicolas Pouillard
  - echinuz echinuz
    - Daniel de Rauglaudre
  - echinuz echinuz
    - Daniel de Rauglaudre
  - echinuz echinuz
    - Daniel de Rauglaudre
- Daniel de Rauglaudre

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/