adding source for ghc-6.12 and 7.0