Whiley 0.5.6 💾

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: for failing test case . Remove type 'any'. . Remove negation types from source syntax #827. . invalid test cases #827. . Marked test case #829. . Merge branch 'feature/827-any' into develop. . Add new test case. . Replace Type.Negation with Type.Difference #827. . for isVoid(Conjunct,LifetimeRelation). . for StrictSubtypeOperator.isVoid(). . AbstractTypeExtractor.toDisjunctiveNormalForm(Type.Difference). . for ReadableTypeExtractor.subtract(Type.Record). . Updated invalid test case outputs #827. . Merge branch 'feature/827-anyneg' into develop. . for subtype unit tests #827. . Uncommented previously commented tests. . Add recursive test case. . for Decl.Lambda type information #834. . Add recursive property test case. . Add Decl.Lambda.getCapturedVariables() #836. . Correction for broken test. . Merge branch 'develop'.

BSDL jvm whiley java programming-language static-typing