The Road To Version 0.75

[zerbina]

The goal for this milestone is to bring the compiler and tooling into the shape necessary for supporting future language development. Implementation of some foundational language features is also included.

Source Language Features

• implement local type inference
• implement type parameters (parametric polymorphism)

Tooling and Specification

• implement test aggregation (i.e., allow compiling multiple related tests into a single file)
• integrate spectest into the normal test execution pipeline
• separate the core from the source language

Internals

• move expression-related lowering from source2il into separate passes/ILs
• add an IL with a dedicated pointer type #172

Note: the versioning scheme is mostly arbitrary, but I didn't want to use version 1.0 in order to avoid the connotations associated with it.