Giters
josefs
/
Gradualizer
A Gradual type system for Erlang
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
609
Watchers:
21
Issues:
224
Forks:
35
josefs/Gradualizer Issues
How to mention Gradualizer in a paper?
Closed
2 months ago
Comments count
2
Type representation
Updated
4 months ago
Comments count
2
Gradualizer can't tell that `m` and `f` don't exist in `erlang:apply(m, f, [some, args])`
Updated
4 months ago
Comments count
2
Exhaustivity checking issue
Updated
4 months ago
Solving local constraints at each function call to a polymorphic function
Updated
5 months ago
Comments count
6
Wrong type location reported?
Updated
10 months ago
support for OTP 26 map comprehensions
Updated
10 months ago
Support old-style 'catch' keyword
Updated
a year ago
Comments count
5
`binary_to_atom/1` breaks compatibility below OTP 23
Updated
a year ago
Comments count
4
Wrong type in receive...after Timeout
Updated
a year ago
`ok bsr ok` crashes erl_eval:do_apply/7
Updated
a year ago
Comments count
4
Invalid polymorphic code accepted
Updated
a year ago
Comments count
2
Support the new dynamic() type
Updated
a year ago
Crash in typechecker:do_type_check_expr_in/3: bad_key in map_get/2
Updated
a year ago
Crash in gradualizer_fmt:format_type_error: no function_clause_matching
Updated
a year ago
An invalid utf32 value can crash eval_bits:eval_exp_field/6
Updated
a year ago
Uncaught case clause error #{'Value' => {type,0,tuple,any}}
Updated
a year ago
Comments count
1
No clause of gradualizer_lib:pick_value(any())
Updated
a year ago
Comments count
2
No clause for gradualizer_lib:pick_value(module())
Updated
a year ago
Comments count
2
Crash with Uncaught error: function_clause
Updated
a year ago
Comments count
6
Crash with Uncaught error: {badkey, ...}
Updated
a year ago
Comments count
1
Crash with `Uncaught error: {case_clause, ..` in `typechecker:do_type_check_expr/2`
Closed
a year ago
Keep track of variable bindings & types
Updated
a year ago
Comments count
5
Refine bound vars with guards
Updated
a year ago
Solve constraints in type_check_list_op_in/3
Updated
a year ago
Adding suppressions to accept type-defensive code?
Closed
a year ago
Comments count
7
Solve constraints on vars bound in each clause of an inline fun
Updated
a year ago
Solve constraints in unary_op_arg_type/2
Updated
a year ago
Error message needs more info: `The type of the function _____, called on line ___ doesn't match the surrounding calling context.`
Closed
a year ago
Comments count
4
Exhaustiveness check does not merge unions
Closed
a year ago
Comments count
1
Make sure the constraint solver results are deterministic
Closed
a year ago
Multiple map key patterns raise an unexpected type check error
Closed
a year ago
Comments count
4
No errors are flagged for guarded function clauses
Updated
a year ago
Comments count
3
Undefined function `module_info/0`
Closed
2 years ago
Comments count
2
rebar3 case clause error
Updated
2 years ago
Comments count
2
Improve unsupported expression (e.g. maybe) handling
Updated
2 years ago
Comments count
1
Solved: every record is a tuple, but not every tuple is a record
Updated
2 years ago
Comments count
4
exclude option in rebar.config does not work
Updated
2 years ago
Comments count
11
`error/2` and `error/3` false positive (treating `none` atom as an invalid argument)
Closed
2 years ago
Comments count
11
rebar3 plugin: Support excluding modules when using --use_beam
Closed
2 years ago
Comments count
3
module type resolution or non_neg_integer a subtype of Integer
Closed
2 years ago
Comments count
1
Exported module type not recognized as same type
Updated
2 years ago
Comments count
1
Gradualizer results from top 24 Hex.pm Erlang libraries
Updated
2 years ago
Comments count
4
function_clause error in gradualizer_int:int_type_to_range()
Closed
2 years ago
Comments count
1
Timeout checking function (performance issue related to jsx?)
Closed
2 years ago
Comments count
9
function_clause crash in typechecker:get_unassigned_fields/2
Closed
2 years ago
Comments count
2
Warn on every cast from any() to a well known type?
Updated
2 years ago
Comments count
1
"syntax error" reported in gradualizer_highlight:parse_into_list_of_forms/1
Updated
2 years ago
Comments count
8
badkey crash in typechecker:do_type_check_expr_in/3
Closed
2 years ago
Comments count
3
function_clause crash in `gradualizer_int:int_type_to_range`
Closed
2 years ago
Comments count
4
Previous
Next