#10828: TH could do a better job of representing GADTs -------------------------------------+------------------------------------- Reporter: spinda | Owner: jstolarek Type: feature request | Status: new Priority: normal | Milestone: 8.0.1 Component: Template Haskell | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): Replying to [comment:11 jstolarek]:
My intention was to nest `GadtC` inside `ForallC`. Is there any reason why this wouldn't work? Good point. That would work well.
The documentation should make clear that, unlike other constructor forms, GADT constructors do ''not'' have the type variables from the declaration head in scope. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10828#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler