[GHC] #7872: :info does not display "forall" for a synonym
#7872: :info does not display "forall" for a synonym ----------------------------------------------+----------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | Blockedby: Blocking: | Related: ----------------------------------------------+----------------------------- Define: {{{ data A = A (forall a. a) type B = forall a. a }}} and in ghci we see: {{{ Prelude> :i A data A = A (forall a. a) -- OK Prelude> :i B type B = a -- "forall" missing }}} This is a minor issue, but since "type B = a" is not valid Haskell I'm reporting it. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7872> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#7872: :info does not display "forall" for a synonym ----------------------------------------------+----------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | Blockedby: Blocking: | Related: ----------------------------------------------+----------------------------- Comment(by simonpj@…): commit 9e390fdd1f1da4ae5e218724414ee0091edac28d {{{ Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Thu May 2 17:05:53 2013 +0100 Don't suppress foralls in the RHS of a type synonym definition! Fixes Trac #7872 compiler/main/PprTyThing.hs | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7872#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#7872: :info does not display "forall" for a synonym ------------------------------------------------+--------------------------- Reporter: monoidal | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | Difficulty: Unknown Testcase: ghci/scripts/T7872 | Blockedby: Blocking: | Related: ------------------------------------------------+--------------------------- Changes (by simonpj): * status: new => closed * difficulty: => Unknown * resolution: => fixed * testcase: => ghci/scripts/T7872 Comment: Thanks for poinrting this, now fixed. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7872#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC