rsdn/nemerle — pull request #380 by vasily-kirichenko (2012-07-18 09:52:12+00:00)
Title: Attempt to fix Issue #379

Invariant now allows re-entrance from same thread, such as:

public class Example
invariant x >= 0 && x <= 10
{
mutable x : int = 0;

public test2() : void
{
test()
}

public test() : void
{
x = 5;
}
}

Example().test2()