Skip to content

Issues: idris-lang/Idris-dev

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

691 Open 1,645 Closed
691 Open 1,645 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

W^X violation when attempting to run the REPL on OpenBSD
#4843 opened Apr 12, 2020 by Kaiepi
1
failure to normalize type, but REPL knows better
#4842 opened Apr 9, 2020 by dspivak
Parse error: can't use as-pattern in catchall clauses
#4840 opened Apr 6, 2020 by gallais
1
Names still do matter where they shouldn't
#4833 opened Mar 25, 2020 by nicolabotta
INTERNAL ERROR: Unelaboratable syntactic form
#4828 opened Mar 15, 2020 by troyowilliams
impossible keyword works but there is a valid case
#4816 opened Feb 14, 2020 by worudso
stack-alt.yaml doesn't work with latest (2.1.3) Stack
#4814 opened Feb 10, 2020 by Martin-F
4
Issue of anonymous function
#4809 opened Jan 23, 2020 by fortunewang
Using with in proofs
#4802 opened Jan 8, 2020 by remexre
Patterns for :search that kick you out of :elab REPL
#4800 opened Dec 30, 2019 by LaltonDundy
2
Can't find implementation
#4793 opened Dec 14, 2019 by nicolabotta
INTERNAL ERROR: Unknown reflection raw term in reifyRawApp
#4792 opened Dec 14, 2019 by LaltonDundy
Matching on constructor function
#4791 opened Dec 10, 2019 by Victor-Savu
Erasure/getArity: definition not found for Data.Tree.Empty
#4786 opened Nov 26, 2019 by corazza
8
Pow of a negative base
#4782 opened Nov 21, 2019 by gabriel128
Basic totality/coverage checking failure
#4779 opened Nov 13, 2019 by MarcelineVQ
segFault (in putStrLn)
#4775 opened Oct 31, 2019 by vfrinken
Polymorphic printf?
#4774 opened Oct 31, 2019 by remexre
failed to compile file when there is a space in path
#4764 opened Sep 24, 2019 by wsdjeg
[1.3.2] INTERNAL ERROR: Unelaboratable syntactic form missing pretty-printer for term
#4763 opened Sep 22, 2019 by Heimdell
Overly eager implicitly bound name checker
#4762 opened Sep 14, 2019 by 0xd34df00d
Can't happen pickAlt - impossible case found
#4761 opened Sep 9, 2019 by rkuhn
Multiarg JsFn has code generation error
#4756 opened Aug 21, 2019 by 26695448
IDRIS_LIBRARY_PATH should follow PATH convention
#4755 opened Aug 17, 2019 by raingloom
Crash pattern-match bindings
#4752 opened Aug 7, 2019 by raffopazzo
ProTip! Adding no:label will show everything without a label.