From: Jim Pryor <profjim@jimpryor.net>
Date: Thu, 23 Dec 2010 16:58:52 +0000 (-0500)
Subject: ass10 tweak
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=73b21c99d5a3f8184681a1fa1e0bb2b44ab4c34f

ass10 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

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.