typespecs and dialyzer about elixir HOT 7 CLOSED

So after some research there definitely isn't an "easy and hassle free" way of getting dialyzer set up without at least some more structure to the project (and by structure, I mean like Mix structure). Theoretically we could do something to make it work, but I question if the cost would be worth the benefit. I'm going to explore other ways that we can get the same benefit that wouldn't require such a gnarly change to the current codebase.

@lIpIl - yeah, the PLT takes forever and is a bummer, but luckily there's open source to the rescue! Check out this repo for pre-built PLTs for pretty much every combo of Erlang and Elixir versions that you can download (and info on how to make it all work): https://github.com/danielberkompas/travis_elixir_plts

from elixir.

Yes, we should definitely get this sort of check in place. I don't know what the hassle-free approach would be, though!

from elixir.

Would be interested to see how you do this. I've not found any examples of anyone running dialyzer on CI, probably due to the faff of generating and managing the PLT.

from elixir.

This feels like yet another reason to adopt the standard Elixir project structure.

from elixir.

@lpil - yeah, that definitely crossed my mind as I was working on this yesterday. I'm just not sure how we'll be able to do that within the structure that we need to keep to stay compliant with the x-exercises API. I'm going to do some research on what exactly we need to implement to make sure the API works.

Part of me actually thinks we might be able to structure this as an umbrella app, but that's for further investigation. Of course, if you have any input, I'd be happy to hear it!

from elixir.

What is the part of the x-exercises API we would be unable to comply to?

from elixir.

Closed by #258 and #237

from elixir.