Search results

Memory leak in string join

Status: Open.

#903 In koka-lang/koka;

· cognivore opened on Jun 26, 2026

Some amount of scalar arguments cause compiler hang

Status: Open.

#891 In koka-lang/koka;

· cognivore opened on May 5, 2026

use of undeclared identifier

Status: Open.

#889 In koka-lang/koka;

· xingjianll opened on May 2, 2026

Recursive default argument causes effect inference failure (effects do not match)

Status: Open.

#888 In koka-lang/koka;

· amistozy opened on May 1, 2026

Allow specifying generic types at callsite?

Status: Open.

#887 In koka-lang/koka;

· timbertson opened on Apr 15, 2026

Atomic effect variables (?)

Status: Open.

#881 In koka-lang/koka;

· omegametabroccolo opened on Mar 26, 2026

Functions with only implicit arguments are never eta-expanded

Status: Open.

#879 In koka-lang/koka;

· HeikoRibberink opened on Mar 25, 2026

Capture-avoiding substitution for forall types

Status: Open.

#872 In koka-lang/koka;

· TimWhiting opened on Mar 21, 2026

NbE workload

Status: Open.

#869 In koka-lang/koka;

· SchrodingerZhu opened on Mar 4, 2026

Rename error<a> to result<a>

Status: Open.

#867 In koka-lang/koka;

· HeikoRibberink opened on Feb 11, 2026

Recursion on two inductive values is spuriously found divergent sometimes

Status: Open.

#862 In koka-lang/koka;

· zephyrtronium opened on Jan 21, 2026

Naming clash not reported between effect function and regular function

Status: Open.

#861 In koka-lang/koka;

· timbertson opened on Jan 20, 2026