X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fflags.sgml;h=0afa9dffc3c471e0a7452e6bb3b0960aee5b6400;hb=b8554efd031fc4ff0d9b3950f8320733058358d8;hp=8a1f164229858216d2329dd02e5da559ae4649cb;hpb=f319fdf906aa9fb7996ae33ad244b5e29a077b94;p=ghc-hetmet.git diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml index 8a1f164..0afa9df 100644 --- a/ghc/docs/users_guide/flags.sgml +++ b/ghc/docs/users_guide/flags.sgml @@ -457,6 +457,12 @@ + + Enable arrow notation extension + dynamic + + + Enable deprecated with keyword dynamic @@ -728,10 +734,11 @@ - - Enable foldr-build optimisation + + Switch off all rewrite rules (including rules + generated by automatic specialisation of overloaded functions) static - +