X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fflags.xml;h=ab61bd423e15e940f0d84a37cf9576694f05b22e;hb=79d7a7c0d17b51dfb2bb06d758b6e556550862ba;hp=fb215c796f387f1de4adf4604d45d997ee269130;hpb=beeecedc85ef566031cc49ae7a370ab44f83bbbd;p=ghc-hetmet.git diff --git a/ghc/docs/users_guide/flags.xml b/ghc/docs/users_guide/flags.xml index fb215c7..ab61bd4 100644 --- a/ghc/docs/users_guide/flags.xml +++ b/ghc/docs/users_guide/flags.xml @@ -591,6 +591,13 @@ + + warn when a record update could fail + dynamic + + + + enable miscellaneous warnings dynamic