Viktor Söderqvist

Support for specs with multiple clauses has been added to EDoc. Would be nice to have in edown too. Currently it crashes. Example: ```Erlang -spec f(foo) -> bar; (bar) ->...

Don't let normalize recurse into element types

4

... or "Make normalize head normal form again"

Proper has new a module called "proper_erlang_abstract_code" [1] which generates abstract code. It can be used to check that we don't crash on any program or to find things we...

Let rebar3 plugin check beam instead of erl files

9

I tried the rebar3 plugin on a project today. I ran into a few problems. 1. I get a lot of error like "Undefined type options/0 on line 0", which...

Refinement using comparisons `, ==, ==, /=, =:=, =/=` in guard expressions on the form `Var Const` and `Const Var`. ```Erlang %% Matching clause -spec p1(integer()) -> pos_integer(). p1(N) when...

Refactoring typechecker module

7

* Type checking this module takes forever. There's a bottle-neck somewhere. * There is not clear separation of concern. Modularization, so we can use put helpers as unexported functions in...

Tracing errors out of the AST

1

A trace from the top level form to the exact point where a type error is detected by collecting all the nested expressions, by backwards-recursively catching and rethrowing it with...

From [this comment](https://github.com/josefs/Gradualizer/issues/115#issuecomment-449043352) by @Zalastax: > [...] At least some types get normalized and their normalized form gets reported in the error. E.g. > > ```Erlang > -spec f(char()) ->...

Bounded quantification

8

Picking up this topic from #93. I think we do already agree about these points: * Type variables are often used where the a type could just have been used...

CONNECT method (Proof-of-Concept)

1

I've been experimenting with CONNECT to write a proxy server: https://github.com/zuiderkwast/deputy. (Is the name Deputy already taken or reserved for something else in the Cowboy world?) I've tested it only...