Re: [GHC] #7515: reinitializeGlobals doesn't reinitialize dynamic flags

2012-12-21 Thread GHC
#7515: reinitializeGlobals doesn't reinitialize dynamic flags ---+ Reporter: danielv | Owner: Type: bug | Status: closed Priority: normal

[GHC] #7515: reinitializeGlobals doesn't reinitialize dynamic flags

2012-12-19 Thread GHC
#7515: reinitializeGlobals doesn't reinitialize dynamic flags -+-- Reporter: danielv | Owner: Type: bug | Status: new Priority: normal