From 469c8c3c35a3e875f97ea03c12f61c631e2524cd Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Tue, 16 Nov 2010 17:22:11 +0000 Subject: [PATCH] Add -fwarn-lazy-unlifted-bindings to the list of flags --- docs/users_guide/flags.xml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index c24d021..f522aae 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1143,6 +1143,13 @@ + + warn when a pattern binding looks lazy but must be strict + dynamic + + + + warn when fields of a record are uninitialised dynamic -- 1.7.10.4