Re: [Caml-list] [ANN] visitors

[whitequark <whitequark@whitequark.org>]

On 2017-03-16 11:12, Kakadu wrote:
> 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]
> ?

I actually planned this feature, but scrapped it because I did not want
to implement module scoping. A PR would be warmly welcome.

> 
> 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

-- 
whitequark