Skip to content

Issues: idris-lang/Idris2

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

544 Open 648 Closed
544 Open 648 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Cannot put parameters blocks in where clause
#3133 opened Nov 3, 2023 by troiganto
Type inference / proof search fails for bindings used in string interpolation
#3132 opened Nov 3, 2023 by 0xd34df00d
4
Idris allows very dependent types implem: termination checking language: mutual status: confirmed bug Something isn't working
#3129 opened Oct 31, 2023 by Tasiro
2
typebind and autobind modifiers for operator fixity Feature request
#3113 opened Oct 21, 2023 by andrevidela
1 of 3 tasks
12
Unexpected unification problem on record update in higher-kinded contexts
#3093 opened Oct 6, 2023 by 0xd34df00d
Build Failing on Windows: libidris2_support.dll %1 is no win32-Aplication Installation Issue Problem compiling or running Idris
#3091 opened Oct 4, 2023 by weiserhase
case-split with showimplicits breaks
#3082 opened Sep 30, 2023 by jasonhemann
Floating point scientific notation does not work for 1e100
#3074 opened Sep 9, 2023 by tinlyx
2
First docstring in a file can never belong to a top level declaration implem: parsing language: docstrings
#3068 opened Sep 2, 2023 by blackberryshortcake
5
Dealing with multiple .ipkg files admin: packaging
#3061 opened Aug 29, 2023 by ohad
2 tasks
1
CLI option to dump a package's dependency graph cli: options dev-tools: dependency graph Feature request
#3059 opened Aug 28, 2023 by gallais
3
JS backend: exported function's calling convention inconsistent between definitions of the same type
#3051 opened Aug 19, 2023 by gergoerdi
absurd function and Uninhabited interface aren't included in online documentation Feature request
#3050 opened Aug 19, 2023 by mars0i
2 tasks done
A record in a namespace would make everything in the namespace public
#3028 opened Jul 23, 2023 by 91khr
1
Cannot incrementally build Installation Issue Problem compiling or running Idris
#3025 opened Jul 21, 2023 by scarf005
2
Case tree is not strict enough, hard crash on scheme eval implem: pattern-matching implem: scheme eval status: confirmed bug Something isn't working
#3023 opened Jul 20, 2023 by gallais
2
Add source link for individual declaration on documentation Feature request
#3015 opened Jul 12, 2023 by scarf005
2 tasks done
4
Configuration file for REPL Feature request
#3013 opened Jul 11, 2023 by scarf005
2 tasks done
1
Idris accepts matching on erased values
#3010 opened Jul 10, 2023 by yellowsquid
1
Can't case-split for output type
#3000 opened Jun 16, 2023 by nickdrozd
6
Make fixity declaration consistent with module syntax Feature request
#2998 opened Jun 9, 2023 by andrevidela
4 of 10 tasks
2
%runElab and auto-delays go really crazy together
#2996 opened Jun 7, 2023 by buzden
1
Addition of %tcinline may hang compilation
#2995 opened Jun 6, 2023 by buzden
2
2
chez bootstrap requires large amount of memory Installation Issue Problem compiling or running Idris
#2994 opened Jun 1, 2023 by spocino
8
Quotation introduces multiple holes with the same name
#2993 opened May 29, 2023 by AlgebraicWolf
2
ProTip! Follow long discussions with comments:>50.