Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / josefs/Gradualizer issues and pull requests

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

Issue - State: open - Opened by erszcz 10 days ago
Labels: bug, help wanted, good first issue

#571 - Skip functions using maybe expr, don't crash on maybe ... else

Pull Request - State: open - Opened by erszcz 11 days ago

#570 - Skip too complex guards

Pull Request - State: open - Opened by erszcz 11 days ago

#569 - `refine_mismatch_using_guards` vs `refine_vars_by_mismatching_clause` - redundant?

Issue - State: open - Opened by erszcz 17 days ago
Labels: enhancement

#566 - Define subtyping of unions with type difference

Pull Request - State: open - Opened by erszcz 4 months ago - 1 comment

#565 - How to mention Gradualizer in a paper?

Issue - State: closed - Opened by kikofernandez 4 months ago - 2 comments

#564 - Use Local Type Inference approach to typecheck polymorphic calls

Pull Request - State: closed - Opened by xxdavid 5 months ago - 6 comments

#563 - Type representation

Issue - State: open - Opened by erszcz 6 months ago - 2 comments
Labels: enhancement

#562 - Exhaustivity checking issue

Issue - State: open - Opened by erszcz 6 months ago
Labels: bug

#560 - Support for rigid type variables

Pull Request - State: closed - Opened by xxdavid 8 months ago - 6 comments

#559 - Wrong type location reported?

Issue - State: open - Opened by Olivier-Boudeville about 1 year ago

#558 - Disjunctive normal form attempt

Pull Request - State: open - Opened by erszcz about 1 year ago - 7 comments

#557 - Add a few test cases

Pull Request - State: closed - Opened by xxdavid about 1 year ago - 1 comment

#556 - support for OTP 26 map comprehensions

Issue - State: open - Opened by RoadRunnr about 1 year ago

#555 - Deprecate dbg:stop_clear/0

Pull Request - State: closed - Opened by erszcz about 1 year ago

#554 - deprecate dbg:stop_trace/0

Pull Request - State: closed - Opened by MarkoMin about 1 year ago - 1 comment

#553 - Solving local constraints at each function call to a polymorphic function

Issue - State: open - Opened by xxdavid about 1 year ago - 6 comments

#552 - `binary_to_atom/1` breaks compatibility below OTP 23

Issue - State: open - Opened by robertfiko about 1 year ago - 4 comments

#551 - Wrong type in receive...after Timeout

Issue - State: open - Opened by arcusfelis about 1 year ago

#550 - Support old-style 'catch' keyword

Issue - State: open - Opened by erszcz about 1 year ago - 5 comments
Labels: enhancement, help wanted, good first issue

#549 - Invalid polymorphic code accepted

Issue - State: open - Opened by erszcz about 1 year ago - 2 comments
Labels: bug

#548 - Fix type inference for `andalso` & `orelse`

Pull Request - State: closed - Opened by xxdavid over 1 year ago

#547 - Add two known problems related to `type_check_expr`

Pull Request - State: closed - Opened by xxdavid over 1 year ago

#546 - Prepare release 0.3.0

Pull Request - State: closed - Opened by erszcz over 1 year ago - 1 comment

#545 - Crash in typechecker:do_type_check_expr_in/3: bad_key in map_get/2

Issue - State: open - Opened by RobinMorisset over 1 year ago
Labels: bug

#543 - An invalid utf32 value can crash eval_bits:eval_exp_field/6

Issue - State: open - Opened by RobinMorisset over 1 year ago
Labels: bug

#542 - `ok bsr ok` crashes erl_eval:do_apply/7

Issue - State: open - Opened by RobinMorisset over 1 year ago - 4 comments
Labels: bug

#541 - Log changes to variable types in #env.venv

Pull Request - State: closed - Opened by erszcz over 1 year ago

#540 - Support the new dynamic() type

Issue - State: open - Opened by zuiderkwast over 1 year ago
Labels: enhancement

#539 - Add known problem: not checking for unreachable clauses with intersections

Pull Request - State: closed - Opened by xxdavid over 1 year ago - 1 comment

#538 - Add `apps` option to rebar3 commands

Pull Request - State: closed - Opened by gonzalobf over 1 year ago - 3 comments

