Browse Source

typo fix in delete test comment: identiy -> identity

master
nikolas 9 months ago
parent
commit
1a99280227
No account linked to committer's email address
1 changed files with 1 additions and 0 deletions
  1. 1
    0
      tests/Properties/Delete.hs

+ 1
- 0
tests/Properties/Delete.hs View File

@@ -18,7 +18,7 @@ prop_delete x =
18 18
     where _ = x :: T
19 19
 
20 20
 -- delete is reversible with 'insert'.
21
+-- It is the identity, except for the 'master', which is reset on insert and delete.
21 22
 --
22 23
 prop_delete_insert (x :: T) =
23 24
     case peek x of

Loading…
Cancel
Save