Whiley v0.3.23 Released!

Another update to the Whiley compiler has just been released.  This is a fairly small update, consisting primarily of bug fixes.  The only significant change was:

• Type checker now respects a variable’s declared type.  Previously, the declared type was ignored as discussed here.

As usual, you can get the latest files below.  Furthermore, you can now run Whiley in your browser from here, whilst the Eclipse plugin will be updated in the near future.