From 53be231576f6b0d8b6452fceac662158eea1d710 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 1 Nov 2010 00:46:22 -0400 Subject: [PATCH] towards monads: tweak error message Signed-off-by: Jim Pryor --- towards_monads.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/towards_monads.mdwn b/towards_monads.mdwn index c8cbe21c..378310f9 100644 --- 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;; - ^^^^^^^^^^ + ^^^^^^^^^^ Error: This expression has type int option but an expression was expected of type int *) -- 2.11.0