Issues: idris-lang/Idris2
[ RFC ] Process for moving modules out of the
contrib
package.
#2866
opened Jan 30, 2023 by
mattpolzin
Open
10
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Inconsistency in totality checker with different constants values and representations
#3273
opened May 2, 2024 by
AntonPing
Type information is lost/changed when inlining a function (and it's not clear why)
#3271
opened Apr 29, 2024 by
JavierGelatti
Fedora FC38, FC39 with racket 7.9 — "make bootstrap-racket" freezes on compilation
Installation Issue
Problem compiling or running Idris
#3261
opened Apr 18, 2024 by
belonesox
Type checking issue with Idris2 Load instruction in dependent context
#3259
opened Apr 16, 2024 by
weiserhase
Remove 'Closed' state from linear network API
Feature request
#3252
opened Apr 6, 2024 by
Alex1005a
2 tasks done
Postfix functions are parsed as if inside unquote when are right after unquote
#3251
opened Apr 5, 2024 by
buzden
Totality checker fails to recognize missing cases on irrelevant parameter in irrelevant function
#3241
opened Mar 30, 2024 by
Adowrath
idris2 --init
doesn't check a name of a package
cli: package init
status: confirmed bug
#3232
opened Mar 9, 2024 by
DanMax03
Overly eager auto implicit in GADT ctor field's type results in typechecking failure
#3223
opened Mar 3, 2024 by
0xd34df00d
Remove
=
sugar for propositional Equality
Feature request
#3211
opened Feb 6, 2024 by
andrevidela
2 tasks done
Type checker does not terminate when comparing codata types.
#3209
opened Jan 31, 2024 by
yellowsquid
Delay running
%transform
rules
backends
Feature request
#3183
opened Jan 1, 2024 by
Z-snails
2 tasks done
Record projections disambiguator gets confused with non-trivial types
language: ambiguity
status: confirmed bug
Something isn't working
#3167
opened Dec 17, 2023 by
0xd34df00d
Backends that use C FFI are inconsistent with the others on strings with zeros
#3161
opened Dec 9, 2023 by
buzden
String
s with zeros inside are inconsistent between refc and other backends
backend: refc
#3158
opened Dec 5, 2023 by
buzden
IDE command to print docs for the type at point
Feature request
good first issue
Good for newcomers
interactive: doc
interactive: typeAt
#3157
opened Dec 4, 2023 by
ohad
Rewrite with integer literal expression can fail giving mysterious error
#3136
opened Nov 8, 2023 by
buzden
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.