From 87d691c025fa7cff44717d9a860d40bae2dc4cc9 Mon Sep 17 00:00:00 2001 From: Takenobu Tani Date: Thu, 14 Jun 2018 09:18:19 -0400 Subject: 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 --- docs/users_guide/glasgow_exts.rst | 2 +- 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 -- cgit v1.2.1