[GHC] #7893: GHCi :k shouldn't require type family arguments
#7893: GHCi :k shouldn't require type family arguments ----------------------------------+----------------------------------------- Reporter: MartijnVanSteenbergen | Owner: Type: bug | Status: new Priority: normal | Component: GHCi Version: 7.6.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Other | Blockedby: Blocking: | Related: ----------------------------------+----------------------------------------- Hi, {{{ type family F t :: * }}} If I load this program in GHCi and ask for F's kind using `:k F`, I get the error: {{{ Type synonym `F' should have 1 argument, but has been given none }}} I expect GHCi to be able to tell me the kind of F without satisfying its type parameters first. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7893 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#7893: GHCi :k shouldn't require type family arguments ----------------------------------+----------------------------------------- Reporter: MartijnVanSteenbergen | Owner: Type: bug | Status: new Priority: normal | Component: GHCi Version: 7.6.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Other | Blockedby: Blocking: | Related: ----------------------------------+----------------------------------------- Comment(by kosmikus): Is this the same as #7586, and thus already fixed? -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7893#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#7893: GHCi :k shouldn't require type family arguments --------------------------------------+------------------------------------- Reporter: MartijnVanSteenbergen | Owner: Type: bug | Status: closed Priority: normal | Component: GHCi Version: 7.6.3 | Resolution: duplicate Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Other Blockedby: | Blocking: Related: | --------------------------------------+------------------------------------- Changes (by parcs): * status: new => closed * resolution: => duplicate Comment: Yeah, the functionality already exists in HEAD as a result of #7586: {{{ Prelude> :set -XTypeFamilies Prelude> type family Foo a Prelude> :k Foo Foo :: * -> * }}} -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7893#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC