#7961: Remove restrictions on promoting GADT's -----------------------------+---------------------------------------------- Reporter: danharaj | Owner: Type: feature request | Status: new Priority: normal | Component: Compiler Version: 7.6.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: #6204 -----------------------------+---------------------------------------------- Comment(by carter): Hey Dan, could you give some examples of "code you'd want to be able to write" vs "ways you have to encode it as ghc currently stands"? Also, the ticket number your refer to doesn't exist, which ticket do you mean? -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7961#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler