Re: [GHC] #9243: Recompilation avoidance doesn't work for -fno-code/-fwrite-interface (was: Recompilation avoidance works imperfectly with -fno-code/-fwrite-interface)