X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=f13d34ca2045b1310238f450359069f640a2711a;hp=9b1e272d9b257a8543539fce5356b67ae4b6e971;hb=cae75f82226638691cfa1e85fc168f4b65ddce4d;hpb=667ef993b225a3a7d1163612f5ded7e5b69b4ad3 diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 9b1e272..f13d34c 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -881,10 +881,10 @@ - + Enable record puns. dynamic - + @@ -1005,10 +1005,17 @@ - - warn about uses of functions & types that are deprecated + + warn about uses of functions & types that have warnings or deprecated pragmas dynamic - + + + + + + warn about uses of commandline flags that are deprecated + dynamic +