#13281: Linting join points -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: JoinPoints | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Core Lint should check the polymorphic invariant on join points. See (4) in `Note [Invariants on join point]` in `CoreSyn`, and `chekValidJoinPointType`. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13281 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler