X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=21807d7f6adfa902978a7553c987f3b325c12494;hb=f555abffd676544cd13d022bf1eb829e63f7aebe;hp=a00a4f1ab845dbc230eaef7a8428d7893529b18e;hpb=67cb409159fa9136dff942b8baaec25909416022;p=ghc-hetmet.git diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index a00a4f1..21807d7 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -743,6 +743,12 @@ + + Enable quasiquotation. + dynamic + + + Enable bang patterns. dynamic @@ -797,6 +803,12 @@ + + Enable impredicative types. + dynamic + + + Enable existential quantification. dynamic @@ -1246,6 +1258,14 @@ + + Set the number of phases for the simplifier (default 2). + Ignored with . + dynamic + - + + + Set the max iterations for the simplifier dynamic @@ -1305,6 +1325,15 @@ + =n + Set to n (default: 3) the maximum number of + specialisations that will be created for any one function + by the SpecConstr transformation + static + + + + Turn on the liberate-case transformation. Implied by . dynamic @@ -1347,13 +1376,6 @@ - - Tweak unfolding settings - static - - - - Tweak unfolding settings static