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

Feature: Return a list of candidates tried when :search fails with more than one
#4620 opened Dec 17, 2018 by jsoo1
ipkg sourcedir can't be more than 1 level deep
#4618 opened Dec 16, 2018 by shmish111
"WellFounded" relation passes totality check, builds and hangs
#4616 opened Dec 14, 2018 by michaeljklein
1
Compiler hangs on fancy list syntax
#4608 opened Dec 9, 2018 by dmalikov
Type inference fails on polymorphic pair pattern match
#4605 opened Dec 8, 2018 by rcook
1
Problems with effect order in effects library
#4599 opened Nov 26, 2018 by andreykl
Default interface resolution with parametric types is odd
#4598 opened Nov 25, 2018 by berewt
Trying to extract a string from a pointer.
#4595 opened Nov 22, 2018 by locallycompact
Relative pathes in ipkg (e.g. sourcedir) should be treated realtive to the ipkg-file (and not the current working directory)
#4593 opened Nov 20, 2018 by alaendle
Example from Idris TDD book does not work
#4592 opened Nov 17, 2018 by roehst
2
Feature request: implicit lambda arguments syntax
#4591 opened Nov 17, 2018 by andreykl
2
Typechecker should use interface's types even when specific implementation is known
#4589 opened Nov 13, 2018 by gittywithexcitement
Weird error message "no such variable" when function is defined outside
#4587 opened Nov 7, 2018 by Ptival
1
idris should indicate file/line when it cannot find an import
#4585 opened Nov 6, 2018 by Ptival
1
method handle is not total as there are missing cases due to Prelude.Interfaces.case block in divBigInt
#4583 opened Nov 5, 2018 by Ptival
Able to prove two contradictory theorems
#4582 opened Nov 1, 2018 by Kazark
27
Lazy breaks data type
#4579 opened Oct 29, 2018 by gittywithexcitement
1
Leaving out an argument in type declaration produces error with no line number
#4578 opened Oct 24, 2018 by DestyNova
better error/warning reporting when variable in pattern starts from a capital letter
#4577 opened Oct 22, 2018 by andreykl
2
"INTERNAL ERROR: Unknown reflection raw term"
#4573 opened Oct 17, 2018 by raingloom
Unexpected linear types in pattern matching for pairs
#4566 opened Sep 24, 2018 by Junology
1
Typo in return type of a function gives misleading error message
#4559 opened Sep 14, 2018 by xoltar
:elab REPL asks intros for implicit arguments
#4556 opened Sep 11, 2018 by stop-cran
Idris in ide-mode sends wrong sexp expression (make case clause)
#4553 opened Sep 6, 2018 by justjoheinz
Idris crashes in ide-mode when asked to make a with clause
#4549 opened Sep 4, 2018 by justjoheinz
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.