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: Remove SyntacticElement . Merge branch 'feature/10-synelement' into develop. . Update FlowTypeCheck for SyntacticItem.Marker. . Update Flow Type Checker. . Update DefiniteAssignment. . Improved error reporting. . Support for recovery. . Working on error reporting. . Lots of improvements to error recovery. . Commented out unresolvable tests. . Working on simpler mechanism for error recovery. . Implement stage termination. . for AmbiguousCoercionCheck. . Merge branch 'feature/884-synerr' into develop. . Reset SyntacticItem API. . Update WyCC dependency. . Support parsing template declaration #890. . Add support for template variables. . Merge branch 'feature/890-templates' into develop. . Update WyCC dependency. . for #891. . for #891. . for #894. . Preparing next release version. . Merge branch 'develop'.