Re: Suggestion for module system (to get rid of many uses of unsafePerformIO)

Stephen Dolan wrote:

At the moment, we have the situation of modules using unsafePerformIO newIORef, which influences program behaviour without being referenced by main.

Not really. Even with things as they currently are, if we have at the top level.. resultOfSomething = unsafePerformIO doSomething .. laziness will ensure that nothing will happen unless the value resultOfSomething is demanded (by main ultimately). Of course, this does not imply the above hack is at all safe. Regards -- Adrian Hey