Search results

Panic with "This type error should never be shown" for effect type error

crashAn internal compiler error or (compiler) runtime crashAn internal compiler error or (compiler) runtime crash

type systemFor issues related to Ante's type systemFor issues related to Ante's type system

Status: Open.

#218 In jfecher/ante;

· jfecher opened on May 16, 2025

readme needs git submodule instructions for building

Status: Open.

#216 In jfecher/ante;

· sullyj3 opened on May 4, 2025

General compiler cleanup

good first issueAn issue that doesn't require deep knowledge of the compiler to fix or implementAn issue that doesn't require deep knowledge of the compiler to fix or implement

Status: Open.

#211 In jfecher/ante;

· jfecher opened on Apr 26, 2025

Rework frontend so that we always type check everything instead of doing so lazily

Status: Open.

#210 In jfecher/ante;

· jfecher opened on Apr 19, 2025

Rework trait dispatch

Status: Open.

#209 In jfecher/ante;

· jfecher opened on Apr 19, 2025

Clean up pretty-printing of the monomorphized <code>Hir</code>

good first issueAn issue that doesn't require deep knowledge of the compiler to fix or implementAn issue that doesn't require deep knowledge of the compiler to fix or implement

Status: Open.

#208 In jfecher/ante;

· jfecher opened on Apr 19, 2025

Require a mandatory <code>main</code> function

designLanguage design tasks. Outputs of these are usually take some form of documentation.Language design tasks. Outputs of these are usually take some form of documentation.

language featureA feature proposal for something added to the core language (not the standard library)A feature proposal for something added to the core language (not the standard library)

Status: Open.

#207 In jfecher/ante;

· jfecher opened on Apr 19, 2025

Add more tests

good first issueAn issue that doesn't require deep knowledge of the compiler to fix or implementAn issue that doesn't require deep knowledge of the compiler to fix or implement

Status: Open.

#206 In jfecher/ante;

· jfecher opened on Apr 19, 2025

Bind type variables with <code>Rc&lt;RefMut&lt;TypeBinding&gt;&gt;</code> instead of an external id to <code>ModuleCache::type_bindings</code>

type systemFor issues related to Ante's type systemFor issues related to Ante's type system

Status: Open.

#205 In jfecher/ante;

· jfecher opened on Apr 19, 2025

Mutation of a reference in a closure does not mutate the original variable

Status: Open.

#204 In jfecher/ante;

· jfecher opened on Mar 13, 2025

Implement "Go to Declaration" for Ante-LS

ante-lsAny work for Ante's Language ServerAny work for Ante's Language Server

good first issueAn issue that doesn't require deep knowledge of the compiler to fix or implementAn issue that doesn't require deep knowledge of the compiler to fix or implement

Status: Open.

#200 In jfecher/ante;

· jfecher opened on Aug 11, 2024

Panic: <code>Recursion limit reached in occurs</code>

Status: Open.

#192 In jfecher/ante;

· sullyj3 opened on Feb 24, 2024