On 25/03/14 15:08, monarch_dodra wrote: > Maybe instead of using null, we could use global junk? That really seems like a nasty workaround which could break at any moment depending on how the compiler is tweaked. :-( Better surely to have an explicit indication that a function may not be assumed to be strongly pure?