Update links to SPJ’s papers
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>).
Trac metadata
Trac field | Value |
---|---|
Version | 8.1 |
Type | Task |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Documentation |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |