On 22.02.2004 10:06, J. Garrett Morris wrote:

> Hello,
> 
> I'm currently writing a set of camlp4 quotations, and I'm running into the "Unbound value 'loc'" error that's been discussed on this list before.  I'm curious about exactly when the loc variable needs to be present, though.  I've got a fair number of helper routines like:
> 
> let processList (l:MLast.expr list):MLast.expr =
>       List.fold_right (fun x l -> <:expr<[$x$ :: $l$]>>) l <:expr<[]>> 
> 
> which are used both in antiquotations and in let statements surrounding expr quotations ... when do I need to take 'loc' as a parameter?

Basically, whenever you have an <:expr< ... >> quotation used an 
expression, it will use the "loc" variable for the "location" part of 
the expression. For example, in your case

<:expr<[$x$ :: $l$]>>
   expands to
MLast.ExApp (loc, MLast.ExApp (loc, MLast.ExUid (loc, "::"), x), l)

and

<:expr<[]>>
   expands to
MLast.ExUid (loc, "[]")

You can find out how camlp4 expands things by running, for example, 
"camlp4 q_MLast.cmo pa_o.cmo pr_o.cmo your_file.ml" - the output will 
contain the "plain" ML code.

Hope this helps.

-- 
Aleksey Nogin

Home Page: http://nogin.org/
E-Mail: nogin@cs.caltech.edu (office), aleksey@nogin.org (personal)
Office: Jorgensen 70, tel: (626) 395-2907

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners