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