Commit a8c81f3c authored by Matthew Pickering's avatar Matthew Pickering Committed by Ben Gamari
Browse files

Document -fspecialise-aggressively

Reviewers: austin, bgamari

Reviewed By: bgamari

Subscribers: thomie

Differential Revision:

GHC Trac Issues: #12979
parent abaa6815
...@@ -578,6 +578,18 @@ list. ...@@ -578,6 +578,18 @@ list.
that have an INLINABLE pragma (:ref:`inlinable-pragma`) will be that have an INLINABLE pragma (:ref:`inlinable-pragma`) will be
specialised as well. specialised as well.
.. ghc-flag:: -fspecialise-aggressively
:default: off
By default only type class methods and methods marked ``INLINABLE`` or
``INLINE`` are specialised. This flag will specialise any overloaded function
regardless of size if its unfolding is available. This flag is not
included in any optimisation level as it can massively increase code
size. It can be used in conjunction with :ghc-flag:`-fexpose-all-unfoldings`
if you want to ensure all calls are specialised.
.. ghc-flag:: -fcross-module-specialise .. ghc-flag:: -fcross-module-specialise
:default: on :default: on
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment