week9 tweak
authorJim Pryor <profjim@jimpryor.net>
Sun, 21 Nov 2010 18:38:54 +0000 (13:38 -0500)
committerJim Pryor <profjim@jimpryor.net>
Sun, 21 Nov 2010 18:38:54 +0000 (13:38 -0500)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week9.mdwn

index 2d3efc1..85cbdef 100644 (file)
@@ -418,8 +418,8 @@ The `fun _ ->` part here discards the value wrapped by `some_existing_state_mona
 
 The other operation for the State monad will be to update the existing store to a new one. This operation looks like this:
 
-       let set_state (value : int) : dummy state =
-               fun s -> (dummy, value);;
+       let set_state (new_store : int) : dummy state =
+               fun s -> (dummy, new_store);;
 
 If we want to stick this in a `... >>= ...` chain, we'll need to prefix it with `fun _ ->` too, like this: