diff options
Diffstat (limited to 'docs/users_guide/8.10.1-notes.rst')
| -rw-r--r-- | docs/users_guide/8.10.1-notes.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/users_guide/8.10.1-notes.rst b/docs/users_guide/8.10.1-notes.rst index 8d70c7b34c..2ca9ce5c08 100644 --- a/docs/users_guide/8.10.1-notes.rst +++ b/docs/users_guide/8.10.1-notes.rst @@ -119,6 +119,9 @@ Compiler the sample start event contains a timestamp of when the census occurred. The retainer profiling events are emitted using the standard events. +- Add new flag :ghc-flag:`-fkeep-going` which makes the compiler + continue as far as it can despite errors. + GHCi ~~~~ |