X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=docs%2Fusers_guide%2Fflags.xml;h=9c65282dbd276e7c19a002213dec5bd2e0f04365;hb=6e2021202c3eec0c95a9d0b7c355559f2630d380;hp=a993b42c15e03acb89fe2f0541f9f032ad2a94b2;hpb=cc318c842a9d6bbc90a7ef3f24450b4cbac0e2c8;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