List view

Include error location when reporting imports that clash

enhancementNew feature or requestNew feature or request

error-reporting

good first issueGood for newcomersGood for newcomers

Status: Open.

#157 In agda/agda2hs;

· omelkonian opened on Mar 9, 2023

Definition of <code>Functor</code> is inconsistent with <code>base-4.18.1.0</code> etc.

bugSomething isn't workingSomething isn't working

Status: Open.

#318 In agda/agda2hs;

· bwbush opened on May 8, 2024

Newtype constructor erroneously removed

bugSomething isn't workingSomething isn't working

Status: Open.

#320 In agda/agda2hs;

· bwbush opened on May 8, 2024

Dot patterns in arguments corresponding to module parameters should not be allowed

error-reporting

Status: Open.

#306 In agda/agda2hs;

· jespercockx opened on Mar 12, 2024

Compiling declared but not-yet-defined datatype silently generates no code

bugSomething isn't workingSomething isn't working

Status: Open.

#346 In agda/agda2hs;

· jespercockx opened on Jul 27, 2024

generated instance constraint is missing a quantifier

bugSomething isn't workingSomething isn't working

Status: Open.

#408 In agda/agda2hs;

· steve-anunknown opened on May 5, 2025

Necessary language extension is not inserted

bugSomething isn't workingSomething isn't working

Status: Open.

#409 In agda/agda2hs;

· steve-anunknown opened on May 6, 2025