<div dir="ltr"><div><div><div>Dear GHC devs,<br></div>Is there a way to retrieve "source annotations" (as defined by <a href="https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/extending_ghc.html#source-annotations">https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/extending_ghc.html#source-annotations</a>) during type checking. In particular, I am interested in reading them in TcExpr and TcCanonical.<br><br></div>Regards,<br></div>Alejandro<br></div>