WhileyCompiler

WhileyCompiler copied to clipboard

RecursiveSubtypeTests is Offline

1

Currently, `RecursiveSubtypeTests` has had all tests marked as `@Ignore`. This is because there is no way to parse a recursive type anymore. Would still be useful to bring this back...

DavePearce

The docs say all over that verification happens at compile time, but when I try e.g. the following, derived from the example in the docs: ``` import std::io public export...

Erhannis

Hi I am creating a mini language as a compiler learning project that I hope to publish - and one of the things I am trying to figure out is...

dibyendumajumdar