#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: #6204 | ---------------------------------+------------------------------------------ Comment(by carter): Interesting paper! (and the examples therein are nice!) on the associated project page http://www.cis.upenn.edu/~eir/packages/nokinds/ it says " ... seem to have accepted the inevitability that these ideas will some day be merged. " Is that a quirk of turn of phrase, or is there some downside to this direction that isn't in the paper/documentation I see? (I'd assume the former, but doesn't hurt to ask explicitly) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7961#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler