From ef954bbcb3b568413e2dd48374dbeb7201ccd4bb Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Sun, 31 Oct 2010 10:19:28 -0400 Subject: [PATCH 1/1] edits --- week7.mdwn | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/week7.mdwn b/week7.mdwn index 52bc8eb5..a78a77e2 100644 --- a/week7.mdwn +++ b/week7.mdwn @@ -105,14 +105,14 @@ them from hurting the people that use them or themselves. object, we have `(unit x) * f == f x`. For instance, `unit` is a function of type `'a -> 'a option`, so we have -
-# let ( * ) m f = match m with None -> None | Some n -> f n;;
-val ( * ) : 'a option -> ('a -> 'b option) -> 'b option = 
-# let unit x = Some x;;
-val unit : 'a -> 'a option = 
-# unit 2 * unit;;
-- : int option = Some 2
-
+
+    # let ( * ) m f = match m with None -> None | Some n -> f n;;
+    val ( * ) : 'a option -> ('a -> 'b option) -> 'b option = 
+    # let unit x = Some x;;
+    val unit : 'a -> 'a option = 
+    # unit 2 * unit;;
+    - : int option = Some 2
+    
The parentheses is the magic for telling Ocaml that the function to be defined (in this case, the name of the function -- 2.11.0