[Git][ghc/ghc][master] Revert prog003 acceptance