Skip to content

Commit 1cdbabf

Browse files
Apply suggestions from code review
Co-authored-by: David Thrane Christiansen <[email protected]>
1 parent 37cc216 commit 1cdbabf

File tree

2 files changed

+2
-1
lines changed

2 files changed

+2
-1
lines changed

message-index/messages/GHC-31574/index.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ severity: error
55
introduced: 9.6.1
66
---
77

8-
Starting with version 9.0, GHC now supports so-called linear types.
8+
Starting with version 9.0, GHC supports linear types.
99
These types allow the programmer to express how often the argument to a function is used in the function body.
1010
For this reason, a new function type `a %1 -> b` has been introduced which stands for *linear* functions which use their argument of type `a` exactly once.
1111
In order to use these functions, however, the extension `LinearTypes` has to be enabled.

message-index/messages/GHC-31574/linearIdentity/before/LinearIdentity.hs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
12
module LinearIdentity where
23

34
linearIdentity :: a %1 -> a

0 commit comments

Comments
 (0)