Andrea Vezzosi pushed new branch wip/andrea/splitsections at Glasgow Haskell Compiler / GHC