1.5

New issue

Open

No due date

•Last updated Nov 10, 2026

55% complete

Check consistency of instances for unboxed records
agda/agda2hs#269 · opened on Jan 20, 2024 · 1.5
2
Handle public imports properly
agda/agda2hs#126 · opened on Nov 14, 2022 · 1.5
Disallow compilation of symbols from local modules
agda/agda2hs#122 · opened on Nov 14, 2022 · 1.5
2
Check that the user code doesn't use any renaming clauses
agda/agda2hs#121 · opened on Nov 14, 2022 · 1.5
1
Add bindings for numeric typeclasses
agda/agda2hs#262 · opened on Jan 15, 2024 · 1.5
4
The assert function should not be used in erased positions
agda/agda2hs#428 · opened on Sep 11, 2025 · 1.5
6
Add support for Exception typeclass and throw/catch functions
agda/agda2hs#432 · opened on Oct 7, 2025 · 1.5
1
Fix for issue #443
Unread
#444 opened Nov 20, 2025 · Updated Nov 20, 2025
Add basic support for exceptions
Unread
#445 opened Nov 20, 2025 · Updated Nov 20, 2025
1
agda2hs cannot compile Traversable instances defined with traverse=_
agda/agda2hs#457 · opened on Jun 1, 2026 · 1.5
1
Update Agda version to 2.9.0
agda/agda2hs#469 · opened on Oct 22, 2026 · 1.5
2
Implement 'existing' keyword for skipping compilation of a symbol
Unread
#446 opened Nov 21, 2025 · Updated Nov 4, 2026Draft
[ #242 ] Implement GADT syntax
Unread
#453 opened Nov 28, 2025 · Updated Nov 4, 2026
3
Upgrade to Agda 2.9
Unread
#474 opened Oct 22, 2026 · Updated Nov 4, 2026
20
Refactor base library structure and port additional Haskell functions
Unread
#456 opened Mar 18, 2026 · Updated Nov 4, 2026
30
Internal error for postulate in where block
agda/agda2hs#443 · opened on Nov 18, 2025 · 1.5
Support for equality constraints
Unread
#455 opened Mar 6, 2026 · Updated Nov 4, 2026
2
Compile module reexport
agda/agda2hs#483 · opened on Nov 4, 2026 · 1.5
Compile module reexports
Unread
#485 opened Nov 4, 2026 · Updated Nov 11, 2026
4

Navigation Menu

1.5

Check consistency of instances for unboxed records

Handle public imports properly

Disallow compilation of symbols from local modules

Check that the user code doesn't use any renaming clauses

Add bindings for numeric typeclasses

The `assert` function should not be used in erased positions

Add support for Exception typeclass and throw/catch functions

Fix for issue #443

Add basic support for exceptions

agda2hs cannot compile Traversable instances defined with `traverse=_`

Update Agda version to 2.9.0

Implement 'existing' keyword for skipping compilation of a symbol

[ #242 ] Implement GADT syntax

Upgrade to Agda 2.9

Refactor base library structure and port additional Haskell functions

Internal error for postulate in where block

Support for equality constraints

Compile module reexport

Compile module reexports

Issues