gradient
gradient copied to clipboard
esl
Gradient is a static typechecker for Elixir
I'm testing out gradient on a https://github.com/baldwindavid/ex_waiter/pull/3 and get an error that a clause cannot be reached when setting the return type as an `integer` on a function. It does...
This is my project and commit https://github.com/eksperimental/beam_langs_meta_data/tree/26ecd958475bedd5c0e4204814e7437484acdff4 Error: > lib/beam_langs_meta_data.ex: The clause on line 395 cannot be reached https://github.com/eksperimental/beam_langs_meta_data/blob/26ecd958475bedd5c0e4204814e7437484acdff4/lib/beam_langs_meta_data.ex#L395 The line is reachable from IEx though
When any of the `TypedGenServer.StageN.Server` modules get `use GenServer` uncommented `Gradient.type_check_file` reports: ``` iex(7)> recompile(); Gradient.type_check_file(:code.which( TypedGenServer.Stage1.Server ), [:infer]) Compiling 1 file (.ex) lib/typed_gen_server/stage1.ex: The variable on line 755 is...
Background ------------ I am trying to implement a couple of protocols in a module but Gradualizer is complaining saying my code is not reachable. The code works without issues, so...
Background --------------- I have an `Option` type that implements a couple of Protocols. Used alone, gradient likes the `Option` type. A problem however arises when I use it in elixir...
Background --------------- I am trying some code with comprehensions that can either return a list of one element `[t, ...]` or an empty list `[]`. **parsing_with_option.ex** ```elixir defmodule ParsingWithOption do...
Together with #48 this will allow for installing Gradient as a standalone CLI tool.
Background ------------- Let's imagine I have the following struct in a file called `book.ex`: ```elixir defmodule Book do @enforce_keys [:title, :authors] defstruct [:title, :authors] @type t :: %__MODULE__{ title: String.t(),...