Search results

Fix spreads

Status: Open.

#1058 In hash-org/hashc;

· kontheocharis opened on Mar 16, 2024

Implement proper pattern unification with a global hole context

type-systemIssues related with typechecking sub-system.Issues related with typechecking sub-system.

Status: Open.

#1057 In hash-org/hashc;

· kontheocharis opened on Mar 16, 2024

Data defs, ctors, and module items should all appear in the TIR as callables

Status: Open.

#1056 In hash-org/hashc;

· kontheocharis opened on Mar 16, 2024

tir: Do not store function type on function literals

Status: Open.

#1055 In hash-org/hashc;

· kontheocharis opened on Mar 16, 2024

tir: Merge terms and patterns into a single data structure

type-systemIssues related with typechecking sub-system.Issues related with typechecking sub-system.

Status: Open.

#1054 In hash-org/hashc;

· kontheocharis opened on Mar 16, 2024

tir: Implement normalisation by evaluation

type-systemIssues related with typechecking sub-system.Issues related with typechecking sub-system.

Status: Open.

#1053 In hash-org/hashc;

· kontheocharis opened on Mar 16, 2024

Introduce a prototype for compiler messages in a separate crate

Status: Open.

#1038 In hash-org/hashc;

· kontheocharis opened on Dec 9, 2023

Create a thin interface that one can use to "spawn" and communicate with a compiler instance (also useful for comptime stuff)

Status: Open.

#1037 In hash-org/hashc;

· kontheocharis opened on Dec 9, 2023

Compiler should be able to emit diagnostics in a structured format

Status: Open.

#1036 In hash-org/hashc;

· kontheocharis opened on Dec 9, 2023

Introduce an eviction mechansim to all of the static stores that are used in the compiler

Status: Open.

#1035 In hash-org/hashc;

· kontheocharis opened on Dec 9, 2023

Introduce a new compiler stage that essentially runs the compiler in a "server" mode which enables it to actively listen and react to messages

Status: Open.

#1034 In hash-org/hashc;

· kontheocharis opened on Dec 9, 2023

Function inlining pass

codegenIssues related with code generation on any backendIssues related with code generation on any backend

loweringRelated to the general lowering of AST into simpler AST and/or IRsRelated to the general lowering of AST into simpler AST and/or IRs

Status: Open.

#1030 In hash-org/hashc;

· feds01 opened on Oct 19, 2023