#13222: Update formalism for join points -------------------------------------+------------------------------------- Reporter: lukemaurer | Owner: lukemaurer Type: task | Status: patch Priority: normal | Milestone: 8.2.1 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): This is waiting on me to rework our handling of the core lint formalism PDF. Currently it's checked in to the repository, meaning that around 300kB is added to the repo on every change. Being a generated artifact, it really doesn't belong under version control but it requires non-trivial tools to generate, so we need to place a copy somewhere before removing it. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13222#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler