diff options
| author | Takenobu Tani <takenobu.hs@gmail.com> | 2018-06-14 09:18:19 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-06-14 10:03:28 -0400 |
| commit | 87d691c025fa7cff44717d9a860d40bae2dc4cc9 (patch) | |
| tree | 9e7cc42b1946efce7efdbe6037b0442f5cbac9ae | |
| parent | 5f5d0c9d43bbab922582f437c4a1a3f06ff3fd0e (diff) | |
| download | haskell-87d691c025fa7cff44717d9a860d40bae2dc4cc9.tar.gz | |
users-guide: Fix PtrRepLifted to LiftedRep
Fix `TYPE 'PtrRepLifted` to `TYPE 'LiftedRep`
[ci skip]
Test Plan: build
Reviewers: bgamari
Reviewed By: bgamari
Subscribers: rwbarton, thomie, carter
Differential Revision: https://phabricator.haskell.org/D4818
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 2 | ||||
| -rw-r--r-- | docs/users_guide/using.rst | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index ae12feaa1f..37ebf9cca0 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -156,7 +156,7 @@ kind ``TYPE 'IntRep`` and ``Double#`` has kind ``TYPE 'DoubleRep``. These kinds say that the runtime representation of an ``Int#`` is a machine integer, and the runtime representation of a ``Double#`` is a machine double-precision floating point. In contrast, the kind ``*`` is actually just a synonym -for ``TYPE 'PtrRepLifted``. More details of the ``TYPE`` mechanisms appear in +for ``TYPE 'LiftedRep``. More details of the ``TYPE`` mechanisms appear in the `section on runtime representation polymorphism <#runtime-rep>`__. Given that ``Int#``'s kind is not ``*``, it then it follows that diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst index d5544e4c57..4c98e08b4f 100644 --- a/docs/users_guide/using.rst +++ b/docs/users_guide/using.rst @@ -806,7 +806,7 @@ messages and in GHCi: When :ghc-flag:`-fprint-explicit-runtime-reps` is enabled, GHC prints ``RuntimeRep`` type variables for levity-polymorphic types. - Otherwise GHC will default these to ``PtrRepLifted``. For example, + Otherwise GHC will default these to ``LiftedRep``. For example, .. code-block:: none |