diff options
Diffstat (limited to 'compiler/GHC/Driver/Pipeline.hs')
-rw-r--r-- | compiler/GHC/Driver/Pipeline.hs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/compiler/GHC/Driver/Pipeline.hs b/compiler/GHC/Driver/Pipeline.hs index 44ae426e2d..205c767aed 100644 --- a/compiler/GHC/Driver/Pipeline.hs +++ b/compiler/GHC/Driver/Pipeline.hs @@ -166,8 +166,12 @@ preprocess hsc_env input_fn mb_input_buf mb_phase = (vcat $ pprMsgEnvelopeBagWithLoc (getMessages msgs)) Just msgs' -> msgs' - to_driver_message (GhcDriverMessage msg) = Just msg - to_driver_message _other = Nothing + to_driver_message = \case + GhcDriverMessage msg + -> Just msg + GhcPsMessage (PsHeaderMessage msg) + -> Just (DriverPsHeaderMessage (PsHeaderMessage msg)) + _ -> Nothing -- --------------------------------------------------------------------------- |