GitHub · Where software is built

Labels Milestones New issue

type_check_arith_op does not preserve non_neg and pos prefixes leading to false positives

good first issue

#572

· erszcz opened

on Sep 18, 2024

`refine_mismatch_using_guards` vs `refine_vars_by_mismatching_clause` - redundant?

#569

· erszcz opened

on Sep 11, 2024

Type representation

#563

· erszcz opened

on Mar 19, 2024

Exhaustivity checking issue

#562

· erszcz opened

on Mar 19, 2024

Gradualizer can't tell that `m` and `f` don't exist in `erlang:apply(m, f, [some, args])`

#561

· erszcz opened

on Mar 19, 2024

Wrong type location reported?

#559

· Olivier-Boudeville opened

on Sep 23, 2023

support for OTP 26 map comprehensions

#556

· RoadRunnr opened

on Sep 8, 2023

Solving local constraints at each function call to a polymorphic function

#553

· xxdavid opened

on Aug 26, 2023

`binary_to_atom/1` breaks compatibility below OTP 23

#552

· robertfiko opened

on Aug 2, 2023

Wrong type in receive...after Timeout

#551

· arcusfelis opened

on Aug 1, 2023

Support old-style 'catch' keyword

good first issue

#550

· erszcz opened

on Jul 4, 2023

Invalid polymorphic code accepted

#549

· erszcz opened

on Jul 4, 2023