diff options
| author | Reid Barton <rwbarton@gmail.com> | 2014-08-18 19:39:58 -0400 |
|---|---|---|
| committer | Reid Barton <rwbarton@gmail.com> | 2014-08-18 20:02:19 -0400 |
| commit | b287bc9bd0afaa26fcd3fe53a49bf86deeb868d8 (patch) | |
| tree | 527c65db848fad9f5cc531ecece474263daf20e8 | |
| parent | daef885a8a9866af5b486d21a1940d4e3d93d9d0 (diff) | |
| download | haskell-b287bc9bd0afaa26fcd3fe53a49bf86deeb868d8.tar.gz | |
Update list of flags implied by -XGADTs in User's Guide section on GADTs
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index f5153137d5..a6c43b8e78 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -3708,7 +3708,8 @@ may use different notation to that implemented in GHC. </para> <para> The rest of this section outlines the extensions to GHC that support GADTs. The extension is enabled with -<option>-XGADTs</option>. The <option>-XGADTs</option> flag also sets <option>-XRelaxedPolyRec</option>. +<option>-XGADTs</option>. The <option>-XGADTs</option> flag also sets <option>-XGADTSyntax</option> +and <option>-XMonoLocalBinds</option>. <itemizedlist> <listitem><para> A GADT can only be declared using GADT-style syntax (<xref linkend="gadt-style"/>); |