X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=3920c8ef0f9ac495803f22e7364da8af2dc94bef;hp=23576735c0df02513ac4ed4b10cabeebd616f339;hb=f2aaae9757e7532485c97f6c9a9ed5437542d1dd;hpb=19d8dcbdaac5dc10e551703b824e8237e7d5f0a1
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 2357673..3920c8e 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -2345,12 +2345,18 @@ phase n
dynamic
-
-
-
- Dump rules
- dynamic
- -
-
+
+
+ Dump rules
+ dynamic
+ -
+
+
+
+ Dump vectoriser input and output
+ dynamic
+ -
+
Dump final simplifier output
@@ -2417,12 +2423,18 @@ phase n
dynamic
-
-
-
- Trace typechecker
- dynamic
- -
-
+
+
+ Trace typechecker
+ dynamic
+ -
+
+
+
+ Trace vectoriser
+ dynamic
+ -
+
Trace renamer