We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f009f88 commit 41d47c7Copy full SHA for 41d47c7
message-index/messages/GHC-55666/index.md
@@ -10,7 +10,7 @@ A strictness annotation (also called a bang: `!`) can be used to denote that a v
10
In some cases this can lead to faster code because fewer heap allocations are required.
11
Here it is used to mark a that a field in a datatype should not be evaluated lazily.
12
13
-However, unlifted types like `Int#` are strict by definition because they are a value,
+However, values of unlifted types like `Int#` are strict by definition because they represent an actual value,
14
not a pointer to a potentially unevaluated value (thunk).
15
16
Therefore, adding strictness annotations to unlifted types or fields of such types is redundant.
0 commit comments