Re: [GHC] #2427: Allow compilation of source from stdin