josefs/Gradualizer

Issues

• Crash in typechecker:do_type_check_expr_in/3: bad_key in map_get/2

  #545 opened 2 months ago by RobinMorisset
  1

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

  #572 opened 3 months ago by erszcz
  0

• `refine_mismatch_using_guards` vs `refine_vars_by_mismatching_clause` - redundant?

  #569 opened 4 months ago by erszcz
  0

• How to mention Gradualizer in a paper?

  #565 opened 7 months ago by kikofernandez
  2

• Type representation

  #563 opened 9 months ago by erszcz
  2

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

  #561 opened 9 months ago by erszcz
  2

• Exhaustivity checking issue

  #562 opened 9 months ago by erszcz
  0

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

  #553 opened a year ago by xxdavid
  6

• Wrong type location reported?

  #559 opened a year ago by Olivier-Boudeville
  0

• support for OTP 26 map comprehensions

  #556 opened a year ago by RoadRunnr
  0

• Support old-style 'catch' keyword

  #550 opened a year ago by erszcz
  5

• `binary_to_atom/1` breaks compatibility below OTP 23

  #552 opened a year ago by robertfiko
  4

• Wrong type in receive...after Timeout

  #551 opened a year ago by arcusfelis
  0

• `ok bsr ok` crashes erl_eval:do_apply/7

  #542 opened 2 years ago by RobinMorisset
  4

• Invalid polymorphic code accepted

  #549 opened a year ago by erszcz
  2

• Support the new dynamic() type

  #540 opened 2 years ago by zuiderkwast
  0

• Crash in gradualizer_fmt:format_type_error: no function_clause_matching

  #544 opened 2 years ago by RobinMorisset
  0

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

  #543 opened 2 years ago by RobinMorisset
  0

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

  #526 opened 2 years ago by tsloughter
  1

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

  #537 opened 2 years ago by erszcz
  2

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

  #536 opened 2 years ago by erszcz
  2

• Crash with Uncaught error: function_clause

  #530 opened 2 years ago by ilya-klyuchnikov
  6

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

  #534 opened 2 years ago by ilya-klyuchnikov
  1

• Crash with `Uncaught error: {case_clause, ..` in `typechecker:do_type_check_expr/2`

  #531 opened 2 years ago by ilya-klyuchnikov
  0

• Keep track of variable bindings & types

  #527 opened 2 years ago by japhib
  5

• Refine bound vars with guards

  #523 opened 2 years ago by erszcz
  0

• Solve constraints in type_check_list_op_in/3

  #522 opened 2 years ago by erszcz
  0

• Adding suppressions to accept type-defensive code?

  #515 opened 2 years ago by Olivier-Boudeville
  7

• Solve constraints on vars bound in each clause of an inline fun

  #518 opened 2 years ago by erszcz
  0

• Solve constraints in unary_op_arg_type/2

  #519 opened 2 years ago by erszcz
  0

• Error message needs more info: `The type of the function _____, called on line ___ doesn't match the surrounding calling context.`

  #484 opened 2 years ago by japhib
  4

• Exhaustiveness check does not merge unions

  #477 opened 2 years ago by xxdavid
  1

• Make sure the constraint solver results are deterministic

  #510 opened 2 years ago by erszcz
  0

• Multiple map key patterns raise an unexpected type check error

  #507 opened 2 years ago by javiergarea
  4

• No errors are flagged for guarded function clauses

  #501 opened 2 years ago by duncanatt
  3

• Undefined function `module_info/0`

  #473 opened 2 years ago by tsloughter
  2

• rebar3 case clause error

  #497 opened 2 years ago by mpope9
  2

• Improve unsupported expression (e.g. maybe) handling

  #494 opened 2 years ago by erszcz
  1

• Solved: every record is a tuple, but not every tuple is a record

  #490 opened 2 years ago by tsloughter
  4

• exclude option in rebar.config does not work

  #483 opened 2 years ago by jesperes
  11

• `error/2` and `error/3` false positive (treating `none` atom as an invalid argument)

  #476 opened 2 years ago by xxdavid
  11

• rebar3 plugin: Support excluding modules when using --use_beam

  #468 opened 2 years ago by tsloughter
  3

• module type resolution or non_neg_integer a subtype of Integer

  #472 opened 2 years ago by tsloughter
  1

• Exported module type not recognized as same type

  #471 opened 2 years ago by tsloughter
  1

• Gradualizer results from top 24 Hex.pm Erlang libraries

  #464 opened 2 years ago by erszcz
  4

• function_clause error in gradualizer_int:int_type_to_range()

  #462 opened 2 years ago by jesperes
  1

• Timeout checking function (performance issue related to jsx?)

  #449 opened 2 years ago by jesperes
  9

• function_clause crash in typechecker:get_unassigned_fields/2

  #445 opened 2 years ago by jesperes
  2

• Warn on every cast from any() to a well known type?

  #446 opened 2 years ago by erszcz
  1

• "syntax error" reported in gradualizer_highlight:parse_into_list_of_forms/1

  #448 opened 2 years ago by jesperes
  8