X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=towards_monads.mdwn;h=378310f9701ab2cb8bffccfd30dce4476dc17b18;hp=c8cbe21cb3baa2b2169ebac3eb0ce5b7cb1f38c8;hb=53be231576f6b0d8b6452fceac662158eea1d710;hpb=02699122fed9585a542faf5fed2cbf49c891dc5c 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 *)