Re: [GHC] #12491: ghc-iserv pattern match failure with no command line arguments (was: ghc-iserv pattern match failure)