Issues

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

  buggood first issuehelp wanted
  josefs/Gradualizer#572 · Filter by author erszcz opened on Sep 18, 2024

• refine_mismatch_using_guards vs refine_vars_by_mismatching_clause - redundant?

  enhancement
  josefs/Gradualizer#569 · Filter by author erszcz opened on Sep 11, 2024

• Type representation

  enhancement
  josefs/Gradualizer#563 · Filter by author erszcz opened on Mar 19, 2024
  2

• Exhaustivity checking issue

  bug
  josefs/Gradualizer#562 · Filter by author erszcz opened on Mar 19, 2024

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

  josefs/Gradualizer#561 · Filter by author erszcz opened on Mar 19, 2024
  2

• Wrong type location reported?

  josefs/Gradualizer#559 · Filter by author Olivier-Boudeville opened on Sep 23, 2023

• support for OTP 26 map comprehensions

  josefs/Gradualizer#556 · Filter by author RoadRunnr opened on Sep 8, 2023

• Solving local constraints at each function call to a polymorphic function

  josefs/Gradualizer#553 · Filter by author xxdavid opened on Aug 26, 2023
  6

• binary_to_atom/1 breaks compatibility below OTP 23

  josefs/Gradualizer#552 · Filter by author robertfiko opened on Aug 2, 2023
  4

• Wrong type in receive...after Timeout

  josefs/Gradualizer#551 · Filter by author arcusfelis opened on Aug 1, 2023

• Support old-style 'catch' keyword

  enhancementgood first issuehelp wanted
  josefs/Gradualizer#550 · Filter by author erszcz opened on Jul 4, 2023
  5

• Invalid polymorphic code accepted

  bug
  josefs/Gradualizer#549 · Filter by author erszcz opened on Jul 4, 2023
  2

• Crash in gradualizer_fmt:format_type_error: no function_clause_matching

  bug
  josefs/Gradualizer#544 · Filter by author RobinMorisset opened on Jun 7, 2023

• An invalid utf32 value can crash eval_bits:eval_exp_field/6

  bug
  josefs/Gradualizer#543 · Filter by author RobinMorisset opened on Jun 7, 2023

• ok bsr ok crashes erl_eval:do_apply/7

  bug
  josefs/Gradualizer#542 · Filter by author RobinMorisset opened on Jun 7, 2023
  4

• Support the new dynamic() type

  enhancement
  josefs/Gradualizer#540 · Filter by author zuiderkwast opened on May 16, 2023

• No clause of gradualizer_lib:pick_value(any())

  bug
  josefs/Gradualizer#537 · Filter by author erszcz opened on May 8, 2023
  2

• No clause for gradualizer_lib:pick_value(module())

  bug
  josefs/Gradualizer#536 · Filter by author erszcz opened on May 8, 2023
  2

• Crash with Uncaught error: {badkey, ...}

  josefs/Gradualizer#534 · Filter by author ilya-klyuchnikov opened on May 3, 2023
  1

• Crash with Uncaught error: function_clause

  bug
  josefs/Gradualizer#530 · Filter by author ilya-klyuchnikov opened on Apr 27, 2023
  6

• Keep track of variable bindings & types

  josefs/Gradualizer#527 · Filter by author japhib opened on Apr 10, 2023
  5

• Uncaught case clause error #{'Value' => {type,0,tuple,any}}

  bug
  josefs/Gradualizer#526 · Filter by author tsloughter opened on Apr 5, 2023
  1

• Refine bound vars with guards

  enhancementhelp wanted
  josefs/Gradualizer#523 · Filter by author erszcz opened on Mar 16, 2023

• Solve constraints in type_check_list_op_in/3

  enhancementhelp wanted
  josefs/Gradualizer#522 · Filter by author erszcz opened on Mar 14, 2023

• Solve constraints in unary_op_arg_type/2

  enhancementhelp wanted
  josefs/Gradualizer#519 · Filter by author erszcz opened on Mar 7, 2023