Whiley v0.3.30 Released!

The next release of Whiley is now ready to be downloaded.  This includes a small number of bug fixes and two more significant changes:

• #418 — Removal of implicit coercions.  This has some consequences for how you write Whiley programs, and there are probably some follow-on changes needed.

• #427 — Improved disambiguation of cast expressions versus bracketed expressions.  See this blog post I wrote about the problem and its solution.

• Various other bug fixes (see the list of closed issues for all)

There are more improvements in the pipeline, particularly related WyIL bytecode format.