Search results

Produce run-stats of gc information

debugabilitymaking generated code more understandablemaking generated code more understandable

optimisationMakes generated code fasterMakes generated code faster

Status: Open.

#122 In DanGooding/koka-zero;

· DanGooding opened on Sep 29, 2025

Produce execution traces with LLVM x-ray

debugabilitymaking generated code more understandablemaking generated code more understandable

enhancementNew feature or requestNew feature or request

Status: Open.

#121 In DanGooding/koka-zero;

· DanGooding opened on Sep 29, 2025

Enable fast calling convention for koka<>koka calls

optimisationMakes generated code fasterMakes generated code faster

Status: Open.

#115 In DanGooding/koka-zero;

· DanGooding opened on Sep 24, 2025

Support <code>return()</code> clause in handlers

enhancementNew feature or requestNew feature or request

Status: Open.

#110 In DanGooding/koka-zero;

· DanGooding opened on Sep 21, 2025

Immediate representation for empty variant cases

optimisationMakes generated code fasterMakes generated code faster

Status: Open.

#109 In DanGooding/koka-zero;

· DanGooding opened on Sep 21, 2025

Add <code>string</code> type

enhancementNew feature or requestNew feature or request

Status: Open.

#108 In DanGooding/koka-zero;

· DanGooding opened on Sep 21, 2025

Support nested patterns in match expressions

enhancementNew feature or requestNew feature or request

Status: Open.

#107 In DanGooding/koka-zero;

· DanGooding opened on Sep 21, 2025

Support <code>val</code> operations

enhancementNew feature or requestNew feature or request

Status: Open.

#104 In DanGooding/koka-zero;

· DanGooding opened on Sep 21, 2025

Support <code>except</code> operations

enhancementNew feature or requestNew feature or request

Status: Open.

#103 In DanGooding/koka-zero;

· DanGooding opened on Sep 21, 2025

Allow know recursive calls in closures to be compiled as known

optimisationMakes generated code fasterMakes generated code faster

Status: Open.

#99 In DanGooding/koka-zero;

· DanGooding opened on Sep 20, 2025

Multi-arg operations

enhancementNew feature or requestNew feature or request

Status: Open.

#98 In DanGooding/koka-zero;

· DanGooding opened on Sep 20, 2025

direct-style async IO as an effect

enhancementNew feature or requestNew feature or request

Status: Open.

#94 In DanGooding/koka-zero;

· DanGooding opened on Aug 26, 2025