diff options
| author | Chaitanya Koparkar <ckoparkar@gmail.com> | 2019-04-19 09:50:54 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-05-05 10:39:24 -0400 |
| commit | 615b4be66341edb513785d3511e71803c45da90f (patch) | |
| tree | b52cb5145ada51a62f9356fd3f7c7c73b51bbd68 | |
| parent | dc8a5868b0be03854927a5efab83a6e9a15e21d1 (diff) | |
| download | haskell-615b4be66341edb513785d3511e71803c45da90f.tar.gz | |
Fix #16593 by having only one definition of -fprint-explicit-runtime-reps
[skip ci]
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 12 | ||||
| -rw-r--r-- | docs/users_guide/using.rst | 22 |
2 files changed, 11 insertions, 23 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index c86f30d00b..6d09b44cb7 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -9625,7 +9625,17 @@ when printing, and printing ``TYPE 'LiftedRep`` as ``Type`` (or ``*`` when :extension:`StarIsType` is on). Should you wish to see levity polymorphism in your types, enable -the flag :ghc-flag:`-fprint-explicit-runtime-reps`. +the flag :ghc-flag:`-fprint-explicit-runtime-reps`. For example, + + .. code-block:: none + + ghci> :t ($) + ($) :: (a -> b) -> a -> b + ghci> :set -fprint-explicit-runtime-reps + ghci> :t ($) + ($) + :: forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r). + (a -> b) -> a -> b .. _type-level-literals: diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst index d11dedfb9a..23e0e1d1b8 100644 --- a/docs/users_guide/using.rst +++ b/docs/users_guide/using.rst @@ -810,27 +810,6 @@ messages and in GHCi: exposed to the programmer, but it is nevertheless displayed when :ghc-flag:`-fprint-explicit-kinds` is enabled. -.. ghc-flag:: -fprint-explicit-runtime-reps - :shortdesc: Print ``RuntimeRep`` variables in types which are - runtime-representation polymorphic. - :type: dynamic - :reverse: -fno-print-explicit-runtime-reps - :category: verbosity - - When :ghc-flag:`-fprint-explicit-runtime-reps` is enabled, GHC prints - ``RuntimeRep`` type variables for levity-polymorphic types. - Otherwise GHC will default these to ``LiftedRep``. For example, - - .. code-block:: none - - ghci> :t ($) - ($) :: (a -> b) -> a -> b - ghci> :set -fprint-explicit-runtime-reps - ghci> :t ($) - ($) - :: forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r). - (a -> b) -> a -> b - .. ghc-flag:: -fprint-explicit-coercions :shortdesc: Print coercions in types :type: dynamic @@ -1131,4 +1110,3 @@ Some flags only make sense for a particular use case. included. This option can be used to specify the path to the ``ghcversions.h`` file to be included. This is primarily intended to be used by GHC's build system. - |