[wg-camlp4] Pending issues
Xavier Clerc
xavier.clerc at inria.fr
Wed Feb 13 15:22:51 GMT 2013
----- Mail original -----
> On 2/12/2013 9:12 PM, Pierre Chambart wrote:
> > I would also prefer to
> > restrict that kind of annotation to a small subset of the
> > expression
> > language avoiding as much as possible duplication.
>
> Just to be clear, do you propose to restrict attributes in general,
> or
> only those which will be reflected in runtime types? There are
> several
> cases where one really wants to be able to use general expressions as
> attributes, such as the example given by Yaron:
>
> type t =
> { a : int with default(2), sexp_drop_if(fun x -> x = 2);
> } with sexp
I am probably missing something here...
Are you discussing the ability to store some attribute
for runtime retrieval? In this case, how do you intent
to store the function? I mean, you cannot marshal it
as a closure, and at the very same time its usefulness
at runtime seems to be based on the ability to actually
execute it?
Regards,
Xavier Clerc
More information about the wg-camlp4
mailing list