Skip to content

Pull requests: flix/flix

New pull request New
34 Open 4,367 Closed
34 Open 4,367 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

feat: release 0.47.0
#7716 opened May 13, 2024 by magnus-madsen Loading…
feat: Add colors to parser errors
#7712 opened May 9, 2024 by herluf-ba Loading…
1
11
feat: mono type arrow purity
#7705 opened May 8, 2024 by JonathanStarup • Draft
WIP add associated effect to Traversable, Filterable, Witherable (part of issue #7433)
#7684 opened May 6, 2024 by stephentetley • Draft
10
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
33
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…
17
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
docs: add thread effect example
#7251 opened Feb 19, 2024 by jaschdoc • Draft
docs: add Range example from Effekt
#7246 opened Feb 19, 2024 by jaschdoc Loading…
7
Mutation Testing Tool
#7199 opened Feb 9, 2024 by soulbreather • Draft
33
ProTip! Filter pull requests by the default branch with base:master.