X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=9c65282dbd276e7c19a002213dec5bd2e0f04365;hb=6e2021202c3eec0c95a9d0b7c355559f2630d380;hp=a993b42c15e03acb89fe2f0541f9f032ad2a94b2;hpb=3e4ee05cb301bd9f10d6a64b610c21c1f890f50b;p=ghc-hetmet.git diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index a993b42..9c65282 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -814,6 +814,13 @@ + + warn if there are tabs in the source file + dynamic + + + + warn when defaulting happens dynamic