From: Jim Pryor Date: Mon, 1 Nov 2010 04:46:22 +0000 (-0400) Subject: towards monads: tweak error message X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=53be231576f6b0d8b6452fceac662158eea1d710 towards monads: tweak error message Signed-off-by: Jim Pryor --- 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 *)