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