X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=1db7c461f76d86b7529072eb5d920b05ff139e0b;hp=d706f11083bdd356269e5168fc32a81169f449b5;hb=6a05ec5ef5373f61b7f9f5bdc344483417fa801b;hpb=c9bcc18e7aaa51677f7e2aa1efb2f80c6e2dff8d diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index d706f11..1db7c46 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -764,6 +764,12 @@ + + Enable view patterns. + dynamic + + + Enable unicode syntax. dynamic @@ -789,7 +795,7 @@ - Enable kind signatures. + Enable kind signatures. dynamic @@ -818,10 +824,10 @@ - - Enable partially applied type synonyms. + + Enable liberalised type synonyms. dynamic - + @@ -1433,7 +1439,7 @@ - Directory to deposit .mix files during compilation + Directory to deposit .mix files during compilation (default is .hpc) dynamic @@ -2222,12 +2228,6 @@ dynamic - - - - Enable unregisterised compilation - static - - -