Whiley 0.7.1 💾

Whiley is a programming language with refinement types, extended static checking and an indentation-based syntax. It compiles to Java bytecode and runs per JAR-runtime on any JVM, which in turn allows to reuse existing Java libraries. The SDK includes a compiler (wyjc), documentation, a plugin framework, disassembler, and an Eclipse plugin.

minor feature: Detect Non-Export/Public Tests . for #1006. . Add interesting test case for objects. . . Merge branch '/forloop-1010' into develop. . . Remove lifetime syntax. . Compiler compiles again!. . tests for lifetimes. . Merge branch 'feature/1014-lifetimes' into develop. . Preparing next release version. . Merge branch 'develop'.

BSDL jvm whiley java programming-language static-typing