#537 - No clause of gradualizer_lib:pick_value(any())

Issue - State: open - Opened by erszcz over 1 year ago - 2 comments
Labels: bug

#536 - No clause for gradualizer_lib:pick_value(module())

Issue - State: open - Opened by erszcz over 1 year ago - 2 comments
Labels: bug

#535 - Disallow timeouts in tests

Pull Request - State: closed - Opened by xxdavid over 1 year ago - 1 comment

#534 - Crash with Uncaught error: {badkey, ...}

Issue - State: open - Opened by ilya-klyuchnikov over 1 year ago - 1 comment

#533 - Fix var binds in guard sequences

Pull Request - State: closed - Opened by erszcz over 1 year ago

#532 - Add some Rebar3 plugin debug logging

Pull Request - State: closed - Opened by erszcz over 1 year ago

#530 - Crash with Uncaught error: function_clause

Issue - State: open - Opened by ilya-klyuchnikov over 1 year ago - 6 comments
Labels: bug

#529 - Log changes to variable types in #env.venv

Pull Request - State: closed - Opened by erszcz over 1 year ago

#528 - Document the compat_seen function

Pull Request - State: closed - Opened by xxdavid over 1 year ago - 2 comments

#527 - Keep track of variable bindings & types

Issue - State: open - Opened by japhib over 1 year ago - 5 comments

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

Issue - State: open - Opened by tsloughter over 1 year ago - 1 comment
Labels: bug

#525 - Handle simple guard chains

Pull Request - State: closed - Opened by bartekgorny over 1 year ago - 4 comments

#524 - Improve map exhaustiveness checking

Pull Request - State: closed - Opened by xxdavid over 1 year ago - 2 comments

#523 - Refine bound vars with guards

Issue - State: open - Opened by erszcz over 1 year ago
Labels: enhancement, help wanted

#522 - Solve constraints in type_check_list_op_in/3

Issue - State: open - Opened by erszcz over 1 year ago
Labels: enhancement, help wanted

#521 - Fix all remaining self-check errors

Pull Request - State: closed - Opened by erszcz over 1 year ago - 3 comments

#520 - New known problem: refine bound vars with guards

Pull Request - State: closed - Opened by erszcz over 1 year ago - 1 comment

#519 - Solve constraints in unary_op_arg_type/2

Issue - State: open - Opened by erszcz over 1 year ago
Labels: enhancement, help wanted

#518 - Solve constraints on vars bound in each clause of an inline fun

Issue - State: open - Opened by erszcz over 1 year ago
Labels: enhancement, help wanted

#517 - Don't discard annotations in instantiate/2

Pull Request - State: closed - Opened by erszcz over 1 year ago - 1 comment

#516 - Test fixes for #500

Pull Request - State: closed - Opened by erszcz over 1 year ago

#515 - Adding suppressions to accept type-defensive code?

Issue - State: closed - Opened by Olivier-Boudeville over 1 year ago - 7 comments

#514 - Fix intersection-typed function calls with union-typed arguments

Pull Request - State: closed - Opened by erszcz over 1 year ago - 14 comments

#513 - Treat boolean() as refinable

Pull Request - State: closed - Opened by xxdavid over 1 year ago - 20 comments

#512 - Join var binds in add_type_pat_union/3 with least upper bound not greatest lower bound

Pull Request - State: closed - Opened by erszcz over 1 year ago - 15 comments

#511 - Make the solver results deterministic

Pull Request - State: closed - Opened by erszcz over 1 year ago

#510 - Make sure the constraint solver results are deterministic

Issue - State: closed - Opened by erszcz over 1 year ago

#509 - Type refinement of map keys and values

Pull Request - State: closed - Opened by zuiderkwast over 1 year ago - 4 comments

#508 - test: adds known map key type refinement issue

Pull Request - State: closed - Opened by javiergarea over 1 year ago

#507 - Multiple map key patterns raise an unexpected type check error

Issue - State: closed - Opened by javiergarea over 1 year ago - 4 comments

#506 - Drop invalid lists:filtermap/2 known problem

Pull Request - State: closed - Opened by erszcz over 1 year ago - 1 comment

