From 676c5754e3f9e1beeb5f01e0265ffbdc0e6f49e9 Mon Sep 17 00:00:00 2001 From: Alan Zimmerman Date: Mon, 18 Jun 2018 10:18:21 +0200 Subject: Fix API Annotations for GADT constructors Summary: This patch completes the work for #14529 by making sure that all API Annotations end up attached to a SrcSpan that appears in the final ParsedSource. Updates Haddock submodule Test Plan: ./validate Reviewers: goldfire, bgamari Subscribers: rwbarton, thomie, mpickering, carter GHC Trac Issues: #14529 Differential Revision: https://phabricator.haskell.org/D4867 --- compiler/deSugar/DsMeta.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'compiler/deSugar/DsMeta.hs') diff --git a/compiler/deSugar/DsMeta.hs b/compiler/deSugar/DsMeta.hs index 1e85ea133e..832473edd6 100644 --- a/compiler/deSugar/DsMeta.hs +++ b/compiler/deSugar/DsMeta.hs @@ -693,13 +693,13 @@ repAnnProv ModuleAnnProvenance repC :: LConDecl GhcRn -> DsM (Core TH.ConQ) repC (L _ (ConDeclH98 { con_name = con - , con_forall = False + , con_forall = L _ False , con_mb_cxt = Nothing , con_args = args })) = repDataCon con args repC (L _ (ConDeclH98 { con_name = con - , con_forall = is_existential + , con_forall = L _ is_existential , con_ex_tvs = con_tvs , con_mb_cxt = mcxt , con_args = args })) -- cgit v1.2.1