Skip to content

Pull requests: flix/flix

New pull request New
39 Open 4,430 Closed
39 Open 4,430 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 Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

refactor: use SourceLocation in QName
#7817 opened Jun 1, 2024 by magnus-madsen Loading…
1
feat: allow derivation of Coerce
#7805 opened May 31, 2024 by mlutze Loading…
1
3
feat: add invokeMethod2 type inference with the new design
#7794 opened May 30, 2024 by chanattan • Draft
1
50
feat: Explicit Export
#7789 opened May 29, 2024 by JonathanStarup Loading…
19
feat: fast set unification
#7774 opened May 27, 2024 by JonathanStarup • Draft
1
feat: add InvokeMethod2 type reduction
#7764 opened May 24, 2024 by chanattan • Draft
8
feat: Fast set unification
#7756 opened May 22, 2024 by JonathanStarup • Draft
refactor: simplify Purity.fromType
#7722 opened May 15, 2024 by magnus-madsen Loading…
7
feat: mono type arrow purity
#7705 opened May 8, 2024 by JonathanStarup • Draft
feat: add purity checking to Verifier
#7683 opened May 6, 2024 by felix-berg • Draft
18
feat: open lambda effect
#7666 opened May 2, 2024 by JonathanStarup • Draft
11
feat: add NewObject completion
#7605 opened Apr 19, 2024 by jaschdoc Loading…
1
25
wip: boolean subtyping
#7577 opened Apr 15, 2024 by JonathanStarup • Draft
3
test: add tests for associated type multiple Effs and types
#7555 opened Apr 8, 2024 by jaschdoc • Draft
4 of 7 tasks
26
feat: collect effect constraints to be unified together
#7542 opened Apr 3, 2024 by mlutze Loading…
1
48
test: add tests for associated type Record
#7529 opened Apr 1, 2024 by jaschdoc • Draft
@mlutze
8
refactor: non optional nth on Array and Vector
#7526 opened Apr 1, 2024 by stetimi Loading…
38
wip: type normalization
#7521 opened Apr 1, 2024 by JonathanStarup • Draft
initial push for flixcheck
#7481 opened Mar 27, 2024 by BongoSort Loading…
3
style: update errors & tests for Resolver
#7473 opened Mar 26, 2024 by jaschdoc • Draft
4 of 5 tasks
1
refactor: make call to line implicit in error messages
#7471 opened Mar 26, 2024 by jaschdoc • Draft
1
refactor: rework channel and spawn effects
#7446 opened Mar 22, 2024 by magnus-madsen Loading…
1
feat: add skeleton for Java type inference
#7392 opened Mar 13, 2024 by magnus-madsen • Draft
Extend Manifest with safe entry
#7313 opened Feb 28, 2024 by domolitom • Draft
feat: Add Range module (#7128)
#7305 opened Feb 27, 2024 by LionelMeli Loading…
18
ProTip! Filter pull requests by the default branch with base:master.