[GHC] #13222: Update formalism for join points
#13222: Update formalism for join points -------------------------------------+------------------------------------- Reporter: lukemaurer | Owner: lukemaurer Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.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: -------------------------------------+------------------------------------- I rather flagrantly violated the entreaties in `CoreLint` about updating the formalism (namely by adding join points). Need to fix that. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13222 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13222: Update formalism for join points -------------------------------------+------------------------------------- Reporter: lukemaurer | Owner: lukemaurer Type: task | Status: new 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): Wiki Page: | -------------------------------------+------------------------------------- Changes (by dfeuer): * failure: None/Unknown => Other * milestone: => 8.2.1 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13222#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13222: Update formalism for join points -------------------------------------+------------------------------------- Reporter: lukemaurer | Owner: lukemaurer Type: task | Status: new 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): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): Let me know if you need assistance. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13222#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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): D3296 Wiki Page: | -------------------------------------+------------------------------------- Changes (by lukemaurer): * status: new => patch * differential: => D3296 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13222#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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: | -------------------------------------+------------------------------------- Changes (by lukemaurer): * differential: D3296 => Phab:D3296 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13222#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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
#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: | -------------------------------------+------------------------------------- Changes (by bgamari): * milestone: 8.2.1 => 8.2.2 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13222#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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
#13222: Update formalism for join points -------------------------------------+------------------------------------- Reporter: lukemaurer | Owner: lukemaurer Type: task | Status: closed Priority: normal | Milestone: 8.2.2 Component: Compiler | Version: 8.1 Resolution: fixed | 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: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: patch => closed * resolution: => fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13222#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC