Robert Kleffner

Rewrite the compiler in Go Should: 1. Improve compiler performance 2. Undo some odd decisions in the type representation 3. Unify implementation language and runtime target

Will make use of the fixed-size Abelian type defined in Boba.Core 1. Iterable in `for` loops 2. Special syntax for creating with compile-time known size 3. Primitive functions for accessing/setting...

Problem is found in the `typeable` test file. Core issue is that a perfectly valid instance definition can infer a type that is actually more general than the overload. In...

Right now it correctly outputs which tests have failed, but it is hard for a developer to determine what the failure is.

Currently it finds all re-exported names (recursive for all imported units as well) and then filters to just the explicitly re-exported names. Instead, it should look at the explicitly re-exported...

It's convenient enough to miss it a lot of times and makes many simple string literals more readable. But it would be nice if this was just a syntactic sugar...