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 /docs/users_guide/glasgow_exts.rst | |
| parent | dc8a5868b0be03854927a5efab83a6e9a15e21d1 (diff) | |
| download | haskell-615b4be66341edb513785d3511e71803c45da90f.tar.gz | |
Fix #16593 by having only one definition of -fprint-explicit-runtime-reps
[skip ci]
Diffstat (limited to 'docs/users_guide/glasgow_exts.rst')
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 12 |
1 files changed, 11 insertions, 1 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: |