X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fusing.xml;h=cc4f36639ab38703ee51cd63de82a463bb0ead98;hb=79d7a7c0d17b51dfb2bb06d758b6e556550862ba;hp=ffe639c507befa110a46da089790ab9c47a15249;hpb=beeecedc85ef566031cc49ae7a370ab44f83bbbd;p=ghc-hetmet.git
diff --git a/ghc/docs/users_guide/using.xml b/ghc/docs/users_guide/using.xml
index ffe639c..cc4f366 100644
--- a/ghc/docs/users_guide/using.xml
+++ b/ghc/docs/users_guide/using.xml
@@ -835,6 +835,33 @@ g [] = 2
+ :
+
+
+ incomplete record updates, warning
+ record updates, incomplete
+
+ The function
+ f below will fail when applied to
+ Bar, so the compiler will emit a warning about
+ this when is
+ enabled.
+
+
+data Foo = Foo { x :: Int }
+ | Bar
+
+f :: Foo -> Foo
+f foo = foo { x = 6 }
+
+
+ This option isn't enabled be default because it can be
+ very noisy, and it often doesn't indicate a bug in the
+ program.
+
+
+
+
:
@@ -1823,7 +1850,7 @@ ordinary Haskell 98, when translated to External Core, uses things like rank-2 t