[GHC] #12578: Update links to SPJ’s papers
#12578: Update links to SPJ’s papers -------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: task | Status: new Priority: normal | Milestone: 8.2.1 Component: Documentation | Version: 8.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- It seems that Simon’s homepage got restructured, and a lot of links in the documentation and the code comments are not valid any more. At least these need to be looked at: {{{ $ git grep 'people/simonpj' compiler/types/FamInstEnv.hs:http://research.microsoft.com/en- us/um/people/simonpj/papers/ext-f/axioms-extended.pdf compiler/types/Unify.hs:[1]: http://research.microsoft.com/en- us/um/people/simonpj/papers/ext-f/axioms-extended.pdf docs/core-spec/core-spec.mng:phantom equality includes all types. See \url{http://ghc.haskell.org/trac/ghc/wiki/Roles} and \url{http://research.microsoft.com/en- us/um/people/simonpj/papers/ext-f/coercible.pdf} docs/users_guide/glasgow_exts.rst:paper <http://research.microsoft.com/en- us/um/people/simonpj/papers/ext-f/>`__. docs/users_guide/glasgow_exts.rst:cloud <http://research.microsoft.com/en- us/um/people/simonpj/papers/parallel/remote.pdf>`__, docs/users_guide/using-optimisation.rst: multiprocessor <http://research.microsoft.com/en- us/um/people/simonpj/papers/parallel/>`__. docs/users_guide/using-optimisation.rst: (ICFP'96) <http://research.microsoft.com/en- us/um/people/simonpj/papers/float.ps.gz>`__. docs/users_guide/using-optimisation.rst: (ICFP'96) <http://research.microsoft.com/en- us/um/people/simonpj/papers/float.ps.gz>`__. docs/users_guide/using-optimisation.rst: programs <http://research.microsoft.com/en-us/um/people/simonpj/papers/spec- constr/index.htm>`__. docs/users_guide/using-optimisation.rst: thesis <http://research.microsoft.com/en-us/um/people/simonpj/papers/santos- thesis.ps.gz>`__ docs/users_guide/using-optimisation.rst: analyser <http://research.microsoft.com/en-us/um/people/simonpj/papers/simple- strictnes-analyser.ps.gz>`__, libraries/base/GHC/Arr.hs:-- http://research.microsoft.com/en- us/um/people/simonpj/papers/ext-f/coercible.pdf libraries/base/GHC/Base.hs:-- http://research.microsoft.com/en- us/um/people/simonpj/papers/ext-f/coercible.pdf testsuite/tests/dependent/should_compile/all.T:# http://research.microsoft.com/en-us/um/people/simonpj/papers/haskell- dynamic/ $ git grep '~simonpj' compiler/coreSyn/CoreSyn.hs:-- GHC uses System FC http://research.microsoft.com/~simonpj/papers/ext-f/ for this purpose, docs/users_guide/bugs.rst: inliner http://research.microsoft.com/~simonpj/Papers/inlining/`__. docs/users_guide/glasgow_exts.rst: Languages http://research.microsoft.com/~simonpj/Papers/slpj-book-1987/`__. docs/users_guide/glasgow_exts.rst:"group by" http://research.microsoft.com/~simonpj/papers/list-comp`__, docs/users_guide/glasgow_exts.rst:space <http://research.microsoft.com/~simonpj/Papers/type-class-design- space/>`__ docs/users_guide/glasgow_exts.rst:papers http://research.microsoft.com/~simonpj/papers/constraints/index.htm`__ docs/users_guide/glasgow_exts.rst:Haskell http://research.microsoft.com/~simonpj/papers/meta-haskell/`__" docs/users_guide/glasgow_exts.rst:2 http://research.microsoft.com/~simonpj/papers/meta-haskell/notes2.ps`__. libraries/base/Control/Concurrent/MVar.hs:-- <http://research.microsoft.com/~simonpj/papers/concurrent-haskell.ps.gz "Concurrent Haskell"> libraries/base/GHC/Conc/Sync.hs:(<http://research.microsoft.com/~simonpj/Papers /asynch-exns.htm>). }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12578 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12578: Update links to SPJ’s papers -------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: task | Status: closed Priority: normal | Milestone: 8.2.1 Component: Documentation | Version: 8.1 Resolution: worksforme | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by nomeata): * status: new => closed * resolution: => worksforme Comment: It looks as if the old links work again. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12578#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12578: Update links to SPJ’s papers -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.2.1 Component: Documentation | Version: 8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by mniip): * status: closed => new * resolution: worksforme => Comment: Some of the links do not work. (Not sure if "still" or "again"). {{{ http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/ http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/ http://research.microsoft.com/~simonpj/papers/concurrent-haskell.ps.gz http://research.microsoft.com/~simonpj/papers/constraints/index.htm http://research.microsoft.com/~simonpj/papers/ext-f/ }}} It is also worth mentioning that at least the ext-f paper is linked from multiple places in the wiki. Perhaps it'd be a great idea to grep the wiki too. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12578#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12578: Update links to SPJ’s papers -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.2.1 Component: Documentation | Version: 8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by takenobu): I can fix it. please wait a moment. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12578#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12578: Update links to SPJ’s papers -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: task | Status: patch Priority: normal | Milestone: 8.2.1 Component: Documentation | Version: 8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3745 Wiki Page: | -------------------------------------+------------------------------------- Changes (by takenobu): * status: new => patch * differential: => Phab:D3745 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12578#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12578: Update links to SPJ’s papers -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: task | Status: patch Priority: normal | Milestone: 8.4.1 Component: Documentation | Version: 8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3745 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * milestone: 8.2.1 => 8.4.1 Comment: Bumping to 8.4 since this is non-essential for release. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12578#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12578: Update links to SPJ’s papers
-------------------------------------+-------------------------------------
Reporter: nomeata | Owner: (none)
Type: task | Status: patch
Priority: normal | Milestone: 8.4.1
Component: Documentation | Version: 8.1
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s): Phab:D3745
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Ben Gamari
#12578: Update links to SPJ’s papers -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: task | Status: patch Priority: normal | Milestone: 8.4.1 Component: Documentation | Version: 8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3745 Wiki Page: | -------------------------------------+------------------------------------- Comment (by takenobu): I also fixed wiki pages as following: * created an anchor tag for old 'ext-f' in ReadingList [1] and linked them there. * updated old links for each pages. [1]: https://ghc.haskell.org/trac/ghc/wiki/ReadingList#TypeEqualities The relationship between old and new links are below. * System F with Type Equality Coercions (Including post-publication Appendix) * NEW: www.microsoft.com/en-us/research/wp- content/uploads/2007/01/tldi22-sulzmann-with-appendix.pdf * OLD: research.microsoft.com/en- us/um/people/simonpj/papers/ext-f/tldi22-sulzmann-with-appendix.pdf * OLD: research.microsoft.com/~simonpj/papers/ext-f/fc-tldi.pdf * OLD: research.microsoft.com/~simonpj/papers/ext-f/ * Equality proofs and deferred type errors (ICFP'12) * NEW: www.microsoft.com/en-us/research/wp- content/uploads/2012/01/icfp12.pdf * OLD: research.microsoft.com/en- us/um/people/simonpj/papers/ext-f/icfp12.pdf * OLD: research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/ * Safe Zero-cost Coercions for Haskell (ICFP'14) * NEW: www.microsoft.com/en-us/research/wp- content/uploads/2016/07/coercible.pdf * OLD: research.microsoft.com/en- us/um/people/simonpj/papers/ext-f/coercible.pdf * Closed Type Families with Overlapping Equations (POPL'14) * NEW: www.microsoft.com/en-us/research/wp- content/uploads/2016/07/popl137-eisenberg.pdf * OLD: research.microsoft.com/en-us/um/people/simonpj/papers/ext-f /axioms-extended.pdf * OLD: research.microsoft.com/en- us/um/people/simonpj/papers/ext-f/popl137-eisenberg.pdf * Injective Type Families for Haskell (Haskell'15) * NEW: www.microsoft.com/en-us/research/wp-content/uploads/2016/07 /injective-type-families-acm.pdf * OLD: research.microsoft.com/en-us/um/people/simonpj/papers/ext-f /injective-type-families-acm.pdf * Comprehensive comprehensions * NEW: www.microsoft.com/en-us/research/wp-content/uploads/2007/09 /list-comp.pdf * OLD: research.microsoft.com/~simonpj/papers/list-comp * Understanding functional dependencies via Constraint Handling Rules * NEW: www.microsoft.com/en-us/research/wp- content/uploads/2016/02/jfp06.pdf * OLD: research.microsoft.com/%7Esimonpj/papers/fd%2Dchr/ * OutsideIn(X) Modular type inference with local assumptions * NEW: www.microsoft.com/en-us/research/wp-content/uploads/2016/02 /jfp-outsidein.pdf * OLD: research.microsoft.com/~simonpj/papers/constraints/index.htm * STM * NEW: wiki.haskell.org/Research_papers/Parallelism_and_concurrency#Lock_free_data_structures_and_transactional_memory * OLD: research.microsoft.com/%7Esimonpj/papers/stm/index.htm * Extending the Haskell Foreign Function Interface with Concurrency * NEW: community.haskell.org/~simonmar/papers/conc-ffi.pdf * OLD: research.microsoft.com/%7Esimonpj/Papers/conc-ffi/index.htm * Haskell on a Shared-Memory Multiprocessor * NEW: community.haskell.org/~simonmar/papers/multiproc.pdf * OLD: research.microsoft.com/en-us/um/people/simonpj/papers/parallel/ * Towards Haskell in the Cloud * NEW: www.microsoft.com/en-us/research/wp- content/uploads/2016/07/remote.pdf * OLD: research.microsoft.com/en-us/um/people/simonpj/papers/parallel/ -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12578#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12578: Update links to SPJ’s papers -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: task | Status: merge Priority: normal | Milestone: 8.4.1 Component: Documentation | Version: 8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3745 Wiki Page: | -------------------------------------+------------------------------------- Changes (by takenobu): * status: patch => merge -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12578#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12578: Update links to SPJ’s papers -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: task | Status: closed Priority: normal | Milestone: 8.2.1 Component: Documentation | Version: 8.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3745 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: merge => closed * resolution: => fixed * milestone: 8.4.1 => 8.2.1 Comment: Thank you takenobu! Having these links in order makes everyones' lifes much easier. I have merged this to `ghc-8.2`. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12578#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12578: Update links to SPJ’s papers -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: task | Status: closed Priority: normal | Milestone: 8.2.1 Component: Documentation | Version: 8.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3745 Wiki Page: | -------------------------------------+------------------------------------- Comment (by takenobu): Thank you Ben. I add the correction information about Phab:D3784 to the following: * Equality proofs and deferred type errors (ICFP'12) * NEW: dreixel.net/research/pdf/epdtecp.pdf * OLD: www.microsoft.com/en-us/research/wp- content/uploads/2012/01/icfp12.pdf * OLD: research.microsoft.com/en- us/um/people/simonpj/papers/ext-f/icfp12.pdf * OLD: research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/ -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12578#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12578: Update links to SPJ’s papers -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.2.1 Component: Documentation | Version: 8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3745 Wiki Page: | -------------------------------------+------------------------------------- Changes (by ntc2): * status: closed => new * resolution: fixed => Comment: Ran into one that's still broken: docs/users_guide/glasgow_exts.rst:2 http://research.microsoft.com/~simonpj/papers/meta-haskell/notes2.ps`__. I can't find the corresponding paper on research.microsoft.com, but there's a copy on haskell.org: https://www.haskell.org/ghc/docs/papers/th2.ps. PR on GitHub: https://github.com/ghc/ghc/pull/146. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12578#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12578: Update links to SPJ’s papers -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: task | Status: closed Priority: normal | Milestone: 8.2.1 Component: Documentation | Version: 8.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3745 Wiki Page: | -------------------------------------+------------------------------------- Changes (by monoidal): * status: new => closed * resolution: => fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12578#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC