diff options
Diffstat (limited to 'docs/users_guide/8.2.1-notes.rst')
-rw-r--r-- | docs/users_guide/8.2.1-notes.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/users_guide/8.2.1-notes.rst b/docs/users_guide/8.2.1-notes.rst index b52f0ede25..60f17cfbbb 100644 --- a/docs/users_guide/8.2.1-notes.rst +++ b/docs/users_guide/8.2.1-notes.rst @@ -27,6 +27,10 @@ Compiler - TODO FIXME. +- Old profiling flags -auto-all -auto -caf-all are deprecated + and their usage provokes a compile-time warning. + + GHCi ~~~~ |