Add new functions in ast_util.ml for working with locations

When constructing expressions, we need to provide locations for the
generated expressions to give useful error messages. However adding
these at every mk_X function in ast_util would be very verbose,
especially for complex expressions.

Add new locate_X functions (with the one for expressions simply being
called locate), which take a location and recursively apply it to
every child node, e.g.

locate (gen_loc l) (mk_exp (... (mk_exp ..., mk_exp ...)))

would mark every part of the constructed expression as being generated
from code at location l.

0 files changed, 0 insertions, 0 deletions