Cheng Shao deleted branch wip/c11-checks at
Glasgow Haskell Compiler / GHC