Re: [Caml-list] [ANN] visitors

[Kakadu <kakadu.hafanana@gmail.com>]

Can we have something like

type ('a,'b) glist = Nil | Cons ...
type 'a list = ('a, 'a list) glist [%import crazy hack to know
constructors of glist here]
?

Happy hacking,
Kakadu

On Thu, Feb 2, 2017 at 3:46 AM, Emilio Jesús Gallego Arias <e@x80.org> wrote:
> whitequark <whitequark@whitequark.org> writes:
>
>> Unfortunately Emilio has the shortest implementation that's possible
>> right now.
>
>> I think this would be a fairly straightforward addition to ppx_import.
>
> In the lines of François suggestion, it would be great if ppx_import
> could some kind of "batch" import for modules. Imagine you want to add
> show to a whole module, you could do:
>
> [%import: M
>   [@attach all [[@deriving show]]]]
>
> or
>
> module M = [%import M ....]
>
> Another option is to teach deriving about modules:
>
> module M = M
> [@@deriving sexp]
>
> but I am not sure what would be the best way to avoid all the
> boilerplate I currently have [would had submitted an issue otherwise]
>
> Best,
> Emilio
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs