Skip to content

Issues: agda/agda2hs

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

58 Open 99 Closed
58 Open 99 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Typeclass instances not imported. bug Something isn't working
#324 opened May 9, 2024 by bwbush 1.4
Postulates are not exported enhancement New feature or request
#323 opened May 9, 2024 by bwbush
2
agda2hs fails unless agda or agda2hs is run first bug Something isn't working
#322 opened May 9, 2024 by bwbush
1
nix binary ignores interface files help wanted Extra attention is needed question Further information is requested
#321 opened May 9, 2024 by stites
1
Newtype constructor erroneously removed bug Something isn't working
#320 opened May 8, 2024 by bwbush
1
Unary operators enhancement New feature or request
#319 opened May 8, 2024 by bwbush
3
Definition of Functor is inconsistent with base-4.18.1.0 etc. bug Something isn't working
#318 opened May 8, 2024 by bwbush 1.4
1
Erroneous assumption about lambda precedence in generated code bug Something isn't working
#317 opened May 8, 2024 by bwbush 1.4
1
Better support for wrapping Haskell modules via postulate question Further information is requested
#316 opened May 8, 2024 by HeinrichApfelmus
2
Incorrect compilation of type synonyms bug Something isn't working
#309 opened Mar 26, 2024 by flupe
Support using instances from applied modules in canonicity check bug Something isn't working
#308 opened Mar 22, 2024 by jespercockx 1.4
Dot patterns in arguments corresponding to module parameters should not be allowed error-reporting
#306 opened Mar 12, 2024 by jespercockx
Docs: add syntax trick to use Unicode instead of Haskell-compatible ASCII identifiers documentation Improvements or additions to documentation enhancement New feature or request
#293 opened Feb 29, 2024 by omelkonian
1
Add support for associated type families enhancement New feature or request
#288 opened Feb 23, 2024 by jespercockx
1
Support constructors in rewrite rules enhancement New feature or request
#283 opened Feb 19, 2024 by celsobonutti
2
Add support for older GHC versions 8.6.5 and 9.02 enhancement New feature or request
#281 opened Feb 16, 2024 by omelkonian
Agda internally eta-reduces when it shouldn't enhancement New feature or request
#275 opened Feb 9, 2024 by omelkonian
Consider using ghc-source-gen enhancement New feature or request
#274 opened Jan 30, 2024 by flupe
Check consistency of instances for unboxed records enhancement New feature or request error-reporting help wanted Extra attention is needed
#269 opened Jan 20, 2024 by flupe 1.4
Add bindings for numeric typeclasses enhancement New feature or request good first issue Good for newcomers
#262 opened Jan 15, 2024 by jespercockx
6 tasks
1.4
Allow inline functions that match on newtype records enhancement New feature or request
#259 opened Dec 24, 2023 by flupe
Rewrite construct enhancement New feature or request
#256 opened Dec 21, 2023 by flupe
1
Views enhancement New feature or request
#255 opened Dec 21, 2023 by flupe
Interoperability between agda2hs and MAlonzo enhancement New feature or request
#246 opened Dec 7, 2023 by jespercockx
Conformance testing of the agda2hs Prelude enhancement New feature or request
#245 opened Dec 7, 2023 by jespercockx 1.4
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.