From d5b89ed4d3c444e8bc4fe7cbbee38f9766574b84 Mon Sep 17 00:00:00 2001 From: Alfredo Di Napoli Date: Tue, 11 May 2021 11:27:34 +0200 Subject: Port HsToCore messages to new infrastructure This commit converts a bunch of HsToCore (Ds) messages to use the new GHC's diagnostic message infrastructure. In particular the DsMessage type has been expanded with a lot of type constructors, each encapsulating a particular error and warning emitted during desugaring. Due to the fact that levity polymorphism checking can happen both at the Ds and at the TcRn level, a new `TcLevityCheckDsMessage` constructor has been added to the `TcRnMessage` type. --- compiler/ghc.cabal.in | 1 + 1 file changed, 1 insertion(+) (limited to 'compiler/ghc.cabal.in') diff --git a/compiler/ghc.cabal.in b/compiler/ghc.cabal.in index fae95343f6..40cfde0d3a 100644 --- a/compiler/ghc.cabal.in +++ b/compiler/ghc.cabal.in @@ -643,6 +643,7 @@ Library GHC.Types.ForeignCall GHC.Types.ForeignStubs GHC.Types.Hint + GHC.Types.Hint.Ppr GHC.Types.HpcInfo GHC.Types.Id GHC.Types.IPE -- cgit v1.2.1