[e-lang] Static Initializer in Joe-E

[David-Sarah Hopwood]

Mohsen Vakilian wrote:
> I believe Joe-E should disallow calls to static methods in static
> initializers for the same reason that it forbids calls to instance methods
> in constructors.
>
> The following is an example of what can go wrong if you let static
> initializers invoke static methods. In this example, method m, which is
> verified  to be pure by Joe-E, returns two different results given the same
> input (m takes no inputs).

I agree; your example is convincing.

-- 
David-Sarah Hopwood  ⚥  http://davidsarah.livejournal.com