[GHC] #15323: mkGadtDecl does not set con_forall correctly
GHC
ghc-devs at haskell.org
Fri Jun 29 14:09:10 UTC 2018
#15323: mkGadtDecl does not set con_forall correctly
-------------------------------------+-------------------------------------
Reporter: alanz | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone: 8.6.1
Component: Compiler | Version: 8.4.3
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: None/Unknown
Unknown/Multiple |
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
A GADT declaration surrounded in parens does not det the `con_forall`
field correctly.
e.g.
{{{#!hs
data MaybeDefault v where
TestParens :: (forall v . (Eq v) => MaybeDefault v)
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15323>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list