> On 28 Aug 2016, at 17:12, michel perez <michel.inges...@gmail.com> wrote: > > Is there a way in dialyzer to assert that receives a parameter with a module > that implements a behaviour, or that receives a data that implements a given > protocol? >
Unfortunately, the typespecs are not powerful enough to express such concepts. Michał. -- You received this message because you are subscribed to the Google Groups "elixir-lang-talk" group. To unsubscribe from this group and stop receiving emails from it, send an email to elixir-lang-talk+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/elixir-lang-talk/F7E75AA9-C0D2-421C-83D4-715ED783200A%40muskala.eu. For more options, visit https://groups.google.com/d/optout.
signature.asc
Description: Message signed with OpenPGP using GPGMail
