Search results

Rename <code>error&lt;a&gt;</code> to <code>result&lt;a&gt;</code>

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

Match completeness misses simple cases

bug

Status: Open.

#858 In koka-lang/koka;

· TimWhiting opened on Jan 7, 2026

Effect widening doesn't occur for effect parameters

Status: Open.

#857 In koka-lang/koka;

· timbertson opened on Dec 29, 2025

Broken install script on Fedora 43

Status: Open.

#855 In koka-lang/koka;

· dominik-muc opened on Dec 28, 2025

Reference count never goes to 0 with complex effect (async)?

Status: Open.

#854 In koka-lang/koka;

· timbertson opened on Dec 26, 2025

Type aliases should not be expanded when containing phantom type parameters.

bug

Status: Open.

#850 In koka-lang/koka;

· TimWhiting opened on Dec 11, 2025

Broken <code>some</code> inference

Status: Open.

#847 In koka-lang/koka;

· TimWhiting opened on Dec 5, 2025

Can't reference a private type alias in another module

Status: Open.

#846 In koka-lang/koka;

· omegametabroccolo opened on Dec 5, 2025

Publish VS Code extension to Open VSX

Status: Open.

#844 In koka-lang/koka;

· wackbyte opened on Nov 30, 2025

FFI documentation

Status: Open.

#843 In koka-lang/koka;

· jhidding opened on Nov 30, 2025