Skip to content
Snippets Groups Projects
Commit 1d7cd7fe authored by Andreas Klebinger's avatar Andreas Klebinger Committed by Marge Bot
Browse files

Add since tag for -fwrite-if-compression in user guide. 

Partial fix for #25395
parent e70009bc
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
docs/users_guide/using-optimisation.rst
+ 2
− 0
View file @ 1d7cd7fe
...@@ -1851,6 +1851,8 @@ as such you shouldn't need to set any of them explicitly. A flag ...@@ -1851,6 +1851,8 @@ as such you shouldn't need to set any of them explicitly. A flag
:default: 2 :default: 2
:since: 9.12.1
This flag defines the level of compression of interface files when writing to disk. This flag defines the level of compression of interface files when writing to disk.
The higher the flag, the more we deduplicate the interface file, at the cost of a higher compilation time. The higher the flag, the more we deduplicate the interface file, at the cost of a higher compilation time.
Deduplication (when applied to :ghc-flag:`--make` mode and :ghc-flag:`--interactive` mode) decreases the size of interface files as well as reducing Deduplication (when applied to :ghc-flag:`--make` mode and :ghc-flag:`--interactive` mode) decreases the size of interface files as well as reducing
......
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