aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src/Haddock
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2015-11-11 11:35:51 +0100
committerMatthew Pickering <matthewtpickering@gmail.com>2015-12-14 15:49:21 +0000
commit064a7dfb98c197cd04f596aa7593b56cc93b63b6 (patch)
tree21278b06ff0e6759bee3a6fada100f239ad743f0 /haddock-api/src/Haddock
parente02a744ba29b7b8c904563c42b59e781f586491b (diff)
Eliminate support for deprecated GADT syntax
Follows from GHC D1460.
Diffstat (limited to 'haddock-api/src/Haddock')
-rw-r--r--haddock-api/src/Haddock/Convert.hs6
1 files changed, 2 insertions, 4 deletions
diff --git a/haddock-api/src/Haddock/Convert.hs b/haddock-api/src/Haddock/Convert.hs
index b829a5fd..ddf8f6b3 100644
--- a/haddock-api/src/Haddock/Convert.hs
+++ b/haddock-api/src/Haddock/Convert.hs
@@ -307,14 +307,12 @@ synifyDataCon use_gadt_syntax dc =
in hs_arg_tys >>=
\hat -> return $ noLoc $
ConDecl { con_names = [name]
- , con_explicit = False -- we don't know nor care
+ , con_explicit = Implicit -- we don't know nor care
, con_qvars = qvars
, con_cxt = ctx
, con_details = hat
, con_res = hs_res_ty
- , con_doc = Nothing
- -- we don't want any "deprecated GADT syntax" warnings!
- , con_old_rec = False }
+ , con_doc = Nothing }
synifyName :: NamedThing n => n -> Located Name
synifyName = noLoc . getName