diff options
| -rw-r--r-- | docs/users_guide/ghci.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/users_guide/ghci.rst b/docs/users_guide/ghci.rst index 9f63e0c50b..5fc5cd549e 100644 --- a/docs/users_guide/ghci.rst +++ b/docs/users_guide/ghci.rst @@ -2564,6 +2564,7 @@ commonly used commands. be used. .. code-block:: none + ghci>:set -XDataKinds -XUndecidableInstances ghci>import GHC.TypeLits ghci>class A a |