Commit 1ed41a74 authored by Takenobu Tani's avatar Takenobu Tani Committed by Ben Gamari
Browse files

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:
parent c9e4c861
......@@ -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 <> for this purpose,
-- GHC uses System FC <> for this purpose,
-- which is closely related to the simpler and better known System F <>.
-- We get from Haskell source to this Core language in a number of stages:
......@@ -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" <>`__,
"group by" <>`__,
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 <>`__.
Rules <>`__.
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 <>`__
papers <>`__
"Let should not be generalised" and "Modular type inference with local
assumptions", and a related `blog post <>`__.
......@@ -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 <>`__.
paper <>`__.
Enabling deferring of type errors
......@@ -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 <>`__.
concurrency <>`__.
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 <>`__
papers <>`__
are an excellent introduction to what STM is, and how to use it.
The main library you need to use is the `stm
......@@ -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 <>`__.
multiprocessor <>`__.
.. ghc-flag:: -fexcess-precision
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment