Constantine Theocharis

icon indicating an email [email protected]

icon company University of St Andrews icon location UK icon location In pursuit of corectnes

Results 55 issues of Constantine Theocharis

tir: Merge terms and patterns into a single data structure

This will greatly help reduce the amount of duplication in TC code

type-system

tir: Implement normalisation by evaluation

Replace current substitution-based evaluation with NbE into some semantic domain. Steps: 1. Figure out what the semantic domain should be 2. How to represent it? Separate data structure probably.. 3....

type-system

Introduce a prototype for compiler messages in a separate crate

- Type info about a node - Where it is defined - What kind of node it is - Where are its references - Autocomplete in some span and given...

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

Compiler should be able to emit diagnostics in a structured format

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

Currently, there is no mechanism to clear all of the static stores that are being used in the compiler. This task involves changing the static stores interface to have a...

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

sc: Separate discovery and some of resolution into a separate scope-check pass

The idea is to transition to having the following passes after untyped analysis: - Scope checking: This checks that all declarations are referenced in a valid way, there are no...

Move out resolution into a tir-lowering pass, and keep typechecking as a standalone pass

tir: Store inferred type on `Node` rather than `AtomInfo`