Search results

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

bug

good first issue

help wanted

Status: Open.

#572 In josefs/Gradualizer;

· erszcz opened on Sep 18, 2024

refine_mismatch_using_guards vs refine_vars_by_mismatching_clause - redundant?

enhancement

Status: Open.

#569 In josefs/Gradualizer;

· erszcz opened on Sep 11, 2024

Type representation

enhancement

Status: Open.

#563 In josefs/Gradualizer;

· erszcz opened on Mar 19, 2024

Exhaustivity checking issue

bug

Status: Open.

#562 In josefs/Gradualizer;

· erszcz opened on Mar 19, 2024

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

Status: Open.

#561 In josefs/Gradualizer;

· erszcz opened on Mar 19, 2024

Wrong type location reported?

Status: Open.

#559 In josefs/Gradualizer;

· Olivier-Boudeville opened on Sep 23, 2023

support for OTP 26 map comprehensions

Status: Open.

#556 In josefs/Gradualizer;

· RoadRunnr opened on Sep 8, 2023

Solving local constraints at each function call to a polymorphic function

Status: Open.

#553 In josefs/Gradualizer;

· xxdavid opened on Aug 26, 2023

binary_to_atom/1 breaks compatibility below OTP 23

Status: Open.

#552 In josefs/Gradualizer;

· robertfiko opened on Aug 2, 2023

Wrong type in receive...after Timeout

Status: Open.

#551 In josefs/Gradualizer;

· arcusfelis opened on Aug 1, 2023

Support old-style 'catch' keyword

enhancement

good first issue

help wanted

Status: Open.

#550 In josefs/Gradualizer;

· erszcz opened on Jul 4, 2023

Invalid polymorphic code accepted

bug

Status: Open.

#549 In josefs/Gradualizer;

· erszcz opened on Jul 4, 2023