summaryrefslogtreecommitdiff
path: root/docs/users_guide/8.8.1-notes.rst
diff options
context:
space:
mode:
Diffstat (limited to 'docs/users_guide/8.8.1-notes.rst')
-rw-r--r--docs/users_guide/8.8.1-notes.rst4
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/users_guide/8.8.1-notes.rst b/docs/users_guide/8.8.1-notes.rst
index ea38029a0a..6e52a63038 100644
--- a/docs/users_guide/8.8.1-notes.rst
+++ b/docs/users_guide/8.8.1-notes.rst
@@ -103,6 +103,10 @@ Runtime system
- The output filename used for :ref:`eventlog output <rts-eventlog>` can now be
specified with the :rts-flag:`-ol` flag.
+- Add support for generating a new type of output: extended interfaces files.
+ Generation of these files, which sport a ``.hie`` suffix, is enabled via the
+ ``-fwrite-ide-info`` flag. See :ref:`hie-options` for more information.
+
Template Haskell
~~~~~~~~~~~~~~~~