Skip to content

Issues: edwinb/Idris2-boot

Feature requests and proposals
#30 opened Jul 18, 2019 by edwinb
Open 1
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

66 Open 119 Closed
66 Open 119 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

First class byte array support Feature request
#378 opened May 15, 2020 by Riateche
3
Build error: Can't disambiguate name: Main.yprefix, YafflePaths.yprefix Installation Issue Problem compiling or running Idris
#375 opened May 15, 2020 by LeifW
1
Can't pass argument of type %World to foreign function
#368 opened May 12, 2020 by mokshasoft
1
linear lambda claims to consume unrelated binder
#364 opened May 11, 2020 by MarcelineVQ
5
case-split fails on private definition in nested namespace Confirmed bug Something isn't working
#363 opened May 10, 2020 by MarcelineVQ
Multiplicity subtyping with dependent types can break linearity
#357 opened May 8, 2020 by KyleDavidE
2
Interface resolution bug
#356 opened May 6, 2020 by nickdrozd
5
Proof search produces ill-typed terms
#355 opened May 6, 2020 by ziman
Incorrect reduction of pattern matching
#346 opened May 2, 2020 by ziman
4
Issue with hints and search space: Can't find implementation
#344 opened Apr 30, 2020 by wurmli
'addclause' client command fails to produce a meaningful definition for helpers under 'where' blocks
#341 opened Apr 29, 2020 by rgrover
Implicits in Interface Functions cause Typecheck Error
#336 opened Apr 29, 2020 by fabianhjr
5
Can't unify an interface with its instance
#330 opened Apr 27, 2020 by berewt
inference in case requires extra let
#328 opened Apr 26, 2020 by shmish111
3
type inference on record update in let doesn't work based on RHS
#327 opened Apr 26, 2020 by shmish111
2
one type annotation in let means all other definitions must have type annotation
#326 opened Apr 26, 2020 by shmish111
3
case in a lambda is broken
#324 opened Apr 25, 2020 by MarcelineVQ
feature request: constructor only/wildcard pattern matches Feature request
#320 opened Apr 25, 2020 by MarcelineVQ
Messing up parameters order of interfaces implementation
#319 opened Apr 24, 2020 by berewt
Duplicate pattern cases have an unclear error message
#315 opened Apr 23, 2020 by MarcelineVQ
Non-Auto Implicits get Deferred as Holes and not checked on REPL Evaluation
#313 opened Apr 22, 2020 by fabianhjr
1
Ambigous Implementations when using using on a constrainted interface implementation
#307 opened Apr 22, 2020 by fabianhjr
Multiple constrains with unreseolved type parameters on interface declaration cause typecheck issue
#306 opened Apr 21, 2020 by fabianhjr
3
Local definitions in irrelevant definitions are incorrectly checked for relevance
#302 opened Apr 21, 2020 by ohad
4
Using the arrow keys in the REPL should cycle through recently used commands Feature request
#297 opened Apr 18, 2020 by malte-v
2
ProTip! Follow long discussions with comments:>50.