Re: [GHC] #11247: Weird error from running runghc on an invalid input filename