Skip to content

Pull requests: flix/flix

New pull request New
31 Open 5,783 Closed
31 Open 5,783 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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: make PatMatch incremental
#9801 opened Jan 28, 2025 by stormckey Loading…
1
feat: make PredDeps incremental
#9800 opened Jan 28, 2025 by stormckey Loading…
1
refactor: introduce ConstraintSolverInterface
#9799 opened Jan 28, 2025 by mlutze Loading…
1
refactor: introduce canSubstitute predicate
#9785 opened Jan 28, 2025 by mlutze Loading…
test: wip raw performance output
#9767 opened Jan 27, 2025 by mlutze • Draft
feat: add effect-lock command
#9730 opened Jan 20, 2025 by jaschdoc • Draft
2 of 5 tasks
1
5
fix: disallow qualified name in try-catch
#9689 opened Jan 14, 2025 by stormckey Loading…
1
9
feat: introduce TraitCompleter
#9675 opened Jan 13, 2025 by stormckey • Draft
1
6
feat: annotate java.lang.Object with primitive effects
#9647 opened Jan 10, 2025 by jaschdoc Loading…
1
2
feat: make dependencies incremental
#9634 opened Jan 8, 2025 by stormckey Loading…
1
3
feat: annotate methods in java.lang.System
#9621 opened Jan 5, 2025 by jaschdoc Loading…
1
17
refactor: use Types as the basis of constructor enumeration in PatMatch
#9613 opened Jan 4, 2025 by mlutze • Draft
wip: detect unreachable pattern matches
#9610 opened Jan 2, 2025 by mlutze • Draft
1
feat: introduce isValidPath to FileRead
#9606 opened Dec 30, 2024 by sockmaster27 Loading…
1
feat: extending OpSymUse with QName
#9602 opened Dec 25, 2024 by LoZander Loading…
8
Proposal: Pretty print types in DNF
#9547 opened Dec 17, 2024 by JonathanStarup • Draft
3
feat: instance Indexable[String]
#9539 opened Dec 16, 2024 by JonathanStarup Loading…
14
refactor: unsafe exp -> unsafely effs run exp
#9517 opened Dec 14, 2024 by JonathanStarup • Draft
3
docs: add wget program
#9496 opened Dec 8, 2024 by jaschdoc Loading…
1
8
refactor: make UseCompleter semantic
#9486 opened Dec 7, 2024 by stormckey • Draft
2
27
fix: hover on partial application
#9483 opened Dec 6, 2024 by JonathanStarup • Draft
1
5
refactor: simplify SetFormula.Inter
#9466 opened Dec 4, 2024 by magnus-madsen • Draft
2
refactor: better enum parsing
#9370 opened Nov 28, 2024 by JonathanStarup • Draft
3
feat: check recursion depth in Weeder2
#9148 opened Nov 7, 2024 by JonathanStarup Loading…
37
feat: introduce new constraint solver
#8988 opened Oct 24, 2024 by mlutze • Draft
5
ProTip! Updated in the last three days: updated:>2025-01-25.