Skip to content

/ Gradualizer

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

43 Open 67 Closed
43 Open 67 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Frustrating missing exports before OTP 23
#292 opened Oct 28, 2020 by FrankBro
2
Missing included path and function signature being present or not.
#291 opened Oct 21, 2020 by FrankBro
1
Don't allow comparison of just anything
#289 opened Jun 5, 2020 by FrankBro
5
Should not pass on malformed expression.
#288 opened Jun 5, 2020 by FrankBro
5
Add safety for gen_server init?
#287 opened Apr 16, 2020 by FrankBro
2
Map showing multiple keys for documentation purpose.
#285 opened Mar 1, 2020 by FrankBro
13
Crash in update_map_type
#279 opened Feb 14, 2020 by lukaszsamson
1
Implement modes, similar to Hack
#273 opened Feb 8, 2020 by josefs
5
Integrate gradualizer into the erl repl
#268 opened Feb 1, 2020 by josefs
4
Highlighter points to the wrong occurrence of a variable
#265 opened Feb 1, 2020 by josefs
3
Type refinement using comparison guards
#258 opened Jan 16, 2020 by zuiderkwast
Refinement via tuple-of-unions <==> union-of-tuples
#256 opened Jan 14, 2020 by FrankBro
9
Properly distinguish between absform types and gradualizer internal representation
#250 opened Jan 11, 2020 by josefs 0 of 2
2
New Years Resolution
#246 opened Jan 8, 2020 by josefs
6
Infinite loop when checking call from gradualizer_type:abstract_expr()
#231 opened Oct 28, 2019 by Zalastax
4
Travischeck out of memory - still passes
#230 opened Oct 28, 2019 by Zalastax
Quoting expressions in error messages
#222 opened Oct 21, 2019 by josefs
2
Tracing errors out of the AST
#220 opened Oct 20, 2019 by zuiderkwast
1
Refactoring typechecker module
#219 opened Oct 20, 2019 by zuiderkwast
7
Function guards as type constrains
#203 opened Oct 12, 2019 by NelsonVides
20
Binary comprehensions don't match subtyping
#199 opened Oct 11, 2019 by NelsonVides
Develop a new, more advanced, constraint system
#186 opened May 1, 2019 by Zalastax
1
Checking Elixir structs enhancement
#184 opened Apr 17, 2019 by gomoripeti
3
Checking multi-clause functions against overloaded specs
#183 opened Apr 17, 2019 by gomoripeti
3
dialyzer source code module attribute support
#172 opened Mar 26, 2019 by tim2CF
3
ProTip! Add no:assignee to see everything that’s not assigned.
You can’t perform that action at this time.