Re: Static Initializer in Joe-E
David-Sarah Hopwood <[email protected]>
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <[email protected]> |
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 _______________________________________________ e-lang mailing list [email protected] http://www.eros-os.org/mailman/listinfo/e-lang