Re: [GHC] #7915: Documentation uses deprecated record GADT syntax

#7915: Documentation uses deprecated record GADT syntax --------------------------------+------------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Documentation | Version: 7.6.3 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Documentation bug | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: --------------------------------+------------------------------------------- Comment(by krz.gogolewski@…): commit 9fc2778cf20990524b13705a519b0c337ad197fe {{{ Author: Krzysztof Gogolewski Date: Thu May 16 15:54:59 2013 +0200 Documentation: use new syntax for record GADTs (#7915) docs/users_guide/glasgow_exts.xml | 33 ++++++++++++++++----------------- 1 files changed, 16 insertions(+), 17 deletions(-) }}} -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7915#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler