Re: [Caml-list] Are implicit modules too implicit?

[Gerd Stolpmann <info@gerd-stolpmann.de>]

[-- Attachment #1: Type: text/plain, Size: 1488 bytes --]

Currently I'm in a Scala project where there are a number of implicits,
and the question which implicit is actually used is a real one. Having
support in Merlin is good, but I think there could also be support in
the compiler. What about adding a warning "implicit X is resolved
as ..." which can be used for tracing the resolution during the build?

Gerd

Am Mittwoch, den 02.03.2016, 08:37 -0500 schrieb Leo White:
> > To me, this means going from a call-site, to the actual
> > implementation is very difficult especially since I cannot even do some
> > sort of grep to find all those things that implement an implicit module
> > type.
> 
> The best way of finding a variable's definition is to use merlin to jump to definition.
> The same will be true for implicit call sites.
> 
> Depending on how libraries are designed I would not expect it to be difficult to locate
> the instances by hand. They are managed with the same scoping mechanisms as
> ordinary values, and since they should rarely be used by name they can also be
> given nice descriptive searchable names.
> 
> Regards,
> 
> Leo
> 

-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------


[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 473 bytes --]