#505 - Fix exhaustiveness checking for union types

Pull Request - State: closed - Opened by xxdavid over 1 year ago - 3 comments

#504 - Fix yet more self check errors

Pull Request - State: closed - Opened by erszcz over 1 year ago - 1 comment

#503 - Constraint solver limitation known problem test and a workaround

Pull Request - State: closed - Opened by erszcz over 1 year ago

#502 - Fix more self check errors

Pull Request - State: closed - Opened by erszcz over 1 year ago

#501 - No errors are flagged for guarded function clauses

Issue - State: open - Opened by duncanatt over 1 year ago - 3 comments

#500 - Fix handling of module_info for arities > 1

Pull Request - State: closed - Opened by xxdavid over 1 year ago - 23 comments

#499 - Require all functions in src/typechecker.erl to have specs

Pull Request - State: closed - Opened by erszcz almost 2 years ago - 1 comment

#498 - Fix specs introduced with Mod:module_info/1,2 support

Pull Request - State: closed - Opened by erszcz almost 2 years ago - 1 comment

#497 - rebar3 case clause error

Issue - State: open - Opened by mpope9 almost 2 years ago - 2 comments

#496 - Add support for module_info functions

Pull Request - State: closed - Opened by xxdavid almost 2 years ago - 4 comments

#495 - Add a Hex badge to README

Pull Request - State: closed - Opened by erszcz almost 2 years ago

#494 - Improve unsupported expression (e.g. maybe) handling

Issue - State: open - Opened by erszcz almost 2 years ago - 1 comment

#493 - Release 0.2.0

Pull Request - State: closed - Opened by erszcz almost 2 years ago - 2 comments

#492 - Maybe expr unsupported 1

Pull Request - State: closed - Opened by erszcz almost 2 years ago

#491 - Print inferred argument types on call_intersect error

Pull Request - State: closed - Opened by erszcz almost 2 years ago - 2 comments

#490 - Solved: every record is a tuple, but not every tuple is a record

Issue - State: open - Opened by tsloughter almost 2 years ago - 4 comments

#489 - Add known problem for unsupported maybe expression

Pull Request - State: closed - Opened by ferd almost 2 years ago - 4 comments
Labels: enhancement

#487 - Override filename specs

Pull Request - State: closed - Opened by erszcz almost 2 years ago - 2 comments

#477 - Exhaustiveness check does not merge unions

Issue - State: closed - Opened by xxdavid almost 2 years ago - 1 comment
Labels: bug

#473 - Undefined function `module_info/0`

Issue - State: closed - Opened by tsloughter almost 2 years ago - 2 comments
Labels: good first issue

#456 - Use ExDoc

Pull Request - State: closed - Opened by erszcz about 2 years ago - 5 comments

#455 - Define some shell utils for interactive work with Gradualizer

Pull Request - State: closed - Opened by erszcz about 2 years ago - 5 comments

#450 - Experimental constraint solver

Pull Request - State: closed - Opened by erszcz about 2 years ago - 5 comments

#428 - Remaining self-gradualization errors

Issue - State: closed - Opened by erszcz over 2 years ago - 4 comments
Labels: bug

#410 - Checking functions with intersecting specs is not complete

Issue - State: closed - Opened by erszcz over 2 years ago - 6 comments

#362 - `type_check_expr` vs `type_check_expr_in` - unify or not?

Issue - State: open - Opened by erszcz almost 3 years ago - 8 comments
Labels: discussion

#338 - Fix refinable record fields

Pull Request - State: closed - Opened by berbiche about 3 years ago - 2 comments

#295 - Case with same var exhaustiveness

Pull Request - State: closed - Opened by FrankBro almost 4 years ago - 5 comments

#290 - Other cases where lists:nth should pass

Pull Request - State: closed - Opened by FrankBro almost 4 years ago - 3 comments

#284 - Constraint solver

Pull Request - State: closed - Opened by josefs over 4 years ago - 6 comments

#201 - Binary comprehension

Pull Request - State: closed - Opened by NelsonVides almost 5 years ago - 10 comments

#122 - Bounded quantification

Issue - State: open - Opened by zuiderkwast almost 6 years ago - 8 comments