Re: [Vala] [ANNOUNCE] Vala 0.1.6 - Compiler for the GObject type system

[Jürg Billeter <j bitron ch>]

On Tue, 2008-01-22 at 14:06 +0100, Ed Schouten wrote:
> * Jürg Billeter <j bitron ch> wrote:
> > interface Foo {
> >     public abstract int bar (int x)
> >             requires (x > 0)
> >             ensures (result > 0);
> > }
>
> Is this turned into run-time assertions, or is there some compile-time
> range checking?

Only run-time assertions at the moment.

Jürg