#11241: Kind-level PartialTypeSignatures causes internal error -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.11 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): This might possibly be related: running the following command in GHCi yields an error: {{{ $ ghc/inplace/bin/ghc-stage2 --interactive GHCi, version 7.11.20151219: http://www.haskell.org/ghc/ :? for help λ> :set -XTypeInType -XRankNTypes λ> :kind! forall (a :: k). 'Just a <interactive>:1:14: error: • GHC internal error: ‘k’ is not in scope during type checking, but it passed the renamer tcl_env of environment: [] • In the kind ‘k’ In the type ‘forall (a :: k). Just a’ }}} Yet putting it into a module makes it compile without issues: {{{ {-# LANGUAGE RankNTypes, TypeInType #-} module InternalError where type T = forall (a :: k). 'Just a }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11241#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler