diff options
| -rw-r--r-- | doc/forum/Understanding_changesFile_equation/comment_1_eab28824f8cd1a03bcc16aee4e161643._comment | 15 |
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. +"""]] |