rel-notes: Note the return of -Wmonomorphism-restriction
authorBen Gamari <ben@smart-cactus.org>
Thu, 21 Jan 2016 13:49:01 +0000 (14:49 +0100)
committerBen Gamari <ben@smart-cactus.org>
Thu, 21 Jan 2016 13:59:06 +0000 (14:59 +0100)
docs/users_guide/8.0.1-notes.rst

index c36c721..e8a2c0e 100644 (file)
@@ -200,7 +200,7 @@ Compiler
    compilers. The old ``-f``-based warning flags will remain functional for
    the forseeable future.
 
--  Added the option :ghc-flag:`-dth-dec-file`. This dumps out a .th.hs file of
+-  Added the option :ghc-flag:`-dth-dec-file`. This dumps out a ``.th.hs`` file of
    all Template Haskell declarations in a corresponding .hs file. The
    idea is that application developers can check this into their
    repository so that they can grep for identifiers used elsewhere that
@@ -210,6 +210,13 @@ Compiler
    code that does not exist in the .hs file and a comment for the splice
    location in the original file.
 
+-  After a long hiatus (see :ghc-ticket:`10935`) the
+   :ghc-flag:`-Wmonomorphism-restriction` (formerly
+   :ghc-flag:`-fwarn-monomorphism-restriction`) flag has returned.
+   The functionality of this flag was inadvertently removed by a commit in 2010;
+   this has been fixed and the flag should now issue warnings as it
+   previously did.
+
 -  Added the option :ghc-flag:`-fprint-expanded-types`. When enabled, GHC also
    prints type-synonym-expanded types in type errors.