X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=3920c8ef0f9ac495803f22e7364da8af2dc94bef;hb=a630bb5e09ab8769d52d821f72631125f72770e8;hp=a9c018415b4c7d27e25a67c1f86f8bb7ee317b60;hpb=14f9af49db1672e023ac8d8c506b42bc5400a787;p=ghc-hetmet.git
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index a9c0184..3920c8e 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -1137,6 +1137,13 @@
+
+ warn when a pattern match in a lambda expression or pattern binding could fail
+ dynamic
+
+
+
+
warn when a record update could fail
dynamic
@@ -2338,12 +2345,18 @@ phase n
dynamic
-
-
-
- Dump rules
- dynamic
- -
-
+
+
+ Dump rules
+ dynamic
+ -
+
+
+
+ Dump vectoriser input and output
+ dynamic
+ -
+
Dump final simplifier output
@@ -2410,12 +2423,18 @@ phase n
dynamic
-
-
-
- Trace typechecker
- dynamic
- -
-
+
+
+ Trace typechecker
+ dynamic
+ -
+
+
+
+ Trace vectoriser
+ dynamic
+ -
+
Trace renamer