[GHC] #15841: User's Guide section for Coercible links to a 404 page
#15841: User's Guide section for Coercible links to a 404 page -------------------------------------+------------------------------------- Reporter: koz_ | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.6.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Documentation Unknown/Multiple | bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Section 10.14.4 of the User's Guide is meant to describe the Coercible constraint, and links to the safe coercions paper to do so (there's basically little else in that section at all). However, that link currently 404s (the link is specifically http://www.cis.upenn.edu/~eir/papers/2014/coercible/coercible.pdf). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15841> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#15841: User's Guide section for Coercible links to a 404 page -------------------------------------+------------------------------------- Reporter: koz_ | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.6.1 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * keywords: => newcomer Comment: Good catch. An up-to-date version of that link can be found at https://cs.brynmawr.edu/~rae/papers/2014/coercible/coercible.pdf . Does anyone want to make a patch to correct this? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15841#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#15841: User's Guide section for Coercible links to a 404 page -------------------------------------+------------------------------------- Reporter: koz_ | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.6.1 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by koz_): There's also this one, which I believe is more up-to-date: https://www.microsoft.com/en-us/research/uploads/prod/2018/05/coercible- JFP.pdf -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15841#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#15841: User's Guide section for Coercible links to a 404 page -------------------------------------+------------------------------------- Reporter: koz_ | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.6.1 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"efb314582f1a1974d68505bbf9312f130416ef65/ghc" efb3145/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="efb314582f1a1974d68505bbf9312f130416ef65" users-guide: Update link to Safe Coercions paper Fixes #15841. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15841#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#15841: User's Guide section for Coercible links to a 404 page -------------------------------------+------------------------------------- Reporter: koz_ | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Documentation | Version: 8.6.1 Resolution: fixed | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by monoidal): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15841#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC