From a2323b58c2edba99f06d7810b95da05aecb20b5f Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Wed, 24 Feb 2016 17:12:43 -0400 Subject: comment --- .../comment_1_eab28824f8cd1a03bcc16aee4e161643._comment | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 doc/forum/Understanding_changesFile_equation/comment_1_eab28824f8cd1a03bcc16aee4e161643._comment (limited to 'doc/forum/Understanding_changesFile_equation') 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. +"""]] -- cgit v1.2.3