diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2018-06-29 20:58:21 +0200 |
|---|---|---|
| committer | Alan Zimmerman <alan.zimm@gmail.com> | 2018-06-29 21:01:01 +0200 |
| commit | 6e4e6d1c674a9d0257ca5c6caa26da18edf8ad8c (patch) | |
| tree | 72cf8c8a3d96f04ef8c840ebf4afcf7450a43bc9 /compiler/parser | |
| parent | 6bb0c5db818c1ba9cd5fe1785a3020cfddf0c223 (diff) | |
| download | haskell-6e4e6d1c674a9d0257ca5c6caa26da18edf8ad8c.tar.gz | |
Fix mkGadtDecl does not set con_forall correctly
A GADT declaration surrounded in parens does not det the con_forall
field correctly.
e.g.
data MaybeDefault v where
TestParens :: (forall v . (Eq v) => MaybeDefault v)
Closes #15323
Diffstat (limited to 'compiler/parser')
| -rw-r--r-- | compiler/parser/RdrHsSyn.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/parser/RdrHsSyn.hs b/compiler/parser/RdrHsSyn.hs index 44159dc35d..7dc3aafb91 100644 --- a/compiler/parser/RdrHsSyn.hs +++ b/compiler/parser/RdrHsSyn.hs @@ -643,7 +643,7 @@ mkGadtDecl :: [Located RdrName] mkGadtDecl names ty = (ConDeclGADT { con_g_ext = noExt , con_names = names - , con_forall = L l $ isLHsForAllTy ty + , con_forall = L l $ isLHsForAllTy ty' , con_qvars = mkHsQTvs tvs , con_mb_cxt = mcxt , con_args = args' |