#13222: Update formalism for join points -------------------------------------+------------------------------------- Reporter: lukemaurer | Owner: lukemaurer Type: task | Status: patch Priority: normal | Milestone: 8.2.2 Component: Compiler | Version: 8.1 Resolution: | Keywords: JoinPoints Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3296 Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): Given that Jenkins is on hold for the moment, I've gone ahead and merged the formalism change. `core-spec.pdf` is still in the repository. Hopefully once we have documentation building via CI we'll be able to move it out. I've opened #14405 to track this. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13222#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler