silt
silt copied to clipboard
silt-lang
An in-progress fast, dependently typed, functional programming language implemented in Swift.
We're currently trapped between a rock and a hard place - a crash in Swift 5.0 and a regression in Swift 5.1. We oughta undo #152 when https://bugs.swift.org/browse/SR-10576 gets resolved.
The GIR parser is currently a hacked-together mess that is relying on the Silt parser to do the heavy lifting. If we're doing this anyways, let's just go all the...
A general lowering algorithm from Schedule GraphIR is given in [Thorin](https://github.com/AnyDSL/thorin/blob/master/src/thorin/be/llvm/llvm.h). This issues serves as an umbrella for our version of this lowering algorithm.
As part of GraphIR verification we need to check scheduled continuations balance their books properly. Verification must occur along block boundaries because we probably won’t be scheduling destroys any earlier...
Part of #99: We must mangle the full module name into the name of a term as well as normalize Arbitrary Unicode Garbage in symbol names. The GIRWriter can then...
Similar to regular and canonical SIL, it would be nice to have some kind of delimiter that tells you whether a given GIR file contains pre or post optimization code....
Part of #99 because requirements will change as we flesh out the lowering algorithm.
The GIR Parser currently requires the entry block be named the same as the function, but the GIRWriter renumbers it as bb0 anyways. While parsing, references to the function name...
We are currently using a variant of early scheduling but there are smarter alternatives in the world that may come at a low enough computational cost to be useful. [See...
Implement a general lowering algorithm for declarations and expressions. Implementations are up in the air at the moment. This issue is the umbrella for all others.