<div dir="ltr">Hi all,<div><br></div><div>Sorry to bother. I'm not sure if this is the right place to post this, but I find a possible bug in ghc documentation. </div><div><br></div><div><a href="http://downloads.haskell.org/~ghc/8.0.2/docs/html/users_guide/flags.html#language-options">http://downloads.haskell.org/~ghc/8.0.2/docs/html/users_guide/flags.html#language-options</a><br></div><div><br></div><div>^In 7.6.12, <tt class="gmail-xref gmail-std gmail-std-ghc-flag gmail-docutils gmail-literal" style="color:rgb(43,98,140);text-decoration:none;font-size:0.95em;background-color:transparent;border:0px"><span class="gmail-pre"><a class="gmail-reference gmail-internal" href="http://downloads.haskell.org/~ghc/8.0.2/docs/html/users_guide/glasgow_exts.html#ghc-flag--XDeriveGeneric" style="font-family:"lucida grande","lucida sans unicode",geneva,verdana,sans-serif;font-weight:bold;color:rgb(43,98,140);text-decoration:none;font-size:14px" target="_blank">-XDeriveGeneric</a><b style="font-family:consolas,"deja vu sans mono","bitstream vera sans mono",monospace"> </b><font face="arial, helvetica, sans-serif">appears twice.</font></span></tt></div><div><tt class="gmail-xref gmail-std gmail-std-ghc-flag gmail-docutils gmail-literal" style="color:rgb(43,98,140);text-decoration:none;font-size:0.95em;background-color:transparent;border:0px"><span class="gmail-pre"><font face="arial, helvetica, sans-serif"><br></font></span></tt></div><div><tt class="gmail-xref gmail-std gmail-std-ghc-flag gmail-docutils gmail-literal" style="color:rgb(43,98,140);text-decoration:none;font-size:0.95em;background-color:transparent;border:0px"><span class="gmail-pre"><font face="arial, helvetica, sans-serif">If it is a bug, please fix. Thanks.</font></span></tt></div><div><tt class="gmail-xref gmail-std gmail-std-ghc-flag gmail-docutils gmail-literal" style="color:rgb(43,98,140);text-decoration:none;font-size:0.95em;background-color:transparent;border:0px"><span class="gmail-pre"><font face="arial, helvetica, sans-serif"><img src="cid:ii_j0hfmx2r0_15ae95467c5b9eeb" width="541" height="113"><br><br></font></span></tt></div><div><tt class="gmail-xref gmail-std gmail-std-ghc-flag gmail-docutils gmail-literal" style="color:rgb(43,98,140);text-decoration:none;font-size:0.95em;background-color:transparent;border:0px"><span class="gmail-pre"><font face="arial, helvetica, sans-serif"><br></font></span></tt></div><div><tt class="gmail-xref gmail-std gmail-std-ghc-flag gmail-docutils gmail-literal" style="color:rgb(43,98,140);text-decoration:none;font-size:0.95em;background-color:transparent;border:0px"><span class="gmail-pre"><font face="arial, helvetica, sans-serif"><br></font></span></tt></div><div><tt class="gmail-xref gmail-std gmail-std-ghc-flag gmail-docutils gmail-literal" style="color:rgb(43,98,140);text-decoration:none;font-size:0.95em;background-color:transparent;border:0px"><span class="gmail-pre"><font face="arial, helvetica, sans-serif">Yi</font></span></tt></div></div>