#7961: Remove restrictions on promoting GADT's ---------------------------------+------------------------------------------ Reporter: danharaj | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #6024 | ---------------------------------+------------------------------------------ Changes (by danharaj): * related: #6204 => #6024 Comment: This recent preprint from Sam Lindley and Conor McBride is relevant: https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7961#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler