Search results

Add 'did you mean' help for typos in terms

quality-of-life

Status: Open.

#1166 In effekt-lang/effekt;

· jiribenes opened on Oct 28, 2025

Unhelpful error message when subtracting numbers without spaces

errormessage

Status: Open.

#1164 In effekt-lang/effekt;

· Plixo2 opened on Oct 27, 2025

Module name clash with prelude leads to cryptic error

bugSomething isn't workingSomething isn't working

Status: Open.

#1161 In effekt-lang/effekt;

· jiribenes opened on Oct 25, 2025

Suboptimal core due to eta-expanded returns

Status: Open.

#1158 In effekt-lang/effekt;

· timsueberkrueb opened on Oct 23, 2025

Ignored type arguments

Status: Open.

#1157 In effekt-lang/effekt;

· kyay10 opened on Oct 21, 2025

Referencing <code>this</code> in a capture set

Status: Open.

#1155 In effekt-lang/effekt;

· kyay10 opened on Oct 21, 2025

Unexpected stack overflow with mutually recursive local definitions in object

Status: Open.

#1149 In effekt-lang/effekt;

· marvinborner opened on Oct 2, 2025

Omitting effects means "please infer"

Status: Open.

#1140 In effekt-lang/effekt;

· b-studios opened on Oct 2, 2025

Binding of type parameters in methods

area:typer

Status: Open.

#1137 In effekt-lang/effekt;

· phischu opened on Oct 2, 2025

Binding of type parameters in existentials

area:parser/lexer

area:typer

Status: Open.

#1136 In effekt-lang/effekt;

· phischu opened on Oct 2, 2025

Coercions, Conversions, Casts

area:stdlib

Status: Open.

#1135 In effekt-lang/effekt;

· phischu opened on Oct 2, 2025

Jump with arguments in machine

area:machine

Status: Open.

#1134 In effekt-lang/effekt;

· phischu opened on Oct 2, 2025