Skip to content

Pull requests: josefs/Gradualizer

New pull request New
12 Open 264 Closed
12 Open 264 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Function intersections
#461 opened Sep 24, 2022 by erszcz Loading…
3
Use ExDoc
#456 opened Sep 14, 2022 by erszcz • Draft
4
Define g.erl for interactive work with Gradualizer
#455 opened Sep 14, 2022 by erszcz Loading…
5
Rebase constraint_solver
#450 opened Sep 1, 2022 by erszcz • Draft
1
Don't let normalize recurse into element types
#376 opened Feb 1, 2022 by zuiderkwast • Draft
4
Fix refinable record fields
#338 opened Jul 16, 2021 by berbiche Loading…
5
Make sure not to recurse forever in typechecker:normalize()
#324 opened Mar 29, 2021 by josefs Loading…
1
20
Case with same var exhaustiveness
#295 opened Nov 4, 2020 by FrankBro Loading…
4
Other cases where lists:nth should pass
#290 opened Oct 5, 2020 by FrankBro Loading…
12
Reverse map assocs check
#286 opened Mar 2, 2020 by FrankBro Loading…
21
Constraint solver
#284 opened Mar 1, 2020 by josefs Loading…
2
Binary comprehension
#201 opened Oct 11, 2019 by NelsonVides Loading…
36
ProTip! no:milestone will show everything without a milestone.