diff options
author | Takenobu Tani <takenobu.hs@gmail.com> | 2017-07-19 15:06:27 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-07-19 16:00:31 -0400 |
commit | 1ed41a7413a45e11a9bad3aafcfb7ee3f26236e4 (patch) | |
tree | 33aa014e6bc19d7a7964611c8e5c2eb3f20ca4a2 | |
parent | c9e4c861c6855e03bd14b182d2173da559e98d85 (diff) | |
download | haskell-1ed41a7413a45e11a9bad3aafcfb7ee3f26236e4.tar.gz |
Fix links to SPJ’s papers (fixes #12578)
This fixes #12578.
Update links to SPJ's papers in following files:
* compiler/coreSyn/CoreSyn.hs
* docs/users_guide/using-optimisation.rst
* docs/users_guide/parallel.rst
* docs/users_guide/glasgow_exts.rst
This commit is for ghc-8.2 branch.
Test Plan: build
Reviewers: austin, bgamari
Reviewed By: bgamari
Subscribers: rwbarton, thomie
GHC Trac Issues: #12578
Differential Revision: https://phabricator.haskell.org/D3745
-rw-r--r-- | compiler/coreSyn/CoreSyn.hs | 2 | ||||
-rw-r--r-- | docs/users_guide/glasgow_exts.rst | 8 | ||||
-rw-r--r-- | docs/users_guide/parallel.rst | 4 | ||||
-rw-r--r-- | docs/users_guide/using-optimisation.rst | 2 |
4 files changed, 8 insertions, 8 deletions
diff --git a/compiler/coreSyn/CoreSyn.hs b/compiler/coreSyn/CoreSyn.hs index a669437c68..13cf8ae5fb 100644 --- a/compiler/coreSyn/CoreSyn.hs +++ b/compiler/coreSyn/CoreSyn.hs @@ -137,7 +137,7 @@ These data types are the heart of the compiler -} -- | This is the data type that represents GHCs core intermediate language. Currently --- GHC uses System FC <http://research.microsoft.com/~simonpj/papers/ext-f/> for this purpose, +-- GHC uses System FC <https://www.microsoft.com/en-us/research/publication/system-f-with-type-equality-coercions/> for this purpose, -- which is closely related to the simpler and better known System F <http://en.wikipedia.org/wiki/System_F>. -- -- We get from Haskell source to this Core language in a number of stages: diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index c3a2d69a54..0dbd03ef65 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -1150,7 +1150,7 @@ Generalised list comprehensions are a further enhancement to the list comprehension syntactic sugar to allow operations such as sorting and grouping which are familiar from SQL. They are fully described in the paper `Comprehensive comprehensions: comprehensions with "order by" and -"group by" <http://research.microsoft.com/~simonpj/papers/list-comp>`__, +"group by" <https://www.microsoft.com/en-us/research/wp-content/uploads/2007/09/list-comp.pdf>`__, except that the syntax we use differs slightly from the paper. The extension is enabled with the flag :ghc-flag:`-XTransformListComp`. @@ -5839,7 +5839,7 @@ reduction step makes the problem smaller by at least one constructor. You can find lots of background material about the reason for these restrictions in the paper `Understanding functional dependencies via Constraint Handling -Rules <http://research.microsoft.com/%7Esimonpj/papers/fd%2Dchr/>`__. +Rules <https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/jfp06.pdf>`__. For example, these are okay: @@ -9382,7 +9382,7 @@ restriction is not closed, and hence may in turn prevent generalisation of bindings that mention it. The rationale for this more conservative strategy is given in `the -papers <http://research.microsoft.com/~simonpj/papers/constraints/index.htm>`__ +papers <https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/jfp-outsidein.pdf>`__ "Let should not be generalised" and "Modular type inference with local assumptions", and a related `blog post <http://ghc.haskell.org/trac/ghc/blog/LetGeneralisationInGhc7>`__. @@ -10655,7 +10655,7 @@ ignore the problems in ``a``. For more motivation and details please refer to the :ghc-wiki:`Wiki <DeferErrorsToRuntime>` page or the `original -paper <http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/>`__. +paper <https://www.microsoft.com/en-us/research/wp-content/uploads/2012/01/icfp12.pdf>`__. Enabling deferring of type errors --------------------------------- diff --git a/docs/users_guide/parallel.rst b/docs/users_guide/parallel.rst index 07dc60fc47..bac7754a29 100644 --- a/docs/users_guide/parallel.rst +++ b/docs/users_guide/parallel.rst @@ -47,14 +47,14 @@ The functions exported by this library include: - Synchronised mutable variables, called ``MVars`` - Support for bound threads; see the paper `Extending the FFI with - concurrency <http://research.microsoft.com/%7Esimonpj/Papers/conc-ffi/index.htm>`__. + concurrency <http://community.haskell.org/~simonmar/papers/conc-ffi.pdf>`__. Software Transactional Memory ----------------------------- GHC now supports a new way to coordinate the activities of Concurrent Haskell threads, called Software Transactional Memory (STM). The `STM -papers <http://research.microsoft.com/%7Esimonpj/papers/stm/index.htm>`__ +papers <https://wiki.haskell.org/Research_papers/Parallelism_and_concurrency#Lock_free_data_structures_and_transactional_memory>`__ are an excellent introduction to what STM is, and how to use it. The main library you need to use is the `stm diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst index 88356dfb85..185e590534 100644 --- a/docs/users_guide/using-optimisation.rst +++ b/docs/users_guide/using-optimisation.rst @@ -230,7 +230,7 @@ by saying ``-fno-wombat``. Usually GHC black-holes a thunk only when it switches threads. This flag makes it do so as soon as the thunk is entered. See `Haskell on a shared-memory - multiprocessor <http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/>`__. + multiprocessor <http://community.haskell.org/~simonmar/papers/multiproc.pdf>`__. .. ghc-flag:: -fexcess-precision |