From 73b21c99d5a3f8184681a1fa1e0bb2b44ab4c34f Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Thu, 23 Dec 2010 11:58:52 -0500 Subject: [PATCH] ass10 tweak Signed-off-by: Jim Pryor --- assignment10.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/assignment10.mdwn b/assignment10.mdwn index 004f8dfb..f16718dd 100644 --- a/assignment10.mdwn +++ b/assignment10.mdwn @@ -73,7 +73,7 @@ Of course, if you need help or want us to review your efforts, we'll be glad to fun s -> M.bind (u s) (fun (a, s') -> f a s');; let elevate (m : 'a M) : 'a stateT(M) = - fun s -> Wrapped.bind w (fun a -> Wrapped.unit (a, s));; + fun s -> M.bind w (fun a -> M.unit (a, s));; That won't compile in OCaml because we use the `M`s in a way that's intuitive but unrecognized by OCaml. What OCaml will recognize is more complex. Don't worry; you won't need to code a general implementation of StateT. -- 2.11.0