[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
#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