summaryrefslogtreecommitdiff
path: root/doc/forum/Understanding_changesFile_equation
diff options
context:
space:
mode:
authorJoey Hess <joeyh@joeyh.name>2016-03-07 16:36:36 -0400
committerJoey Hess <joeyh@joeyh.name>2016-03-07 16:36:36 -0400
commit16a95afa2fe22a4df9c371489c4ee7ffdef8e07b (patch)
tree6e0869e78aba03be2591569369e1e099bb86568e /doc/forum/Understanding_changesFile_equation
parent9bbc292b3f903a1476e3524bb9198e58ce300401 (diff)
parent822694e790102efa2a5bb4a0c3d62c6fce1d4e87 (diff)
Merge remote-tracking branch 'remotes/misandrist/FreeBSD' into wip
Diffstat (limited to 'doc/forum/Understanding_changesFile_equation')
-rw-r--r--doc/forum/Understanding_changesFile_equation/comment_1_eab28824f8cd1a03bcc16aee4e161643._comment15
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/forum/Understanding_changesFile_equation/comment_1_eab28824f8cd1a03bcc16aee4e161643._comment b/doc/forum/Understanding_changesFile_equation/comment_1_eab28824f8cd1a03bcc16aee4e161643._comment
new file mode 100644
index 00000000..22bcc014
--- /dev/null
+++ b/doc/forum/Understanding_changesFile_equation/comment_1_eab28824f8cd1a03bcc16aee4e161643._comment
@@ -0,0 +1,15 @@
+[[!comment format=mdwn
+ username="joey"
+ subject="""comment 1"""
+ date="2016-02-24T21:09:52Z"
+ content="""
+`checkResult` is the key to understanding this. Its (simplified) type
+signature:
+
+ checkResult :: m a -> (a -> m Result) -> p i -> Property i
+
+It's being given getstat as the first parameter. It runs that before the
+property does anything, and it passes that value to comparestat.
+
+So, oldstat is the getstat value from before the property did anything.
+"""]]