diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/8.2.1-notes.rst | 3 | ||||
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 7 |
2 files changed, 10 insertions, 0 deletions
diff --git a/docs/users_guide/8.2.1-notes.rst b/docs/users_guide/8.2.1-notes.rst index f81c3995e0..d29914a100 100644 --- a/docs/users_guide/8.2.1-notes.rst +++ b/docs/users_guide/8.2.1-notes.rst @@ -145,6 +145,9 @@ GHCi - Added :ghc-flag:`-flocal-ghci-history` which uses current directory for `.ghci-history`. +- Added support for :ghc-flag:`-XStaticPointers` in interpreted modules. Note, however, + that ``static`` expressions are still not allowed in expressions evaluated in the REPL. + Template Haskell ~~~~~~~~~~~~~~~~ diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 0bbf6588cc..c2d8437303 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -11984,6 +11984,13 @@ While the following definitions are rejected: :: ref8 (y :: a) = let x = undefined :: a in static x -- x has a non-closed type +.. note:: + + While modules loaded in GHCi with the :ghci-cmd:`:load` command may use + :ghc-flag:`-XStaticPointers` and ``static`` expressions, statements + entered on the REPL may not. This is a limitation of GHCi; see + :ghc-ticket:`12356` for details. + .. _typechecking-static-pointers: Static semantics of static pointers |