-
Notifications
You must be signed in to change notification settings - Fork 396
Pull requests: idris-lang/Idris2
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[ fix ] Check totality after all declarations
#3693
opened Nov 28, 2025 by
spcfox
Loading…
1 of 2 tasks
2
[ fix ] Improvements and fixes to the coverage checker
#3691
opened Nov 27, 2025 by
spcfox
Loading…
1 of 2 tasks
[ fix #3687 ] Handle
PLet in setLinear
language: as-pattern
language: quantity
#3689
opened Nov 27, 2025 by
spcfox
Loading…
1 of 2 tasks
[ ci, test ] Test compiler builded with Racket and some fixes in tests
#3688
opened Nov 26, 2025 by
spcfox
Loading…
2 tasks
[ refactor ] move parser into Idris
code: refactoring
implem: parsing
#3652
opened Oct 15, 2025 by
wizard7377
•
Draft
2 tasks done
[ Proposal ] Search only appropriate operator
language: fixity
status: discussion
#3650
opened Oct 6, 2025 by
buzden
Loading…
ideMode: Add failing test for incorrectly generated prefix when calling :make-case in a
.lidr file.
#3648
opened Sep 28, 2025 by
keram
Loading…
2 tasks
Make the property argument to
replace explicit
code: cleanup
library: prelude
#3531
opened Apr 11, 2025 by
joelberkeley
Loading…
1 task done
[ refactor ] ScopedSnocList: Swap
Scope on SnocList (Phase 2)
#3513
opened Mar 19, 2025 by
GulinSS
Loading…
1 task
fixed bugs that caused compiler to hang forever when there is %tcinline pragma
#3272
opened May 2, 2024 by
AntonPing
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.