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