8000 Issues · koka-lang/koka · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Issues: koka-lang/koka

Beta
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

169 Open 208 Closed
169 Open 208 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Allow pattern matching in with x <- expr
#721 opened Jun 2, 2025 by HeikoRibberink
3
Strange "identifier cannot be found" errors seemingly dependent on file path
#719 opened May 27, 2025 by timbertson
1
Allow default effect handler to come from any imported module?
#717 opened May 25, 2025 by timbertson
Extending exn-info fails C compilation if the module is explicitly named
#711 opened May 17, 2025 by timbertson
1
Performance Optimizations runtime-performance runtime-size
#710 opened May 15, 2025 by TimWhiting
13 tasks
Can't create local variables when outer local is in scope
#709 opened May 15, 2025 by HeikoRibberink
2
Effect operations do not have their types promoted bug-has-workaround parsing types
#707 opened May 11, 2025 by TimWhiting
1
-i / --include DIR causes "could not find DIR"
#704 opened May 6, 2025 by timbertson
5
Can't exit the process with nonzero status
#702 opened May 3, 2025 by timbertson
Add link to problem definitions in diagnostic messages blocked Blocked on an external project error-messages types
#699 opened Apr 26, 2025 by TimWhiting
1
What is the status of the Homebrew build?
#697 opened Apr 22, 2025 by hardlianotion
Can't refer to a function's generic types within the function body proposal syntax types
#695 opened Apr 18, 2025 by timbertson
Default behaviour of koka executable is confusing compiler installation interpreter
#691 opened Apr 11, 2025 by Dessertion
1
pure including exn is surprising - consider renaming? proposal syntax types
#687 opened Apr 4, 2025 by timbertson
5
Segmentation fault for large generators documentation effects
#679 opened Mar 24, 2025 by crouchingarmadillo
2
Syntax proposal syntax
#678 opened Mar 22, 2025 by TimWhiting
Respect the XDG specification
#663 opened Jan 29, 2025 by arnfaldur
2
String functions behavior depens on target (Unicode support)
#659 opened Jan 12, 2025 by ov7a
1
1
Two equivalent programs have different segfault behavior
#655 opened Jan 7, 2025 by Plyb
getLambda internal error with value structs
#654 opened Jan 7, 2025 by Plyb
Illegal hardware instruction on MacOS M4 mini with Rosetta x86-64
#653 opened Jan 3, 2025 by maartenJacobs
Possibly bump libmimalloc and release?
#650 opened Dec 30, 2024 by AZMCode Small Release
1
Resumptions can escape without using raw ctl bug effects types
#649 opened Dec 27, 2024 by TimWhiting Small Release
internal error: Backend.C.FromCore.genFunDefSig: not a function bug core
#644 opened Dec 26, 2024 by osa1
1
5
ReferenceError: $std_time_timestamp is not defined bug-has-workaround compiler
#638 opened Dec 23, 2024 by osa1
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.
0