#15801: "ASSERT failed!" with visible kind applications -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.6.1 Resolution: | Keywords: | TypeApplications Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <rae@…>): In [changeset:"255d2e323a8879a7296a5ab94e6cc49023e2c86e/ghc" 255d2e3/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="255d2e323a8879a7296a5ab94e6cc49023e2c86e" Fix embarrassing, egregious bug in roles of (->) Previously, I had inexplicably decided that (->)'s roles were all Representational. But, of course, its first two parameters are *dependent* RuntimeReps. All dependent parameters have a Nominal role, because all roles in kinds are Nominal. Fix is easy, but I have no idea how the world hasn't come crashing down before now. This was found while investigating #15801, which requires visible type application in types to observe. Hence, the test case will come with the main patch for #12045. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15801#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler