Skip to content

Pull requests: flix/flix

New pull request New
37 Open 4,441 Closed
37 Open 4,441 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 Ident
#7830 opened Jun 3, 2024 by magnus-madsen Loading…
feat: support continuation for invokeMethod2
#7829 opened Jun 3, 2024 by chanattan Loading…
7
feat: FastSetUnification
#7825 opened Jun 3, 2024 by JonathanStarup Loading…
4
fast set unification experimentation
#7774 opened May 27, 2024 by JonathanStarup • Draft
1
feat: add InvokeMethod2 type reduction
#7764 opened May 24, 2024 by chanattan • Draft
8
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
docs: add effect NonDeterminism example from Eff lang
#7254 opened Feb 19, 2024 by jaschdoc • Draft
1 task
docs: add Queens effect example
#7252 opened Feb 19, 2024 by jaschdoc Loading…
22
ProTip! Adding no:label will show everything without a label.