WhileyCompiler
WhileyCompiler copied to clipboard
Whiley
The Whiley Compiler (WyC)
Test `001135` is this: ```Whiley type neg is (int n) where n < 0 type pos is (int n) where n > 0 type exp1 is neg | {exp1 rest}...
Currently, a `final` static cannot be declared native. Rather, it must be given an initialiser.
At this time, QuickCheck has not been used in testing. The goal here is to enable that.
_(see also #1131)_ The problem with linking as it stands is the difficulty of comparing two types in different heaps for equality. One way to resolve this is perhaps to...
At the moment, the handling of Syntactic.Exception is very poor and should be improved. This applies for other plugins. Basically, it currently just reports an exception without any useful debugging...
_(see also #1110)_ Methods require a modifies clauses which should access a list of lvals, presumably.
This is a preparatory step for [RFC#0003](https://github.com/Whiley/RFCs/blob/master/text/0003-statically-sized.md). The goal is to update the WyIL file format to support: 1. Fixed sized signed and unsigned integers (e.g. `u32` and `i64`) 2....
This doesn't type check, but looks technically legit (`Reference_Valid_39`): ```Whiley type List is &{int data, null|List next } method fill(List l, int v) ensures l->data == v ensures (l->next is...
When tabs are used at the beginning of a line in a Whiley file, the error message says 'unknown type encountered' on the following keyword or type. This is misleading...
