Whiley v0.3.14 Released!

Finally, it’s time for yet another release.  The main change with this release has been a reworking of the compiler framework into a more serious build system called, unsurprisingly, the Whiley Builder System (wybs).  This has helped integration with both Ant and Eclipse.  However, there remain a few aspects of it that need improvement, most notable performance and dependencies.  Nevertheless, I’m very pleased with how the structure of the Whiley compiler is progressing.


  • Deployed the new Whiley Build System, which provides a generic framework for managing namespaces and package roots.  This is currently lacking good support for dependency tracking, but it should be easy enough to extend to support this.
  • Fixed quite a few bugs, and have identified quite a few more to be fixed.
Created on March 6, 2012. 1047 Downloads, 1.1 MB.
BSD License
Created on March 6, 2012. 832 Downloads, 2.2 MB.
BSD License

6 comments to Whiley v0.3.14 Released!

  • Sarino Suon

    Hi, Dave:

    I thought I would give Whiley a spin, after playing around with ATS for a while. Having some of the same type precision as ATS yet coexisting with the Java ecosystem is very appealing.

    However, I ran into a problem right away, attempting to run an example from the video demo.

    The following code compiles without error, which it should not:
    int f(int x) ensures $ > 1000:
    return x

    In fact, the following simpler version also compiles, incorrectly:
    int f(int x) ensures $ > 0:
    return x

    I am using version 0.3.14 on java 1.6.0_22.

    The command I used was:
    bin/wyjc test.whiley

    Am I doing anything wrong?


  • Hi Sarino,

    Actually, in fact, there’s nothing wrong!! At the moment, compile-time checking of constraints is disabled. Basically, because I’ve been working on getting the core language to work properly.

    These constraints are checked at runtime, and in the very near future I will be turning compile-time checking back on. In the meantime, if you’re interested in the compile-time checking, then use version 0.3.1 — that’s the last good version compile-time checking turned on. In that version, you need to used “wyjc -V” to enable compile-time checking of constraints.



  • Curtis Stanford

    I’m starting a couple of new projects and dang!, I wish Whiley was ready to go. Oh well, back to Java I guess…

  • Hey Curtis,

    Yeah, I wish it was ready to go as well!!! But, hopefully towards the end of the year there will be a serious release … I have been working hard and we’re making good progress …


  • Curtis Stanford

    Good to know, thanks Dave. Have you put any thought into IDE support yet?

  • Hey Curtis,

    Yeah, I have a rudimentary Eclipse plugin working already. See

    You can also try and install it from the update site


Leave a Reply




You can use these HTML tags

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>