diff options
| author | Yuji Yamamoto <whosekiteneverfly@gmail.com> | 2018-10-25 10:59:29 +0900 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-10-29 15:11:36 -0400 |
| commit | 44a1d1f6612e1e9ef07626e1d2536bb6ba55dbd2 (patch) | |
| tree | c8431c886e2f7906ef1befa2335a2367174e63d5 /docs/users_guide/using.rst | |
| parent | e35ed9dccf07578931f9077268579af25879466e (diff) | |
| download | haskell-44a1d1f6612e1e9ef07626e1d2536bb6ba55dbd2.tar.gz | |
Fix sample code of -fprint-explicit-kinds, plus sample when disabling PolyKinds
- Although the sample is for `-fprint-explicit-kinds`, the sample code
uses `-fprint-explicit-foralls` (but perhaps the output used to be
correct one of `-fprint-explicit-kinds`).
- Update the output with the recent version of GHC (ver. 8.4.3. I guess
it doesn't change in GHC 8.6...)
- Add more samples to clarify the difference of kinds, which tells
effect of `-fprint-explicit-kinds` more clearly.
Diffstat (limited to 'docs/users_guide/using.rst')
| -rw-r--r-- | docs/users_guide/using.rst | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst index e0807a9620..e22622e394 100644 --- a/docs/users_guide/using.rst +++ b/docs/users_guide/using.rst @@ -784,13 +784,16 @@ messages and in GHCi: .. code-block:: none - ghci> :set -XPolyKinds - ghci> data T a = MkT - ghci> :t MkT - MkT :: forall (k :: Type) (a :: k). T a - ghci> :set -fprint-explicit-kinds - ghci> :t MkT - MkT :: forall (k :: Type) (a :: k). T k a + ghci> :set -XPolyKinds + ghci> data T a = MkT + ghci> :t MkT + MkT :: forall (k :: Type) (a :: k). T a + ghci> :set -fprint-explicit-kinds + ghci> :t MkT + MkT :: forall (k :: Type) (a :: k). T k a + ghci> :set -XNoPolyKinds + ghci> :t MkT + MkT :: T * a .. ghc-flag:: -fprint-explicit-runtime-reps :shortdesc: Print ``RuntimeRep`` variables in types which are |