an update to ghc bug post