towards monads: tweak error message

[lambda.git] / towards_monads.mdwn

diff --git a/towards_monads.mdwn b/towards_monads.mdwn
index acdfbb3..378310f 100644 (file)
--- a/towards_monads.mdwn
+++ b/towards_monads.mdwn
@@ -36,7 +36,7 @@ val div' : int -> int -> int option = fun
 # div' (div' 12 3) 2;;
 Characters 4-14:
   div' (div' 12 3) 2;;
 # div' (div' 12 3) 2;;
 Characters 4-14:
   div' (div' 12 3) 2;;

-      ^^^^^^^^^^
+        ^^^^^^^^^^

 Error: This expression has type int option
        but an expression was expected of type int
 *)
 Error: This expression has type int option
        but an expression was expected of type int
 *)


@@ -84,7 +84,7 @@ let div' (u:int option) (v:int option) =
 
 So far so good.  But what if we want to combine division with
 other arithmetic operations?  We need to make those other operations
 
 So far so good.  But what if we want to combine division with
 other arithmetic operations?  We need to make those other operations

-aware of the possibility that one of their arguments will trigger a
+aware of the possibility that one of their arguments has triggered a

 presupposition failure:
 
 <pre>
 presupposition failure:
 
 <pre>