0.0
No commit activity in last 3 years
No release in over 3 years
Pronto runner for Dialyxir
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
 Dependencies

Development

~> 1.10
~> 10.0
~> 3.3

Runtime

~> 0.7, > 0.7.0
 Project Readme

Gem Version

Dialyxir-pronto

Pronto runner for dialyxir

Configuring runner

First need install erlang-elixir-mix properly

Now you will need a global installation of mix dialyxir.

{:dialyxir, "~> 1.0.0-rc.2", runtime: false}

Installation

After install successfully dialyxir globally you simple need install this gem

gem install pronto-dialyxir

After the gem is installed, Pronto will already detect dialyxir runner inside a elixir project.

Configure checkers

You can configure in mix.exs

Credits