#8138: Core lint fails with error "Role incompatibility: expected N, got R" -------------------------------------+------------------------------------ Reporter: gmainland | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by goldfire): This is actually a bug in core lint, not in the code generation -- core lint doesn't consider the possibility of `(~R#)` arguments to functions, but some optimizations produce these. Patch on the way... If this is holding you up at the moment, just delete line 404 of !CoreLint.lhs "` ; checkRole co Nominal role`". -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8138#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8138: Core lint fails with error "Role incompatibility: expected N, got R" -------------------------------------+------------------------------------ Reporter: gmainland | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by Richard Eisenberg ): In [changeset:ea96a0fcb5c756f5c2c77f8bc651b3345ca6d09f/testsuite]: {{{ #!CommitTicketReference repository="testsuite" revision="ea96a0fcb5c756f5c2c77f8bc651b3345ca6d09f" Add testcase for #8138 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8138#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8138: Core lint fails with error "Role incompatibility: expected N, got R" -------------------------------------+------------------------------------- Reporter: gmainland | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Easy (less than 1 Test Case: | hour) deriving/should_compile/T8138 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Changes (by goldfire): * status: merge => closed * resolution: => fixed Comment: Oops -- just noticed that I flagged this as "merge" instead of closed. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8138#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler