Josef Svenningsson

OTP24

2

Use OTP 24 in travis and use native implementation of maps:merge_with when available.

Make sure not to recurse forever in typechecker:normalize()

11

Given a recursive type, typechecker:normalize() can recurse forever if we don't take care to stop the recursion. This patch adds a set to keep track of the types that `normalize`...

As @gomoripeti pointed out here: https://github.com/josefs/Gradualizer/pull/309#discussion_r550993747 OTP 24 will have slightly different scoping rules around try/catch. We should make sure to update Gradualizer to those rules. OTP ticket: https://github.com/erlang/otp/pull/2662

Constraint solver

2

This is a technology preview of the constraint solver I've been working on. This is a very simple solver which doesn't handle union types properly, so there are programs which...

Implement modes, similar to Hack

5

The language Hack, which also has gradual types, has a few modes that can be declared at the top of a file. It is described in [this link](https://docs.hhvm.com/hack/source-code-fundamentals/program-structure#strict-mode) but I'll...

Integrate gradualizer into the erl repl

4

It'd be really nice to run gradualizer automatically from the repl, whenever a module is loaded into the beam. Ultimately, I think this is where we want gradualizer to head....

Highlighter points to the wrong occurrence of a variable

3

When typechecking `gradualizer_cli` we get the following error message ``` ebin/gradualizer_cli.beam: The variable on line 47 is expected to have type [A, ...] but it has type [any()] [print_file ||...

Properly distinguish between absform types and gradualizer internal representation

2

Originally gradualizer used the absform representation of types everywhere. But we have slowly been moving away by adding our own little tweaks. And we've been discussion making bigger changes. For...

New Years Resolution

6

We're a week into the new year, but I still would like to make a New Year's resolution. In the last quarter of the previous year I wasn't very active...

Beta release

10

I've added a milestone called Beta release which right now collects some of the issues that I'd like to see resolved before we can announce a beta. My main goal...