Example of CPP and QuasiQuotes causing GHC to report the wrong line numbers for type errors (see https://ghc.haskell.org/trac/ghc/ticket/4150)

BadQQCPP.hs

{-# LANGUAGE QuasiQuotes #-}
module BadQQCPP where

import Language.Haskell.TH
import Language.Haskell.TH.Syntax
import Language.Haskell.TH.Quote

quoter :: QuasiQuoter
quoter = QuasiQuoter { quoteExp = lift }

BadQQCPPMain.hs

{-# LANGUAGE CPP, QuasiQuotes #-}
{-# OPTIONS_GHC -fdefer-type-errors #-}
module BadQQCPPMain where

import BadQQCPP

foo :: String
foo = "bar"

main :: IO ()
main = putStrLn [quoter|
#include "BadQQCPP.hs"
|]

other :: IO ()
other = putStrLn (1::Int)

{- Code above generates the following warning, despite occurring on line 16 -

BadQQCPPMain.hs:28:19: Warning:
    Couldn't match type ‘Int’ with ‘[Char]’
    Expected type: String
      Actual type: Int

-}